Skip to content

feat: support IVC SNARK prover in e2e tests#3347

Draft
jpraynaud wants to merge 7 commits into
mainfrom
jpraynaud/3142-ivc-snark-e2e-tests
Draft

feat: support IVC SNARK prover in e2e tests#3347
jpraynaud wants to merge 7 commits into
mainfrom
jpraynaud/3142-ivc-snark-e2e-tests

Conversation

@jpraynaud

Copy link
Copy Markdown
Member

Conten

This PR includes the adaptation of the end to end tests to support the IVC SNARK proof system.

Pre-submit checklist

  • Branch
    • Crates versions are updated (if relevant)
    • CHANGELOG file is updated (if relevant)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
  • PR
    • All check jobs of the CI have succeeded
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested

Issue(s)

Relates to #3142

@jpraynaud jpraynaud self-assigned this Jun 19, 2026
@jpraynaud jpraynaud added the prototype 🛠️ Prototype/PoC of a feature label Jun 19, 2026
Comment thread mithril-stm/src/proof_system/ivc_halo2_snark/verifier_setup.rs Fixed
Comment thread mithril-stm/src/protocol/aggregate_signature/signature.rs Fixed
Comment thread mithril-stm/src/proof_system/ivc_halo2_snark/verifier_setup.rs Fixed
Comment thread mithril-stm/src/protocol/aggregate_signature/clerk.rs Fixed
Comment thread mithril-stm/src/protocol/aggregate_signature/clerk.rs Fixed
Comment thread mithril-stm/src/protocol/aggregate_signature/signature.rs Fixed
@jpraynaud
jpraynaud force-pushed the jpraynaud/3142-ivc-snark-e2e-tests branch 5 times, most recently from 5d864e3 to 20c4d28 Compare June 19, 2026 16:51
@github-actions

github-actions Bot commented Jun 19, 2026

Copy link
Copy Markdown

Test Results

     5 files  ±0     209 suites  ±0   59m 46s ⏱️ + 2m 33s
 3 300 tests +1   3 300 ✅ +1  0 💤 ±0  0 ❌ ±0 
11 024 runs  +5  11 024 ✅ +5  0 💤 ±0  0 ❌ ±0 

Results for commit c2a383a. ± Comparison against base commit a028165.

♻️ This comment has been updated with latest results.

@jpraynaud
jpraynaud force-pushed the jpraynaud/3142-ivc-snark-e2e-tests branch from 20c4d28 to e2c6d99 Compare June 22, 2026 11:23
@jpraynaud
jpraynaud temporarily deployed to testing-preview June 22, 2026 14:30 — with GitHub Actions Inactive
@jpraynaud
jpraynaud force-pushed the jpraynaud/3142-ivc-snark-e2e-tests branch 4 times, most recently from ccb06f4 to 50bddbb Compare June 23, 2026 08:57
@jpraynaud
jpraynaud temporarily deployed to testing-preview June 23, 2026 09:12 — with GitHub Actions Inactive
@jpraynaud
jpraynaud force-pushed the jpraynaud/3142-ivc-snark-e2e-tests branch from 50bddbb to 069b058 Compare June 23, 2026 11:30
@jpraynaud
jpraynaud temporarily deployed to testing-preview June 23, 2026 16:06 — with GitHub Actions Inactive
@jpraynaud
jpraynaud force-pushed the jpraynaud/3142-ivc-snark-e2e-tests branch from a73964e to e509b98 Compare June 25, 2026 15:07
@jpraynaud
jpraynaud temporarily deployed to testing-preview June 25, 2026 19:44 — with GitHub Actions Inactive
@jpraynaud jpraynaud added do-not-merge 🔒 Do not merge and removed prototype 🛠️ Prototype/PoC of a feature labels Jun 29, 2026
@jpraynaud
jpraynaud force-pushed the jpraynaud/3142-ivc-snark-e2e-tests branch from e509b98 to e966c22 Compare June 29, 2026 11:09
@jpraynaud
jpraynaud temporarily deployed to testing-preview June 29, 2026 15:46 — with GitHub Actions Inactive
@jpraynaud
jpraynaud force-pushed the jpraynaud/3142-ivc-snark-e2e-tests branch 2 times, most recently from 3efe618 to e08276c Compare July 1, 2026 09:42
@jpraynaud
jpraynaud temporarily deployed to testing-preview July 1, 2026 14:19 — with GitHub Actions Inactive
@jpraynaud
jpraynaud force-pushed the jpraynaud/3142-ivc-snark-e2e-tests branch from e08276c to 257a46e Compare July 6, 2026 13:31
@jpraynaud
jpraynaud temporarily deployed to testing-preview July 6, 2026 18:20 — with GitHub Actions Inactive
jpraynaud added 7 commits July 9, 2026 12:25
Clamp the signer retrieval epoch to the genesis epoch when computing the
network configuration, so the aggregator can start at epoch 0.
Publish the dual (Ed25519 + Schnorr) genesis verification key bundle for the ivc-snark-preview environment.
@jpraynaud
jpraynaud force-pushed the jpraynaud/3142-ivc-snark-e2e-tests branch from 257a46e to c2a383a Compare July 9, 2026 12:53
@jpraynaud
jpraynaud temporarily deployed to testing-preview July 9, 2026 17:51 — with GitHub Actions Inactive
@jpraynaud
jpraynaud temporarily deployed to testing-2-preview July 9, 2026 17:51 — with GitHub Actions Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

do-not-merge 🔒 Do not merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants