Skip to content

feat(L2): add SP1 mock prover#591

Merged
ilitteri merged 55 commits into
mainfrom
l2_prover_mock
Oct 2, 2024
Merged

feat(L2): add SP1 mock prover#591
ilitteri merged 55 commits into
mainfrom
l2_prover_mock

Conversation

@ManuelBilbao

Copy link
Copy Markdown
Contributor

Motivation

Add SP1 mock prover so it's easy later to integrate the real one.

Description

The prover generates a proof for the nth (the ID) fibonacci number. It should be easy later to integrate with a real ELF

ilitteri added 30 commits September 25, 2024 15:55
- `l1_tx_sender.rs` is the module that contains the logic for the L1TxSender, component of the operator in charge of sending transactions to L1, these are: commit and verify txs.
- `l1_watcher.rs` is the module that contains the logic for the L1Watcher, component of the operator that listens to specific L1 events and executes txs on L2 based on said events.
- The `prover` module is empty for the moment, but it'll contain the logic for getting proof data for block proof generation, and final proof submission.
@ManuelBilbao ManuelBilbao changed the title feat(L2): Add SP1 mock prover feat(L2): add SP1 mock prover Sep 30, 2024
@ManuelBilbao ManuelBilbao marked this pull request as ready for review September 30, 2024 20:09
@ManuelBilbao ManuelBilbao requested a review from a team as a code owner September 30, 2024 20:09
@unbalancedparentheses

Copy link
Copy Markdown
Contributor

I hate mocks. What is this @jrchatruc xD

Comment thread crates/l2/prover/sp1/elf/riscv32im-succinct-zkvm-elf
Base automatically changed from l2_proof_data_provider to main October 1, 2024 18:03
@ilitteri ilitteri added this pull request to the merge queue Oct 2, 2024
Merged via the queue into main with commit 3c6be73 Oct 2, 2024
@ilitteri ilitteri deleted the l2_prover_mock branch October 2, 2024 15:11
mpaulucci pushed a commit that referenced this pull request Oct 16, 2024
**Motivation**

Add SP1 mock prover so it's easy later to integrate the real one.

**Description**

The prover generates a proof for the nth (the ID) fibonacci number. It
should be easy later to integrate with a real ELF

<!-- Link to issues: Resolves #111, Resolves #222 -->

---------

Co-authored-by: ilitteri <ilitteri@fi.uba.ar>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants