-
Notifications
You must be signed in to change notification settings - Fork 52
Logbook 2026 H1
Jean-Philippe Raynaud edited this page Jul 1, 2026
·
1 revision
- Add integration tests for unknown signed entity type in signer and aggregator #3296: the PR test: check unknown and discontinued signed entities in signers and aggregator integration tests #3355 has been reviewed, approved and merged. The issue is closed
- Mark stale issues and PRs with GitHub workflow #3339: the PR Mark stale issues and PRs with GitHub workflow #3359 and the PR fix(ci): Fixing issue and PR labels exclusion of stale job #3363 have been reviewed, approved and merged. The issue is closed
- Implement recursive SNARK proof generation and verification in end to end tests #3142: the PR fix(aggregator): reject legacy Lagrange genesis key and fix epoch pruning order #3360 has been reviewed, approved and merged
- Refactor unsafe SNARK setup #3300: the PR refactor(mithril-stm): refactor and stabilize the SNARK setups #3349 has been updated and received review comments, it is pending further review
- Capture e2e execution logs in artifacts #3362: the issue has been created and groomed
- Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: we have kept working on the issue
- How to reduce the IVC tests duration #3343: we have kept working on the issue
-
Release
2626distribution #3271: we have kept working on the issue -
Enhance aggregator state machine to support
Blockedstate #3333: we have kept working on the issue -
Upgrade to Cardano
11.1#3346: we have kept working on the issue -
Update DMQ node to
0.7.0.0#3358: we have kept working on the issue
-
Flaky CI on hydra run of
ci/hydra-build:x86_64-linux.mithril-common#3329: the PR Make kes_bytes file creation/write atomic for concurrent access #3353 has been reviewed, approved and merged. The issue is closed - Implement recursive SNARK proof generation and verification in end to end tests #3142: we have concluded the work and the issue is closed, and the follow-up PR fix(aggregator): reject legacy Lagrange genesis key and fix epoch pruning order #3360 has been created, it received review comments and is pending further review
- Add integration tests for unknown signed entity type in signer and aggregator #3296: the PR test: check unknown and discontinued signed entities in signers and aggregator integration tests #3355 has been reviewed and received a first approval, it is pending further review
- Mark stale issues and PRs with GitHub workflow #3339: the PR Mark stale issues and PRs with GitHub workflow #3359 has been reviewed and received a first approval, it is pending further review
- Refactor unsafe SNARK setup #3300: the PR refactor(mithril-stm): refactor and stabilize the SNARK setups #3349 has been updated and received review comments, it is pending further review
-
Update DMQ node to
0.7.0.0#3358: the issue has been created and groomed - Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: we have kept working on the issue
- How to reduce the IVC tests duration #3343: we have kept working on the issue
-
Release
2626distribution #3271: we have kept working on the issue -
Upgrade to Cardano
11.1#3346: we have kept working on the issue
-
Certification stopped on
ivc-snark-previewnetwork #3351: the certification has resumed and the issue is closed -
Flaky CI on hydra run of
ci/hydra-build:x86_64-linux.mithril-common#3329: the PR Make kes_bytes file creation/write atomic for concurrent access #3353 has been reviewed and received a first approval, it is pending further review - Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: the PR refactor(stm): Refactor prover input preparation #3326 has been updated and received review comments, it is pending further review
- Refactor unsafe SNARK setup #3300: we have kept working on the issue
- Implement recursive SNARK proof generation and verification in end to end tests #3142: we have kept working on the issue
- How to reduce the IVC tests duration #3343: we have kept working on the issue
-
Release
2626distribution #3271: we have kept working on the issue -
Upgrade to Cardano
11.1#3346: we have kept working on the issue - Add integration tests for unknown signed entity type in signer and aggregator #3296: we have kept working on the issue
- Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3141: the PR feat(stm): wire IVC snark prover #3348 has been reviewed, approved and merged. The issue is closed, the PR refactor(stm): applying final comments of PR #3348 #3352 has been created to apply the final review comments, it is pending review
-
Flaky CI on hydra run of
ci/hydra-build:x86_64-linux.mithril-common#3329: the PR Make kes_bytes file creation/write atomic for concurrent access #3353 has been created, it is pending review -
Certification stopped on
ivc-snark-previewnetwork #3351: the bug issue has been created and the problem has been identified and fixed. The neytwork should resume certification tomorrow - Refactor unsafe SNARK setup #3300: we have kept working on the issue
- Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: we have kept working on the issue
- Implement recursive SNARK proof generation and verification in end to end tests #3142: we have kept working on the issue
- How to reduce the IVC tests duration #3343: we have kept working on the issue
-
Release
2626distribution #3271: we have kept working on the issue - Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
-
Upgrade to Cardano
11.1#3346: we have kept working on the issue - Add integration tests for unknown signed entity type in signer and aggregator #3296: we have kept working on the issue
- Enhance versions bump script #3334: the PR Enhance versions bump script #3350 has been reviewed, approved and merged. The issue is closed
- Implement monitoring for Cardano Blocks and Transactions in Protocol dashboard #3157: we have concluded the work and the issue is closed
- Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3141: the PR feat(stm): wire IVC snark prover #3348 has been reviewed and received a first approval, it is pending further review
- Refactor unsafe SNARK setup #3300: we have kept working on the issue
- Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: we have kept working on the issue
- Implement recursive SNARK proof generation and verification in end to end tests #3142: we have kept working on the issue
- How to reduce the IVC tests duration #3343: we have kept working on the issue
-
Flaky CI on hydra run of
ci/hydra-build:x86_64-linux.mithril-common#3329: we have started to work on the issue -
Release
2626distribution #3271: we have kept working on the issue - Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
-
Upgrade to Cardano
11.1#3346: we have kept working on the issue - Add integration tests for unknown signed entity type in signer and aggregator #3296: we have kept working on the issue
-
Upgrade to Pallas
1.1.0#3297: the PR Updating pallas version to 1.1.0 and making adaptations #3324 has been reviewed, approved and merged. The issue is closed - Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: the PR refactor(stm): Refactor prover input preparation #3326 has been reviewed and received a first approval, it is pending further review
- Recursive SNARK aggregation primitives: Create SNARK proof with circuit #3139: the PR refactor(stm): Refactor prover input preparation #3326 has been reviewed and received a first approval, it is pending further review
- Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3141: the PR feat(stm): wire IVC snark prover #3348 has been updated and received review comments, it is pending further review
- Refactor unsafe SNARK setup #3300: the PR refactor(mithril-stm): refactor and stabilize the SNARK setups #3349 has been updated and received review comments, it is pending further review
- Enhance versions bump script #3334: the PR Enhance versions bump script #3350 has been created, it is pending review
-
Activate recursive SNARK prover in dev network #3143: the new
ivc-snark-previewnetwork is now consistently creating IVC proofs 🎉 - Implement recursive SNARK proof generation and verification in end to end tests #3142: we have kept working on the issue
- How to reduce the IVC tests duration #3343: we have kept working on the issue
-
Release
2626distribution #3271: we have kept working on the issue - Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
-
Upgrade to Cardano
11.1#3346: we have kept working on the issue
- Enhance support for discontinued signed entity types in aggregator #3332: the PR refactor: enhanced support for unknown signed entity #3344 has been reviewed, approved and merged. The issue is closed
-
Upgrade to Pallas
1.1.0#3297: the PR Updating pallas version to 1.1.0 and making adaptations #3324 has been reviewed and it will be merged shortly - Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3141: the PR feat(stm): wire IVC snark prover #3348 has been updated and received review comments, it is pending further review
- Refactor unsafe SNARK setup #3300: the PR refactor(mithril-stm): refactor and stabilize the SNARK setups #3349 has been created and received review comments, it is pending further review
- Implement recursive SNARK proof generation and verification in end to end tests #3142: we have kept working on the issue
- Activate recursive SNARK prover in dev network #3143: we have kept working on the issue
- How to reduce the IVC tests duration #3343: we have kept working on the issue
- Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: we have kept working on the issue
-
Release
2626distribution #3271: we have kept working on the issue - Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
-
Upgrade to Cardano
11.1#3346: we have kept working on the issue - Add integration tests for unknown signed entity type in signer and aggregator #3296: we have started to work on the issue
- Enhance support for discontinued signed entity types in aggregator #3332: the PR refactor: enhanced support for unknown signed entity #3344 has been reviewed and received a first approval, it will be merged shortly
- Implement recursive SNARK proof generation and verification in end to end tests #3142: the draft PR feat: support IVC SNARK prover in e2e tests #3347 has been created
- How to reduce the IVC tests duration #3343: the draft PR DRAFT: reuse pre-computed data for 3343 #3345 has been created
- Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3141: we have kept working on the issue
- Activate recursive SNARK prover in dev network #3143: we have started to work on the issue
- Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: we have kept working on the issue
- Refactor unsafe SNARK setup #3300: we have kept working on the issue
-
Release
2626distribution #3271: we have kept working on the issue -
Upgrade to Pallas
1.1.0#3297: we have kept working on the issue - Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
-
Upgrade to Cardano
11.1#3346: the issue has been created and groomed, we have started to work on the issue
- Update Midnight ZK library audit status for SNARK #3122: we have concluded the work and the issue is closed
- How to reduce the IVC tests duration #3343: the PR Improve balance build/run time for future snark tests in CI #3342 has been reviewed and merged
- Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3141: we have kept working on the issue
- Implement recursive SNARK proof generation and verification in end to end tests #3142: we have kept working on the issue, and we have been able to create the first recursive SNARK proof!
- Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: we have kept working on the issue
-
Release
2626distribution #3271: we have kept working on the issue -
Upgrade to Pallas
1.1.0#3297: we have kept working on the issue - Enhance support for discontinued signed entity types in aggregator #3332: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
-
Move slow tests to slow tier #3337: the PR feat(mithril-stm): implement
IvcProver::prove#3327 has been reviewed, approved and merged. The issue is closed - Add missing ancillary data for IVC aggregate signature creation #3341: the PR feat: add missing ancillary data for IVC aggregate signature creation #3340 has been reviewed, approved and merged. The issue is closed
-
Recursive SNARK aggregation primitives: Create SNARK proof with circuit #3139: the PR feat(mithril-stm): implement
IvcProver::prove#3327 has been reviewed, approved and merged. The issue is closed - Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3141: we have kept working on the issue
- Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: we have kept working on the issue
- Implement recursive SNARK proof generation and verification in end to end tests #3142: we started to work on the issue
- Update Midnight ZK library audit status for SNARK #3122: we have kept working on the issue
-
Release
2625distribution #3271: we have kept working on the issue -
Upgrade to Pallas
1.1.0#3297: we have kept working on the issue - Enhance support for discontinued signed entity types in aggregator #3332: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- How to reduce the IVC tests duration #3343: the issue has been created and groomed
-
Recursive SNARK aggregation primitives: Create SNARK proof with circuit #3139: the PR refactor: genesis preimage ancillary data #3335 has been reviewed, approved and merged, and the PR feat(mithril-stm): implement
IvcProver::prove#3327 has been reviewed and received a first approval, it is pending further review - Adapt certificate chain to support recursive SNARK #3147: the PR feat: add missing ancillary data for IVC aggregate signature creation #3340 has been created and received review comments, it is pending further review
- Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: the PR refactor(stm): Refactor prover input preparation #3326 has been updated and received review comments, it is pending further review
- Move slow tests to slow tier #3337: the issue has been created and groomed
- Mark stale issues and PRs with GitHub workflow #3339: the issue has been created and groomed
- Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3141: we have kept working on the issue
- Update Midnight ZK library audit status for SNARK #3122: we have kept working on the issue
-
Release
2625distribution #3271: we have kept working on the issue -
Upgrade to Pallas
1.1.0#3297: we have kept working on the issue - Enhance support for discontinued signed entity types in aggregator #3332: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Adapt certificate chain to support recursive SNARK #3147: the PR feat: certificate chain support for IVC SNARK #3322 has been reviewed, approved and merged. The issue is closed
- Switch of aggregator does not work in explorer #3328: the PR fix(explorer): unresponsive UI #3336 has been reviewed and received a first approval, it will be merged shortly
- Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: the PR refactor(stm): Refactor prover input preparation #3326 has been reviewed and is pending update
- Recursive SNARK aggregation primitives: Create SNARK proof with circuit #3139: the PR refactor: genesis preimage ancillary data #3335 has been reviewed and received a first approval, it is pending update
- Enhance support for discontinued signed entity types in aggregator #3332: the issue has been created and groomed
-
Enhance aggregator state machine to support
Blockedstate #3333: the issue has been created and groomed - Enhance versions bump script #3334: the issue has been created and groomed
-
Release
2625distribution #3271: we have kept working on the issue -
Upgrade to Pallas
1.1.0#3297: we have kept working on the issue - Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
-
Recursive SNARK aggregation primitives: Verify SNARK proof #3140: the PR implement
verifyIVC proof over blake2b/poseidon #3315 has been reviewed, approved and merged. The issue is closed - Update ledger state snapshot selection in artifacts #3298: the PR Package only one ledger state snapshot for Cardano node version above 10.4 #3317 has been reviewed, approved and merged. The issue is closed
- Optimize e2e tests for SNARK #3151: the PR feat(ci): e2e light scenario for snark running in nightly ci #3325 has been reviewed, approved and merged, and the follow-up PR chore(ci): extend timeout for e2e workflow to 120 minutes #3331 has been created and approved, it is pending further review. The issue is closed
-
Recursive SNARK aggregation primitives: Create SNARK proof with circuit #3139: the PR feat(mithril-stm): implement
IvcProver::prove#3327 has been created and received review comments, it is pending further review - Adapt certificate chain to support recursive SNARK #3147: the PR feat: certificate chain support for IVC SNARK #3322 has been reviewed and received a first approval, it is pending further review
- Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: the PR frefactor(stm): Refactor prover input preparation #3326 has been created and received review comments, it is pending further review
- Test that SNARK circuits degree are unchanged #3330: the issue has been created and groomed
-
Flaky CI on hydra run of
ci/hydra-build:x86_64-linux.mithril-common#3329: the issue has been created and groomed - Switch of aggregator does not work in explorer #3328: the issue has been created and groomed
-
Release
2624distribution #3271: we have kept working on the issue -
Upgrade to Pallas
1.1.0#3297: we have kept working on the issue - Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Recursive SNARK aggregation primitives: Prepare prover input #3138: the PR feat(stm):Prepare prover input - Phase 4 #3313 has been reviewed, approved and merged. The issue is closed
- Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: we have kept working on the issue
-
Release
2624distribution #3271: we have created the2624.0pre-release distribution and deployed it on thepre-release-previewnetwork. However, we have noticed that the certification has stopped and we have rolled back to the previous stable version2617.0and we have started investigating the origin of the problem - Adapt certificate chain to support recursive SNARK #3147: the PR feat: certificate chain support for IVC SNARK #3322 has been reviewed and received a first approval, it is pending further review
- Optimize e2e tests for SNARK #3151: the PR feat(ci): e2e light scenario for snark running in nightly ci #3325 has been created, it is pending review
- Recursive SNARK aggregation primitives: Create SNARK proof with circuit #3139: we have started to work on the issue
-
Recursive SNARK aggregation primitives: Verify SNARK proof #3140: the PR implement
verifyIVCproof over blake2b #3315 has been updated and received review comments, it is pending further review - Update ledger state snapshot selection in artifacts #3298: we have kept working on the issue
-
Upgrade to Pallas
1.1.0#3297: we have kept working on the issue - Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Recursive SNARK aggregation primitives: Prepare prover input #3138: the PR feat(stm): Prepare prover input - Phase 4 #3313 has been reviewed and received a first approval, it is pending further review
- Adapt certificate chain to support recursive SNARK #3147: the PR feat: certificate chain support for IVC SNARK #3322 has been created and received review comments, it is pending further review
-
Release
2624distribution #3271: the PR docs: rotate documentation for2624distribution #3320 and the PR docs: update CHANGELOG with2624.0distribution #3321 have been created and received review comments, they are pending further review -
Recursive SNARK aggregation primitives: Verify SNARK proof #3140: the PR implement
verifyIVC proof over blake2b #3315 has been updated and received review comments, it is pending further review - Update ledger state snapshot selection in artifacts #3298: we have kept working on the issue
- Optimize e2e tests for SNARK #3151: we have kept working on the issue
-
Upgrade to Pallas
1.1.0#3297: we have kept working on the issue - Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: the issue has been created and groomed
- Enforcement of DMQ message id format #3251: the PR feat: updated DMQ message id enforcement #3260 has been reviewed, approved and merged. The issue is closed
-
Update DMQ node to
0.6.0.0#3302: the PR feat: updated DMQ message id enforcement #3260 has been reviewed, approved and merged. The issue is closed - Support for DMQ ledger peers #3303: the PR feat: ledger peers support for DMQ node #3318 has been reviewed, approved and merged. The issue is closed
- Prototype Cardano node ledger state certification #3269: we have concluded the work and the issue is closed
- Optimize e2e tests for SNARK #3151: the PR refactor(end-to-end): promote scenario to commands, switch epoch length based wait duration, rework and cleanup assertions #3316 has been reviewed, approved and merged
- Update ledger state snapshot selection in artifacts #3298: the PR Package only one ledger state snapshot for Cardano node version above 10.4 #3317 has been reviewed and approved. It will be merged once the new distribution has been cut
- Recursive SNARK aggregation primitives: Prepare prover input #3138: the PR feat(stm): Prepare prover input - Phase 4 #3313 has been updated and received review comments, it is pending further review
-
Recursive SNARK aggregation primitives: Verify SNARK proof #3140: the PR implement
verifyIVC proof over blake2b #3315 has been updated and received review comments, it is pending further review -
Release
2624distribution #3271: we have kept working on the issue - Adapt certificate chain to support recursive SNARK #3147: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
-
Upgrade to Pallas
1.1.0#3297: we have started to work on the issue
- Implement SNARK-friendly genesis certificate #3145: the PR feat: SNARK-friendly genesis certificate primitives #3304 and the PR feat: dual-signature genesis certificate and wiring #3306 have been reviewed, approved and merged. The issue is closed
-
Recursive SNARK aggregation primitives: Verify SNARK proof #3140: the PR implement
verifyIVCproof over blake2b #3315 has been created and is being reviewed - Recursive SNARK aggregation primitives: Prepare prover input #3138: the draft PR feat(stm):Prepare prover input - Phase 4 #3313 has been updated, superseding the now closed PR feat(mithril-stm): implement IVC prover input preparation (phase 4 of #3138) #3308, it is pending further review
- Prototype Cardano node ledger state certification #3269: we have kept working on the issue
- Optimize e2e tests for SNARK #3151: the PR refactor(end-to-end): promote scenario to commands, switch epoch length based wait duration, rework and cleanup assertions #3316 has been created and is pending review
- Update ledger state snapshot selection in artifacts #3298: the draft PR Package only one ledger state snapshot for Cardano node version above 10.4 #3317
-
Release
2624distribution #3271: we have kept working on the issue - Enforcement of DMQ message id format #3251: the PR feat: updated DMQ message id enforcement #3260 has been updated
-
Update DMQ node to
0.6.0.0#3302: the PR feat: updated DMQ message id enforcement #3260 has been updated - Support for DMQ ledger peers #3303: we have kept working on the issue
- Adapt certificate chain to support recursive SNARK #3147: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
-
Remove Mithril nodes support in
mithril-devnet#3295: the PR Remove mithril nodes supports in mithril devnet #3311 has been reviewed, approved and merged. The issue is closed - Refactor SNARK recursive circuit - Naming alignment #3130: the PR refactor(mithril-stm): align halo2 IVC naming #3309 has been reviewed, approved and merged. The issue is closed
- Implement SNARK-friendly genesis certificate #3145: the PR feat: SNARK-friendly genesis certificate primitives #3304 has been updated and is pending merge, and the PR feat: dual-signature genesis certificate and wiring #3306 has been updated and is pending merge
- Prototype Cardano node ledger state certification #3269: the draft PR feat: prototype Cardano node ledger state certification #3305 is being reviewed
- Recursive SNARK aggregation primitives: Prepare prover input #3138: we have kept working on the issue
- Recursive SNARK aggregation primitives: Verify SNARK proof #3140: we have kept working on the issue
- Optimize e2e tests for SNARK #3151: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
-
Update DMQ node to
0.6.0.0#3302: we have kept working on the issue - Adapt certificate chain to support recursive SNARK #3147: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Formatted list of de-registered signersin explorer misses aliases #3310: the issue has been created and the PR fix: pools tickers missing in mithril-explorer #3312 has been created, reviewed, approved and merged. The issue is closed
- Refactor SNARK recursive circuit - Naming alignment #3130: the PR refactor(mithril-stm): align halo2 IVC naming #3309 has been created, reviewed and is pending merge
- Implement SNARK-friendly genesis certificate #3145: the PR feat: SNARK-friendly genesis certificate primitives #3304 has been reviewed and received a first approval, it is pending further review, and the PR feat: dual-signature genesis certificate and wiring #3306 has been updated and received review comments, it is pending further review
- Recursive SNARK aggregation primitives: Prepare prover input #3138: the draft PR feat(mithril-stm): implement IVC prover input preparation (phase 4 of #3138) #3308 has been updated and received review comments, it is pending further review
-
Remove Mithril nodes support in
mithril-devnet#3295: the PR Remove mithril nodes supports in mithril devnet #3311 has been created and is being reviewed - Prototype Cardano node ledger state certification #3269: the draft PR feat: prototype Cardano node ledger state certification #3305 has been updated and is being reviewed
- Recursive SNARK aggregation primitives: Verify SNARK proof #3140: we have kept working on the issue
- Optimize e2e tests for SNARK #3151: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
-
Update DMQ node to
0.5.0.0#3302: we have kept working on the issue - Adapt certificate chain to support recursive SNARK #3147: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Refactor SNARK recursive circuit - Type consistency #3128: the PR refactor(mithril-stm): type consistency for halo2 IVC #3293 has been reviewed, approved and merged. The issue is closed
-
fails_with_empty_signaturesflakes in CI due to concurrent SRS temp file collision #3292: the PR fix flaky test race on shared SRS temp file #3294 has been reviewed, approved and merged. The issue is closed - Implement SNARK-friendly genesis certificate #3145: the PR feat: dual-signature genesis certificate and wiring #3306 has been created and is pending review, and the PR feat: SNARK-friendly genesis certificate primitives #3304 has been updated and is pending review
- Recursive SNARK aggregation primitives: Prepare prover input #3138: the draft PR feat(mithril-stm): implement IVC prover input preparation (phase 4 of #3138) #3308 has been created
- Recursive SNARK aggregation primitives: Verify SNARK proof #3140: we have kept working on the issue
- Refactor SNARK recursive circuit - Naming alignment #3130: we have kept working on the issue
- Adapt certificate chain to support recursive SNARK #3147: we have kept working on the issue
- Prototype Cardano node ledger state certification #3269: we have kept working on the issue
- Optimize e2e tests for SNARK #3151: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
-
Update DMQ node to
0.5.0.0#3302: we have kept working on the issue -
Remove Mithril nodes support in
mithril-devnet#3295: we have kept working on the issue - Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Implement SNARK-friendly genesis certificate #3145: the draft PR feat: SNARK-friendly genesis certificate #3304 has been created
-
fails_with_empty_signaturesflakes in CI due to concurrent SRS temp file collision #3292: the PR fix flaky test race on shared SRS temp file #3294 has been updated and is pending review - Refactor SNARK recursive circuit - Type consistency #3128: the PR refactor(mithril-stm): type consistency for halo2 IVC #3293 has been updated, it is pending further review. It will be merged shortly
- Enforcement of DMQ message id format #3251: the PR feat: updated DMQ message id enforcement #3260 has been updated
-
Update DMQ node to
0.5.0.0#3302: the issue has been created and groomed - Support for DMQ ledger peers #3303: the issue has been created and groomed
- Prototype Cardano node ledger state certification #3269: we have kept working on the issue, and the developments have been pushed to the branch ctl/3269-prototype-Cardano-node-ledger-state-certification
- Recursive SNARK aggregation primitives: Prepare prover input #3138: we have kept working on the issue
- Optimize e2e tests for SNARK #3151: we have kept working on the issue
-
Remove Mithril nodes support in
mithril-devnet#3295: we have kept working on the issue - Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Enhance support of genesis verification key in explorer #3270: the PR feature: custom genesis verification key support in explorer #3291 has been reviewed, approved and merged. The issue is closed
- Refactor SNARK recursive circuit - Type consistency #3128: the PR refactor(mithril-stm): type consistency for halo2 IVC #3293 has been updated and received review comments, it is pending further review
-
fails_with_empty_signaturesflakes in CI due to concurrent SRS temp file collision #3292: the PR fix flaky test race on shared SRS temp file #3294 has been updated and received review comments, it is pending further review - Recursive SNARK aggregation primitives: Prepare prover input #3138: we have kept working on the issue
- Implement SNARK-friendly genesis certificate #3145: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Prototype Cardano node ledger state certification #3269: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
-
Remove Mithril nodes support in
mithril-devnet#3295: the issue has been created and groomed - Add integration tests for unknown signed entity type in signer and aggregator #3296: the issue has been created and groomed
- Update ledger state snapshot selection in artifacts #3298: the issue has been created and groomed
-
Upgrade to Pallas
1.1.0#3297: the issue has been created and groomed - Refactor unsafe SNARK setup #3300: the issue has been created and groomed
- Circuit keys caching for SNARK circuit in STM #3043: the PR feat(stm): add disk-backed VK/PK caching with TrustedSetupProvider wiring #3282 has been reviewed, approved and merged. The issue is closed
- Enhance support of genesis verification key in explorer #3270: the PR feature: custom genesis verification key support in explorer #3291 has been updated, reviewed and received approvals it will be merged shortly
- Implement SNARK-friendly genesis certificate #3145: we have kept working on the issue
- Recursive SNARK aggregation primitives: Prepare prover input #3138: we have kept working on the issue
- Refactor SNARK recursive circuit - Type consistency #3128: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Prototype Cardano node ledger state certification #3269: we have kept working on the issue
- Refactor SNARK recursive circuit - Remove helpers module #3132: the PR refactor(mithril-stm): remove halo2_ivc helpers module #3288 has been reviewed, approved and merged. The issue is closed
- Circuit keys caching for SNARK circuit in STM #3043: the PR feat(stm): add disk-backed VK/PK caching with TrustedSetupProvider wiring #3282 has received a first approval and review comments, it is pending update
- Recursive SNARK aggregation primitives: Prepare prover input #3138: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
- Implement SNARK-friendly genesis certificate #3145: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Enhance support of genesis verification key in explorer #3270: we have kept working on the issue
- Prototype Cardano node ledger state certification #3269: we have kept working on the issue
- Enhance synchronization of immutable files of Cardano database #3243: the follow-up PR fix(node-db): flush file after write to avoid race with tokio's async file drop #3289 has been created, reviewed, approved and merged
- Recursive SNARK aggregation primitives: Prepare prover input #3138: the PR feat(stm): Prepare prover input - Phase 3 #3278 has been updated, reviewed and received review comments and a first approval, it is pending further review
- Circuit keys caching for SNARK circuit in STM #3043: the PR feat(stm): add disk-backed VK/PK caching with TrustedSetupProvider wiring #3282 has been updated and received review comments, it is pending review
- Refactor SNARK recursive circuit - Remove helpers module #3132: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
- Implement SNARK-friendly genesis certificate #3145: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Enhance support of genesis verification key in explorer #3270: we have kept working on the issue
- Prototype Cardano node ledger state certification #3269: we have kept working on the issue
- Enhance protocol security page on website #2703: the PR docs: update security page with honest majority section #3277 has been reviewed, approved and merged. The issue is closed
- Enhance synchronization of immutable files of Cardano database #3243: the PR Add a cache mecanism on immutable files synchronisation #3286 has been reviewed, approved and merged. The issue is closed
-
Remove Cardano database
v1backend #3268: the PR fix(aggregator): warn instead of error when parsing unknown signed entity #3287 has been reviewed, approved and merged. The issue is closed - Refactor SNARK recursive circuit - Remove helpers module #3132: the PR refactor(mithril-stm): remove halo2_ivc helpers module #3288 has been created and received review comments, it is pending further review
- Recursive SNARK aggregation primitives: Prepare prover input #3138: the PR feat(stm): Prepare prover input - Phase 3 #3278 has been updated and received review comments, it is pending further review
- Circuit keys caching for SNARK circuit in STM #3043: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
- Implement SNARK-friendly genesis certificate #3145: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Prototype Cardano node ledger state certification #3269: we have started to work on the issue
- Enhance support of genesis verification key in explorer #3270: we have kept working on the issue
-
Transfer repository to
IntersectMBOorganization #3276: we have kept working on the issue
- Refactor SNARK recursive circuit - Error handling #3127: the PR refactor(mithril-stm): structured error handling for halo2_ivc circuit #3284 has been reviewed, approved and merged. The issue is closed
- Enhance synchronization of immutable files of Cardano database #3243: the PR Add a cache mecanism on immutable files synchronisation #3286 has been created, reviewed and received approvals and review comments, it has been updated and is pending merge
-
Remove Cardano database
v1backend #3268: the PR refactor: remove cardano db v1 backend #3285 has been reviewed, received approvals and review comments, and has been updated, it is pending merge - Recursive SNARK aggregation primitives: Prepare prover input #3138: we have kept working on the issue
- Circuit keys caching for SNARK circuit in STM #3043: we have kept working on the issue
- Enhance protocol security page on website #2703: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
- Refactor SNARK recursive circuit - Remove helpers module #3132: the PR feat(stm): Prepare prover input - Phase 3 #3278 is pending review
- Implement SNARK-friendly genesis certificate #3145: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Add non-recursive certificate circuit benchmarks #3274: the PR feat(mithril-stm): add reproducible benchmarks for StmCertificateCircuit #3275 has been merged. The issue is closed
- Refactor SNARK recursive circuit - Error handling #3127: the PR refactor(mithril-stm): structured error handling for halo2_ivc circuit #3284 has been created, reviewed and received approvals, it is pending merge
- Enhance protocol security page on website #2703: the PR docs: update security page with honest majority section #3277 has been reviewed and received approvals, it is pending further reviews
- Recursive SNARK aggregation primitives: Prepare prover input #3138: the PR feat(stm): Prepare prover input - Phase 3 #3278 has been updated and is pending review
- Circuit keys caching for SNARK circuit in STM #3043: the PR vk and pk caching #3282 has been updated, it is pending review
- Enhance synchronization of immutable files of Cardano database #3243: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
- Implement SNARK-friendly genesis certificate #3145: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
-
Remove Cardano database
v1backend #3268: we have kept working on the issue
- Prepare SNARK-friendly genesis certificate implementation #3262: the issue is closed
- Impact of recursive SNARK on Mithril protocol security #3133: the issue is closed
- Recursive SNARK aggregation primitives: Prepare prover input #3138: the PR feat(stm): Prepare prover input - Phase 1 and Phase 2 #3267 has been reviewed, approved and merged, and the PR feat(stm): Prepare prover input - Phase 3 #3278 has been created and is pending review
- Circuit keys caching for SNARK circuit in STM #3043: the PR vk and pk caching #3282 has been created
- Add non-recursive certificate circuit benchmarks #3274: the PR feat(mithril-stm): add reproducible benchmarks for StmCertificateCircuit #3275 has been reviewed, received another approval and review comments, it is pending further review
- Enhance protocol security page on website #2703: the PR docs: update security page with honest majority section #3277 has been created and received review comments, it is pending further review
- Enhance synchronization of immutable files of Cardano database #3243: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
- Implement SNARK-friendly genesis certificate #3145: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
-
Remove Cardano database
v1backend #3268: we have kept working on the issue
- Recursive SNARK aggregation primitives: Prepare prover input #3138: the PR feat(stm): Prepare prover input - Phase 1 and Phase 2 #3267 has been reviewed and received another approval, it will be merged shortly
- Add Certificate Circuit Benchmarks to answer Auditors questions #3274: the PR feat(mithril-stm): add reproducible benchmarks for StmCertificateCircuit #3275 has been updated, reviewed, received a first approval and review comments, it is pending further review
- Enforcement of DMQ message id format #3251: the PR feat: updated DMQ message id enforcement #3260 has been updated and the PR Backport DMQ message structure update to v0 #777 has been created and is pending review
-
Transfer repository to
IntersectMBOorganization #3276: the issue has been created and groomed - Circuit keys caching for SNARK circuit in STM #3043: we have kept working on the issue
- Enhance synchronization of immutable files of Cardano database #3243: we have kept working on the issue
- Robust support for unknown and in progress signed entity types #3172: the PR refactor: strengthen unknown and future signed entity support #3265 has been updated, reviewed and merged. The issue is closed
- Enhance protocol security page on website #2703: we have kept working on the issue
- Prepare SNARK-friendly genesis certificate implementation #3262: we have kept working on the issue
- Implement SNARK-friendly genesis certificate #3145: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Replace temporary certificate circuit with STM circuit #3195: the PR refactor(halo2_ivc): replace temporary Certificate circuit with StmCertificateCircuit #3266 has been reviewed, approved and merged. The issue is closed
- Prepare implementation of the prover input in STM #3137: the issue is closed
- Recursive SNARK aggregation primitives: Prepare prover input #3138: the PR feat(stm): Prepare prover input - Phase 1 and Phase 2 #3267 has been reviewed and received a first approval, it is pending further review
- Robust support for unknown and in progress signed entity types #3172: the PR refactor: strengthen unknown and future signed entity support #3265 has been reviewed and will be merged shortly
-
Release
2623distribution #3271: the issue has been created -
Remove Cardano database
v1backend #3268: the issue has been created and groomed - Prototype Cardano node ledger state certification #3269: the issue has been created and groomed
- Enhance support of genesis verification key in explorer #3270: the issue has been created and groomed
- Circuit keys caching for SNARK circuit in STM #3043: we have kept working on the issue
- Enhance synchronization of immutable files of Cardano database #3243: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
- Prepare SNARK-friendly genesis certificate implementation #3262: we have kept working on the issue
- Prepare the refactoring of the recursive circuit #3126: we have kept working on the issue
- Enhance protocol security page on website #2703: we have kept working on the issue
- Implement SNARK-friendly genesis certificate #3145: we have kept working on the issue
- Ship Mithril signer node binary in Cardano node bundle in GitHub #3011: we have kept working on the issue
- Replace temporary certificate circuit with STM circuit #3195: the PR #3266 has been reviewed and received a first approval, it is pending further review
- Prepare SNARK-friendly genesis certificate implementation #3262: the plan is being reviewed
- Implement SNARK-friendly genesis certificate #3145: we have started to work on the issue
- Robust support for unknown and in progress signed entity types #3172: we have kept working on the issue
- Enhance synchronization of immutable files of Cardano database #3243: we have kept working on the issue
- Enhance protocol security page on website #2703: we have kept working on the issue
- Prepare the refactoring of the recursive circuit #3126: we have kept working on the issue
- Prepare implementation of the prover input in STM #3137: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
- Add off-circuit verification tests for recursive SNARK circuit prototype #3193: the PR test(halo2_ivc): add Layer C2 off-circuit verification tests #3259 has been reviewed, approved and merged. The issue is closed
- Enforce Mithril crates versions in downstream Mithril crates #3245: the PR Add a script to check dependency version consistency #3261 has been reviewed, approved and merged. The issue is closed. The follow-up PRs Update minor version of mithril-stm dependency to 0.10.18 for consistency #3263 and refactor(ci): fix typo in log message of crate-version-checker script #3264 have been created, reviewed, approved and merged the same day
- Enforcement of DMQ message id format #3251: the PR feat: updated DMQ message id enforcement #3260 has been updated and received review comments, it is pending pallas update
- Prepare SNARK-friendly genesis certificate implementation #3262: the issue has been created and is pending review
- Prepare implementation of the prover input in STM #3137: the issue has been reviewed and approved
- Enhance synchronization of immutable files of Cardano database #3243: we have kept working on the issue
- Robust support for unknown and in progress signed entity types #3172: the pR refactor: strengthen unknown and future signed entity support #3265 has been created and is pending review
- Prepare the refactoring of the recursive circuit #3126: we have kept working on the issue
- Implement SNARK-friendly protocol message #3146: the PR feat: SNARK-friendly protocol message #3254 has been reviewed, approved and merged. The issue is closed
- Rust doc.rs built targets breaking-change #3212: the issue is closed
- Enforcement of DMQ message id format #3251: the PR feat: updated DMQ message id enforcement #3260 has been reviewed and received a first approval, it is pending further review. The PR refactor(network): update DMQ message structure #776 has been created, reviewed and merged. The PR CIP-0137 | Message Submission V2 + message id enforcement #1185 has been created and is pending review
- Enforce Mithril crates versions in downstream Mithril crates #3245: the PR Add a script to check dependency version consistency #3261 has been created and is pending review
- Prepare implementation of the prover input in STM #3137: we have kept working on the issue
- Add off-circuit verification tests for recursive SNARK circuit prototype #3193: the PR test(halo2_ivc): add Layer C2 off-circuit verification tests #3259 has been created and is being reviewed
- Prepare the refactoring of the recursive circuit #3126: we have kept working on the issue
- Robust support for unknown and in progress signed entity types #3172: we have kept working on the issue
- Implement SNARK-friendly protocol message #3146: the PR feat: SNARK-friendly protocol message #3254 has been updated and it will be merged shortly
- Add off-circuit verification tests for recursive SNARK circuit prototype #3193: the PR test(halo2_ivc): add Layer C2 off-circuit verification tests #3259 has been updated and received review comments, it is pending further review
- Enforcement of DMQ message id format #3251: the PR feat: updated DMQ message id enforcement #3260 has been created and is pending review
- Prepare implementation of the prover input in STM #3137: we have kept working on the issue
- Circuit keys caching for SNARK circuit in STM #3043: we have kept working on the issue
- Robust support for unknown and in progress signed entity types #3172: we have kept working on the issue
- Rust doc.rs built targets breaking-change #3212: we have kept working on the issue
- Prepare Ledger State certification PoC #3242: we have completed the preparation , the issue is closed
- Add in-circuit verification tests for recursive SNARK circuit prototype #3192: the PR test(halo2_ivc): add Layer C1 in-circuit verification tests #3241 has been reviewed, approved and merged. The issue is closed
- Trusted setup validation for SNARK circuit in STM #2944: we have kept working on the issue, and the PR feat(stm): Trusted setup validation #3249 has been updated, received review comments and a first approval, it is pending further review
-
Rust doc.rs built targets breaking-change #3212: we have kept working on the issue, and confirmed that no OS-specific documentation will be impacted by the new
doc.rsbuilds - Implement SNARK-friendly protocol message #3146: we have kept working on the issue
- Prepare implementation of the prover input in STM #3137: we have kept working on the issue
- Robust support for unknown and in progress signed entity types #3172: we have kept working on the issue
- Prepare Ledger State certification PoC #3242: we have kept working on the issue
- Enforcement of DMQ message id format #3251: we have kept working on the issue
-
Upgrade to Cardano
11.0#3257: the issue is closed
- Implement support for Schnorr signatures in STM #3136: the PR feat(stm): Non-unique Schnorr Signature support #3239 has been reviewed, approved and merged. The issue is closed
-
Update all GitHub runners to Ubuntu
24.04#3246: the PR Update Github runners to Ubuntu 24.04 #3255 has been merged. The issue is closed - Enforcement of DMQ message id format #3251: the PR feat: enforce DMQ message id #3256 has been reviewed, approved and merged. We have worked on the CIP update PR
-
Upgrade to Cardano
11.0#3257: the issue has been created and the PR feat: support for Cardano11.0configuration #3258 has been created, reviewed, approved and merged - Implement SNARK-friendly protocol message #3146: we have kept working on the issue, and the PR feat: SNARK-friendly protocol message #3254 is being reviewed
- Trusted setup validation for SNARK circuit in STM #2944: we have kept working on the issue, and the PR feat(stm): Trusted setup validation #3249 has been updated and received review comments, it is pending further review
- Add in-circuit verification tests for recursive SNARK circuit prototype #3192: we have kept working on the issue, the PR test(halo2_ivc): add Layer C1 in-circuit verification tests #3241 is approved and pending merge once the slow test execution duration is fixed
- Prepare implementation of the prover input in STM #3137: we have kept working on the issue
- Robust support for unknown and in progress signed entity types #3172: we have kept working on the issue
- Rust doc.rs built targets breaking-change #3212: we have started working on the issue
- Support for stable/unstable versions of Open API #3211: the PR Support 'current' and 'next' versions of open api #3247 has been reviewed and merged. The issue is closed
- Nightly tests are flaky #3210: the fix applied is being monitored for the next days. In the mean time the issue has been closed
- Implement support for Schnorr signatures in STM #3136: we have kept working on the issue, and the PR feat(stm): Non-unique Schnorr Signature support #3239 has been updated with the team suggestions
- Implement SNARK-friendly protocol message #3146: the PR feat: SNARK-friendly protocol message #3254 has been created and is pending review
- Add in-circuit verification tests for recursive SNARK circuit prototype #3192: we have kept working on the issue, and the PR test(halo2_ivc): add Layer C1 in-circuit verification tests #3241 has been approved. We still need to fix execution duration of slow tests which is too high before we can merge
- Trusted setup validation for SNARK circuit in STM #2944: we have kept working on the issue, and the PR feat(stm): Trusted setup validation #3249 has been updated and is pending review
- Robust support for unknown and in progress signed entity types #3172: we have kept working on the issue, and the specification has been refined
- Client retrieves an artifact which is not of the expected type #3244: the PR Fix artifact retrieval by specifying signed entity type #3252 has been created, reviewed and will be merged shortly
-
Update all GitHub runners to Ubuntu
24.04#3246: we have started working on the issue - Enforcement of DMQ message id format #3251: the issue has been created and groomed, we have started working on it
- Implement support for Schnorr signatures in STM #3136: the PR feat(stm): Non-unique Schnorr Signature support #3239 has been approved and will be merged shortly
- Support for stable/unstable versions of Open API #3211: the PR Support 'current' and 'next' versions of open api #3247 has been created and is pending review
- Nightly tests are flaky #3210: we have kept working on the issue, and it has been assigned to a new owner. It appears that the flakiness could be due to a race condition between the stream downloader and the unpacker threads in the file uploader of the client
- Robust support for unknown and in progress signed entity types #3172: we have kept working on the issue, and the specification has been refined
- Trusted setup validation for SNARK circuit in STM #2944: we have kept working on the issue, and the specification has been refined
- Prepare Ledger State certification PoC #3242: the issue has been created and groomed
- Enhance synchronization of immutable files of Cardano database #3243: the issue has been created and groomed
- Client retrieves an artifact which is not of the expected type #3244: the issue has been created and groomed
- Enforce Mithril crates versions in downstream Mithril crates #3245: the issue has been created and groomed
-
Update all GitHub runners to Ubuntu
24.04#3246: the issue has been created and groomed
- Circuit golden tests are flaky in STM #3231: the PR fix(stm): Fixing the flakiness in the circuit tests #3236 has been reviewed and merged. The issue is closed
- Add data encoding and state transition tests for recursive SNARK circuit prototype #3191: the PR test(halo2_ivc): add Layer B State tests #3229 has been reviewed and merged. The issue is closed
- Detect SNARK circuit modifications in STM #3216: the PR feat(stm): detect circuit modification #3225 has received its final approval and will be merged shortly
- Add in-circuit verification tests for recursive SNARK circuit prototype #3192: we have kept working on the issue, and a detailed test plan covering the public inputs, genesis gating, certificate, IVC proof and accumulator verifications has been published
- Implement support for Schnorr signatures in STM #3136: the draft PR feat(stm): Non-unique Schnorr Signature support #3239 has been created
- Implement SNARK-friendly protocol message: we have kept working on the issue
- Accelerate SNARK circuit tests in CI #3162: the PR refactor(stm): Accelerate snark tests #3217 has been reviewed and merged. The issue is closed
- Upgrade Node.js 20 GitHub actions #3173: the PR ci: upgrade GitHub actions #3237 has been reviewed and merged. The issue is closed
- Add data encoding and state transition tests for recursive SNARK circuit prototype #3191: the PR test(halo2_ivc): add Layer B State tests #3229 has been approved by additional reviewers and will be merged shortly
- Detect SNARK circuit modifications in STM #3216: the PR feat(stm): detect circuit modification #3225 has been approved by additional reviewers and will be merged shortly
- Test the ledger snapshot conversion in the e2e test #3213: the PR Test the ledger snapshot conversion in the e2e test #3235 has been approved and will be merged shortly
- Circuit golden tests are flaky in STM #3231: we have kept working on the issue, and the PR fix(stm): Fixing the flakiness in the circuit tests #3236 is pending reviewed
- Robust support for unknown and in progress signed entity types #3172: we have started working on the issue
- Support for stable/unstable versions of Open API #3211: we have started working on the issue
-
Release
2617distribution #2967: the distribution2617.0has been released and deployed on therelease-mainnetandrelease-preprodnetworks. The issue is closed - Extract Merkle tree modules in new crate #2897: the PR refactor: create internal crate for Merkle tree and map #3223 has been reviewed and merged. The issue is closed
- Add data encoding and state transition tests for recursive SNARK circuit prototype #3191: the PR test(halo2_ivc): add Layer A encoding tests #3222 has been reviewed and merged, the PR fix(halo2_ivc): split slow MockProver tests into mod slow and registe… #3233 has been reviewed and merged, and the PR test(halo2_ivc): add Layer B State tests #3229 has been approved and will be merged shortly
- Detect SNARK circuit modifications in STM #3216: the PR feat(stm): detect circuit modification #3225 has been approved and will be merged shortly
- Accelerate SNARK circuit tests in CI #3162: the PR refactor(stm): Accelerate snark tests #3217 has been approved and will be merged shortly
- Test the ledger snapshot conversion in the e2e test #3213: the PR Test the ledger snapshot conversion in the e2e test #3235 has been created and is pending review
- Signer version is not recorded in the aggregator monitoring store #3227: the PR fix: authorize headers in signer relay in infra #3228 has been reviewed and merged. The issue is closed
- Support multiple tiers for tests in CI #3206: the PR ci: run rusts tests in nightly dispatcher #3226 has been reviewed and merged. The issue is closed
- Detect SNARK circuit modifications in STM #3216: the PR feat(stm): detect circuit modification #3225 is being reviewed and pending update
- Extract Merkle tree modules in new crate #2897: the PR refactor: create internal crate for Merkle tree and map #3223 has been approved and will be merged shortly
- Add data encoding and state transition tests for recursive SNARK circuit prototype #3191: the PR test(halo2_ivc): add Layer A encoding and state tests #3222 has been approved and will be merged shortly, and the PR test(halo2_ivc): add Layer B State tests #3229 has been created and is pending review
- Refactor the crates publication #3230: the issue has been created, and the PR ci: publish crates all at once #3232 has been created and is being reviewed. It will be merged shortly
- Circuit golden tests are flaky in STM #3231: the issue has been created and groomed
- Test the ledger snapshot conversion in the e2e test #3213: we have kept working on the issue
-
Release
2617distribution #2967: we have kept working on the issue
- Support multiple tiers for tests in CI #3206: the PR ci/test: multi speed tiers for tests #3221 has been reviewed and merged, and the PR ci: run rusts tests in nightly dispatcher #3226 has been created and is pending review
- Add data encoding and state transition tests for recursive SNARK circuit prototype #3191: the PR test(halo2_ivc): add Layer A encoding and state tests #3222 has been approved and will be merged shortly
- Detect SNARK circuit modifications in STM #3216: the PR feat(stm): detect circuit modification #3225 has been created and is pending review
- Extract Merkle tree modules in new crate #2897: the PR refactor: create internal crate for Merkle tree and map #3223 is pending review
- Signer version is not recorded in the aggregator monitoring store #3227: the bug issue has been created, and the PR fix: authorize headers in signer relay in infra #3228 has been created, reviewed and will be merged shortly
-
Release
2617distribution #2967: we have kept working on the issue and we expect to release the distribution next Monday
-
SNARK aggregator certification stopped on
dev-follower-preview#3183: the PR feat(stm): fixing merkle depth for all circuits #3194 has been reviewed and merged. The issue is closed -
Release
2617distribution #2967: the 2617.0 distribution pre-release has been created and deployed on thepre-release-previewnetwork. We expect to release early next week - Add golden tests for recursive SNARK circuit prototype #3125: the PR Add golden tests for IVC #3204 has been reviewed and merged. The issue is closed
- Enhance preparation of witness for the non-recursive prover in STM #3178: the PR refactor(stm): Enhance selection in witness prep #3190 has been reviewed and merged. The issue is closed
- Add data encoding and state transition tests for recursive SNARK circuit prototype #3191: the PR test(halo2_ivc): add Layer A encoding and state tests #3222 has been created and is pending review
- Support multiple tiers for tests in CI #3206: the PR ci/test: multi speed tiers for tests #3221 has been approved
- Detect SNARK circuit modifications in STM #3216: we have kept working on the issue
-
Upgrade to Cardano
10.7#2894: the PR fix: conversion of ledger state snapshot to LSM flavour #3220 has been reviewed and merged. The issue is closed - End to end tests are flaky #3205: the PR refactor(end-to-end): read transaction and block hashes from immutables files #3208 has been reviewed and merged. The issue is closed
-
Release
2617distribution #2967: the PR chore: make signer stable with1.0.0version #3219 has been reviewed and merged, and the draft PR docs: dev blog posts for2617distribution #3218 has been approved. We have kept working on the issue - Support multiple tiers for tests in CI #3206: the draft PR ci/test: multi speed tiers for tests #3221 has been created and is pending review
- Accelerate SNARK circuit tests in CI #3162: the draft PR refactor(stm): Accelerate snark tests #3217 is pending update
- Add data encoding and state transition tests for recursive SNARK circuit prototype #3191: we have kept working on the issue
-
SNARK aggregator certification stopped on
dev-follower-preview#3183: we have kept working on the issue - Add golden tests for recursive SNARK circuit prototype #3125: we have kept working on the issue
-
Release
2617distribution #2967: the PR chore: update dependencies for distribution2617#3214 has been reviewed and merged. We have kept working on the issue - Prepare production readiness for circuit keys and trusted setup in STM #3165: the issue is closed
- test(halo2_ivc): Add minimal golden tests #3125: the PR Add golden tests for IVC #3204 has been approved and will be merged shortly
-
Upgrade to Cardano
10.7#2894: we have kept working on the issue - Deterministic proof generation in golden tests #3164: we have resumed work on the issue
- Detect SNARK circuit modifications in STM #3216: the issue has been created and groomed
-
SNARK aggregator certification stopped on
dev-follower-preview#3183: we have kept working on the issue - End to end tests are flaky #3205: we have kept working on the issue
- Support multiple tiers for tests in CI #3206: we have kept working on the issue
- Nightly tests are flaky #3210: we have kept working on the issue
-
Upgrade to Cardano
10.7#2894: the PR fix: e2e compatibility rules for Cardano10.7#3209 has been reviewed and merged. We have kept working on the issue - End to end tests are flaky #3205: the PR refactor(end-to-end): read transaction and block hashes from immutables files #3208 has been approved
-
Release
2617distribution #2967: the PR chore: update dependencies for distribution2617#3214 has been created and is pending review - Nightly tests are flaky #3210: the bug issue has been created and we have started to work on it
- Support for stable/unstable versions of Open API #3211: the issue has been created and groomed
- Rust doc.rs built targets breaking-change #3212: the issue has been created and groomed
- Test the ledger snapshot conversion in the e2e test #3213: the issue has been created and groomed
-
SNARK aggregator certification stopped on
dev-follower-preview#3183: we have kept working on the issue - Support multiple tiers for tests in CI #3206: we have kept working on the issue
- Document Cardano Blocks and Transactions signature in website #3101: the PR docs: add documentation for Cardano Blocks and Transactions in website #3203 has been reviewed and merged. The issue is closed
- Prepare plan to sunset Cardano transaction signed entity type #3158: the issue is closed
-
Upgrade to Cardano
10.7#2894: the PR feat: support for Cardano10.7configuration #3187 has been reviewed and merged. We have kept working on the issue - Update explorer for Cardano Blocks and Transactions #3079: the PR feature: cardano blocks transactions certification in explorer #3207 has been created, reviewed and merged. The issue is closed
-
SNARK aggregator certification stopped on
dev-follower-preview#3183: the PR feat(stm): fixing merkle depth for all circuits #3194 is being reviewed and is pending update - Support multiple tiers for tests in CI #3206: the issue has been created and groomed and we have started to work on it
- End to end tests are flaky #3205: we have kept working on the issue and the draft PR refactor(end-to-end): read transaction and block hashes from immutables files has been created
-
Release
2617distribution #2967: we have kept working on the issue
-
Upgrade to Cardano
10.7#2894: the draft PR feat: support for Cardano10.7configuration #3187 has been approved - Document Cardano Blocks and Transactions signature in website #3101: the PR docs: add documentation for Cardano Blocks and Transactions in website #3203 has been created and is being reviewed
-
SNARK aggregator certification stopped on
dev-follower-preview#3183: the PR feat(stm): fixing merkle depth for all circuits #3194 is pending review - Prepare plan to sunset Cardano transaction signed entity type #3158: we have started to work on the issue
-
Release
2615distribution #2967: we resumed work on the issue - End to end tests are flaky #3205: the bug issue has been created and we have started to work on it
- Update explorer for Cardano Blocks and Transactions #3079: we have kept working on the issue
- Update client test in CI to check blocks and transactions #3159: the PR Run cardano transaction v2 and cardano block commands in CI #3198 has been reviewed and merged. The issue is closed
- Prepare Testing plan for IVC circuit #3124: the issue is closed
- Document Cardano Blocks and Transactions signature in website #3101: the PR docs: add documentation for Cardano Blocks and Transactions in website #3203 has been created and is pending review
-
Upgrade to Cardano
10.7#2894: the draft PR feat: support for Cardano10.7configuration #3187 has been updated - Enhance preparation of witness for the non-recursive prover in STM #3178: the PR refactor(stm): Enhance selection in witness prep #3190 has been approved and is pending review
-
SNARK aggregator certification stopped on
dev-follower-preview#3183: the draft PR feat(stm): fixing merkle depth for all circuits #3194 has been updated and is being reviewed - Update explorer for Cardano Blocks and Transactions #3079: we have kept working on the issue
- Refactor golden tests with STM certificate circuit #3195: the issue has been created
- The PR fix: anticipate Rust
1.95clippy warnings #3201 has been reviewed and merged - The PR docs(website): improve homepage SEO metadata and messaging #3199 has been reviewed and is pending update
- The PR docs(website): add Use Cases section with Wallet integration guide #3200 has been reviewed and is pending update
- Implement Cardano Blocks and Transactions in WASM client #3078: the PR Implement cardano blocks and transactions in WASM client #3179 has been reviewed and merged. The issue is closed
-
Update DMQ node to
0.4.2.0#3196: the issue has been created, the PR feat: upgrade DMQ node to0.4.2.0#3197 has been reviewed and merged. The issue is closed -
Upgrade to Cardano
10.7#2894: the PR feat: support for Cardano10.7snapshot converter #3186 has been reviewed and merged, the PR feat: support for Cardano10.7ledger state snapshot structure #3180 has been reviewed and merged, and the draft PR feat: support for Cardano10.7configuration #3187 is pending review - Prepare Testing plan for IVC circuit #3124: we have completed the work on the issue
- Document Cardano Blocks and Transactions signature in website #3101: we have started to work on the issue
- Update client test in CI to check blocks and transactions #3159: the draft PR Run cardano transaction v2 and cardano block commands in ci #3198 has been created and we have started to work on the issue
- Update explorer for Cardano Blocks and Transactions #3079: we have kept working on the issue
-
SNARK aggregator certification stopped on
dev-follower-preview#3183: we have kept working on the issue
-
Synchronize updates of non recursive circuit prototype to STM library #3121: the PR refactor(stm): Sync non-recursive circuit, reduce bit length of
lower_than#3174 has been reviewed and merged. The issue is closed - Update explorer for Cardano Blocks and Transactions #3079: the PR feat(explorer): add support for cardano blocks transactions without certification #3181 has been reviewed and merged. We have kept working on the issue
- Implement Cardano Blocks and Transactions in WASM client #3078: the PR Implement cardano blocks and transactions in WASM client #3179 has been approved and will be merged shortly
-
Upgrade to Cardano
10.7#2894: the draft PRs feat: support for Cardano10.7ledger state snapshot structure #3180, feat: support for Cardano10.7snapshot converter #3186, and feat: support for Cardano10.7configuration #3187 have been created and we have started to work on the issue -
SNARK aggregator certification stopped on
dev-follower-preview#3183: we have kept working on the issue - Prepare production readiness for circuit keys and trusted setup in STM #3165: we have kept working on the issue
- Prepare Testing plan for IVC circuit #3124: we have kept working on the issue
- Mithril node build fails in Hydra CI #3161: the PR fix(nix): nix check CA certificates failures #3184 has been reviewed and merged. The issue is closed
- Support test mode for the recursive circuit #2984: the issue is closed
- Update explorer for Cardano Blocks and Transactions #3079: the PR feat(explorer): add support for cardano blocks transactions without certification #3181 has been reviewed and will be merged shortly
-
Synchronize updates of non recursive circuit prototype to STM library #3121: the PR refactor(stm): Sync non-recursive circuit, reduce bit length of
lower_than#3174 has been reviewed and is pending update -
SNARK aggregator certification stopped on
dev-follower-preview#3183: the bug issue has been created and we have started to work on it. - Prepare production readiness for circuit keys and trusted setup in STM #3165: we have kept working on the issue
- Prepare Testing plan for IVC circuit #3124: we have kept working on the issue
- Refactor bytes codec in STM library for forward/backward compatibility #3065: the PR refactor: add versioned CBOR codec to STM #3169 has been reviewed and merged. The issue is closed
- Create recursive SNARK circuit new module in STM #3123: the PR feat: add feature-gated halo2_ivc prototype module #3171 has been reviewed and merged. The issue is closed
-
Synchronize updates of non recursive circuit prototype to STM library #3121: the PR refactor(stm): Sync non-recursive circuit, reduce bit length of
lower_than#3174 is being reviewed - Prepare production readiness for circuit keys and trusted setup in STM #3165: we have kept working on the issue
- Prepare Testing plan for IVC circuit #3124: we have kept working on the issue
- Support test mode for the recursive circuit #2984: we have kept working on the issue
- Mithril node build fails in Hydra CI #3161: we have started to work on the issue
- Update explorer for Cardano Blocks and Transactions #3079: we have kept working on the issue
-
Update DMQ node to
0.4.1.0#3114: the PR feat: upgrade DMQ node to0.4.1.0#3170 has been reviewed and merged. The issue is closed - Support partial block range in Cardano blocks and transactions #3099: the PR feat: support partial block ranges for blocks transactions certifications #3116 has been reviewed and merged. The issue is closed
- Sign security parameter offset in ProtocolMessage for Blocks and Transactions #3098: the PR Sign security parameter offset #3168 has been reviewed and merged. The issue is closed
- Create recursive SNARK circuit new module in STM #3123: the PR feat: add feature-gated halo2_ivc prototype module #3171 has been created and has been approved
- Refactor bytes codec in STM library for forward/backward compatibility #3065: the PR refactor: add versioned CBOR codec to STM #3169 is being reviewed and will be merged shortly
- Prepare Testing plan for IVC circuit #3124: we have kept working on the issue
- Support test mode for the recursive circuit #2984: we have kept working on the issue
- Prepare production readiness for circuit keys and trusted setup in STM #3165: we have kept working on the issue
- Update explorer for Cardano Blocks and Transactions #3079: we have kept working on the issue
- Update explorer for Cardano Blocks and Transactions #3079: the PR explorer: upgrade, fix lints and most vulnerabilities #3166 has been reviewed and merged
- Sign security parameter offset in ProtocolMessage for Blocks and Transactions #3098: the PR Sign security parameter offset #3168 has been updated and has been approved. It will be merged shortly
- Support partial block range in Cardano blocks and transactions #3099: the PR feat: support partial block ranges for blocks transactions certifications #3116 is approved and will be merged shortly
- Refactor bytes codec in STM library for forward/backward compatibility #3065: the PR refactor: add versioned CBOR codec to STM #3169 is being reviewed and updated
-
Update DMQ node to
0.4.0.0#3114: the PR feat: upgrade DMQ node to0.4.1.0#3170 has been created and is pending review - Support test mode for the recursive circuit #2984: we have kept working on the issue
- Prepare production readiness for circuit keys and trusted setup in STM #3165: we have started to work on the issue
- Deterministic proof generation in golden tests #3164: we have started to work on the issue
- Prepare Testing plan for IVC circuit #3124: we have started to work on the issue
-
Release
2615distribution #2967: we have kept working on the issue
- Implement SNARK proof generation and verification in end to end tests #3107: the PR feat: support SNARK proof generation #3115 has been reviewed and merged. The issue is closed
- Support partial block range in Cardano blocks and transactions #3099: the PR feat: support partial block ranges for blocks transactions certifications #3116 has been approved and will be merged shortly
- Refactor bytes codec in STM library for forward/backward compatibility #3065: the PR refactor: add versioned CBOR codec to STM #3169 has been created and is pending review
- Sign security parameter offset in ProtocolMessage for Blocks and Transactions #3098: the draft PR Sign security parameter offset #3168 has been created
- Prepare production readiness for circuit keys and trusted setup in STM #3165: the issue has been created and groomed
- Deterministic proof generation in golden tests #3164: the issue has been created and groomed
- Accelerate SNARK circuit tests in CI #3162: the issue has been created and groomed
- Mithril node build fails in Hydra CI #3161: the bug issue has been created
-
Update DMQ node to
0.4.0.0#3114: we have kept working on the issue - Support test mode for the recursive circuit #2984: we have kept working on the issue
-
Release
2615distribution #2967: we have kept working on the issue
- Implement Cardano Blocks and Transactions in client CLI #3032: the PR implement cardano blocks and transaction in client CLI #3112 has been reviewed and merged. The issue is closed
-
Upgrade
reqwestto0.13#3033: the PR chore: upgrade reqwest to0.13#3117 has been created, reviewed and merged. The issue is closed - Support partial block range in Cardano blocks and transactions #3099: the PR feat: support partial block ranges for blocks transactions certifications #3116 has been created and is pending review
- Implement SNARK proof generation and verification in end to end tests #3107: the draft PR feat: support SNARK proof generation #3115 has been approved and will be merged shortly
-
Update DMQ node to
0.4.0.0#3114: we have started to work on the issue - Sign security parameter offset in ProtocolMessage for Blocks and Transactions #3098: we have kept working on the issue
- Refactor bytes codec in STM library for forward/backward compatibility #3065: we have kept working on the issue
- Support test mode for the recursive circuit #2984: we have kept working on the issue
-
Release
2615distribution #2967: we have kept working on the issue
- Update release process to anticipate on unreleased Cardano node #3070: the PR feat: upgrade release process #3113 has been reviewed and merged. The issue is closed
- Implement Cardano Blocks and Transactions in client CLI #3032: the PR implement cardano blocks and transaction in client CLI #3112 has been approved and will be merged shortly
-
Activate SNARK prover in
devnetwork #3104: the PR feat: deploy SNARK prover indevnetworks #3105 has been reviewed and merged. The issue is closed - Implement SNARK proof generation and verification in end to end tests #3107: the draft PR feat: support SNARK prover in e2e tests #3110 has been updated
- Sign security parameter offset in ProtocolMessage for Blocks and Transactions #3098: we have kept working on the issue
- Support partial block range in Cardano blocks and transactions #3099: we have kept working on the issue
-
Release
2615distribution #2967: we have kept working on the issue -
Update DMQ node to
0.4.0.0#3114: the issue has been created and groomed. We have started to work on it
- SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3042: the PR feat: wire SNARK proof in aggregate signature #3103 has been reviewed and merged. The issue is closed
- Update release process to anticipate on unreleased Cardano node #3070: the PR feat: upgrade release process #3113 has been created and is pending review
-
Activate SNARK prover in
devnetwork #3104: the PR feat: deploy SNARK prover indevnetworks #3105 is pending review - Implement Cardano Blocks and Transactions in client CLI #3032: the PR implement cardano blocks and transaction in client CLI #3112 is being reviewed
- Implement SNARK proof generation and verification in end to end tests #3107: the draft PR feat: support SNARK prover in e2e tests #3110 has been updated
- Sign security parameter offset in ProtocolMessage for Blocks and Transactions #3098: we have kept working on the issue
- Support partial block range in Cardano blocks and transactions #3099: we have kept working on the issue
-
Release
2614distribution #2967: we have kept working on the issue
- SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3042: the PR feat: wire SNARK proof in aggregate signature #3103 has been reviewed and updated. It will be merged shortly
- Implement Cardano Blocks and Transactions in client CLI #3032: the PR implement cardano blocks and transaction in client CLI #3112 is pending review
- Implement SNARK proof generation and verification in end to end tests #3107: the draft PR feat: support SNARK prover in e2e tests #3110 has been updated
-
Activate SNARK prover in
devnetwork #3104: the draft PR feat: deploy SNARK prover indevnetworks #3105 has been updated. We have been able to create some SNARK proofs in the dev network 🎉 - Sign security parameter offset in ProtocolMessage for Blocks and Transactions #3098: we have started to work on the issue
- Support partial block range in Cardano blocks and transactions #3099: we have started to work on the issue
- Update release process to anticipate on unreleased Cardano node #3070: we have kept working on the issue
-
Release
2614distribution #2967: we have kept working on the issue
-
testing-previewcertification stopped #3106: the PR fix: diffusion of inconsistents network configs from leader aggregator #3111 has been reviewed and merged. The issue is closed -
SNARK registration is slow #3097: the PR fix(stm): fixed
compute_snark_avktest taking too long #3109 has been reviewed and merged. The issue is closed -
Update DMQ node to
0.3.0.0#3054: the PR feat: upgrade DMQ node to0.3.0.1#3108 has been reviewed and merged. The issue is closed - Implement example(s) for Cardano Blocks and Transactions #3100: the PR Implement examples for block and transactions #3102 has been reviewed and merged. The issue is closed
- SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3042: the PR feat: wire SNARK proof in aggregate signature #3103 has been updated and is pending review
- Implement Cardano Blocks and Transactions in client CLI #3032: the draft PR implement cardano blocks and transaction in client CLI #3112 has been created
- Implement SNARK proof generation and verification in end to end tests #3107: the draft PR feat: support SNARK prover in e2e tests #3110 has been updated
-
Activate SNARK prover in
devnetwork #3104: the draft PR feat: deploy SNARK prover indevnetworks #3105 has been updated - Implement Cardano Blocks and Transactions in WASM client #3078: we have kept working on the issue
- Update release process to anticipate on unreleased Cardano node #3070: we have kept working on the issue
-
Release
2614distribution #2967: we have kept working on the issue
-
Remove
v1backend for Cardano database in client library and CLI #3080: the PR feat(client): decommission Cardano DB v1 backend in client library and CLI #3088 has been reviewed and merged. The issue is closed -
testing-previewcertification stopped #3106: the bug issue has been created. The PR fix: diffusion of inconsistents network configs from leader aggregator #3111 has been created and is pending review - SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3042: the PR feat: wire SNARK proof in aggregate signature #3103 has been reviewed and is pending review
- Implement example(s) for Cardano Blocks and Transactions #3100: the PR Implement examples for block and transactions #3102 is being reviewed
-
SNARK registration is slow #3097: the draft PR fix(stm): fixed
compute_snark_avktest taking too long #3109 has been created - Implement SNARK proof generation and verification in end to end tests #3107: the issue has been created and groomed. The draft PR feat: support SNARK prover in e2e tests #3110 has been created
-
Activate SNARK prover in
devnetwork #3104: the draft PR feat: deploy SNARK prover indevnetworks #3105 has been updated -
Update DMQ node to
0.3.0.0#3054: the PR feat: upgrade DMQ node to0.3.0.1#3108 has been created and is pending review - Implement Cardano Blocks and Transactions in WASM client #3078: we have started to work on the issue
- Implement Cardano Blocks and Transactions in client CLI #3032: we have kept working on the issue
- Update release process to anticipate on unreleased Cardano node #3070: we have kept working on the issue
-
Release
2614distribution #2967: we have kept working on the issue
- SNARK aggregation primitives: Verify SNARK proof #3041: the PR feat(stm): Verify SNARK proof #3090 has been reviewed and merged. The issue is closed
- SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3042: the PR feat: wire SNARK proof in aggregate signature #3103 is pending review
-
Remove
v1backend for Cardano database in client library and CLI #3080: the PR feat(client): decommission Cardano DB v1 backend in client library and CLI #3088 has been approved and will be merged shortly - Implement example(s) for Cardano Blocks and Transactions #3100: the PR Implement examples for block and transactions #3102 has been reviewed and is pending update
-
Activate SNARK prover in
devnetwork #3104: the issue has been created and groomed. The draft PR feat: deploy SNARK prover indevnetworks #3105 has been created - Implement Cardano Blocks and Transactions in client CLI #3032: we have kept working on the issue
- Update release process to anticipate on unreleased Cardano node #3070: we have kept working on the issue
-
Release
2614distribution #2967: we have kept working on the issue
- Enhance the support for signed entity types with configuration #3030: the PR feat: avoid storage and diffusion of unconsistent network configuration and epoch settings #3095 has been reviewed and merged. The issue is closed
- Implement Cardano Blocks and Transactions in client library #3031: the PR implement list of transactions proofs and artifacts v2 in client #3083 has been reviewed and merged. The issue is closed
- SNARK aggregation primitives: Verify SNARK proof #3041: the PR feat(stm): Verify SNARK proof #3090 has been updated and is being reviewed
- SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3042: the draft PR feat: wire SNARK proof in aggregate signature #3103 has been created
- Implement Cardano Blocks and Transactions in client CLI #3032: we have started to work on the issue
- Update release process to anticipate on unreleased Cardano node #3070: we have kept working on the issue
-
Release
2614distribution #2967: we have kept working on the issue -
Remove
v1backend for Cardano database in client library and CLI #3080: the PR feat(client): decommission Cardano DB v1 backend in client library and CLI #3088 is pending update - Implement example(s) for Cardano Blocks and Transactions #3100: the issue has been created and groomed. The draft PR Implement examples for block and transactions #3102 has been created
- Document Cardano Blocks and Transactions signature in website #3101: the issue has been created and groomed
- Sign security parameter offset in ProtocolMessage for Blocks and Transactions #3098: the issue has been created and groomed
- Support partial block range in Cardano blocks and transactions #3099: the issue has been created and groomed
- SNARK registration is slow #3097: the issue has been created and groomed
- Switch transcript hash function of circuit #3067: the PR feat(halo2): switch Halo2 transcript hash to Poseidon #3096 has been created, reviewed and merged. The issue is closed
- SNARK aggregation primitives: Verify SNARK proof #3041: the PR feat(stm): Verify SNARK proof #3090 has been updated and is being reviewed
- Enhance the support for signed entity types with configuration #3030: the PR feat: avoid storage and diffusion of unconsistent network configuration and epoch settings #3095 has been created and is pending review
-
Remove
v1backend for Cardano database in client library and CLI #3080: the PR feat(client): decommission Cardano DB v1 backend in client library and CLI #3088 is pending update - Implement Cardano Blocks and Transactions in client library #3031: the draft PR WIP: implement list of transactions proofs and artifacts v2 in client #3083 has been updated
- SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3042: we have kept working on the issue
- Update release process to anticipate on unreleased Cardano node #3070: we have started to work on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Implement static build of Mithril nodes in CI #2989: the PR feat: implement static builds for Mithril nodes in CI #2998 has been merged. The issue is closed
- Refactor SNARK circuit - Modularity enhancement with gadgets #3039: the PR refactor(halo2): modularity enhancement #3089 has been reviewed and merged. The issue is closed
- SNARK aggregation primitives: Create SNARK proof with circuit #3040: the PR feat(stm): Create SNARK proof with circuit #3093 has been reviewed and merged. The issue is closed
- SNARK aggregation primitives: Verify SNARK proof #3041: the PR feat(stm): Verify SNARK proof #3090 has been updated and is being reviewed
- Implement new prover for blocks and transactions #2987: the PR perf: add prover v2 benchmark script #3094 has been created, reviewed and merged. The issue is closed
-
Remove
v1backend for Cardano database in client library and CLI #3080: the PR feat(client): decommission Cardano DB v1 backend in client library and CLI #3088 has been updated and is being reviewed - Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
-
Release
2608distribution #2967: we have kept working on the issue
-
Test DMQ node
0.3.0pre-release in Mithril nodes #3053: the PR feat: upgrade DMQ node to0.3.0.0-pre#3086 has been reviewed and merged. The issue is closed - Prepare technical report for recursive Halo2 circuit #2981: the issue is closed
- Update Midnight ZK library audit status #2983: the issue is closed
- SNARK aggregation primitives: Verify SNARK proof #3041: the PR feat(stm): Verify SNARK proof #3090 has been reviewed and is pending update
- Refactor SNARK circuit - Modularity enhancement with gadgets #3039: the PR refactor(halo2): modularity enhancement #3089 has been updated and is being reviewed
-
Remove
v1backend for Cardano database in client library and CLI #3080: the PR feat(client): decommission Cardano DB v1 backend in client library and CLI #3088 has been updated and is being reviewed - Implement static build of Mithril nodes in CI #2989: the PR feat: implement static builds for Mithril nodes in CI #2998 has been updated and reviewed. It will be merged shortly
- SNARK aggregation primitives: Create SNARK proof with circuit #3040: the draft PR feat(stm): Create SNARK proof with circuit #3093 has been created
- Implement new prover for blocks and transactions #2987: we have kept working on the issue
- Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- The PR infra: upgrade
pre-release-previewanddev-previewVM #3092 has been created, reviewed and merged
- SNARK aggregation primitives: Prepare prover witness #2887: the PR feat(stm): Prepare Prover Witness #3075 has been merged. The issue is closed
- Implement new prover for blocks and transactions #2987: the PR feat: add "v2" prover for blocks and transactions #3085 has been merged
- SNARK aggregation primitives: Verify SNARK proof #3041: the PR feat(stm): Verify SNARK proof #3090 has been created and is being reviewed
- Refactor SNARK circuit - Modularity enhancement with gadgets #3039: the PR refactor(halo2): modularity enhancement #3089 has been created and is pending review
-
Remove
v1backend for Cardano database in client library and CLI #3080: the PR feat(client): decommission Cardano DB v1 backend in client library and CLI #3088 has been created and is pending review -
Test DMQ node
0.3.0pre-release in Mithril nodes #3053: the PR feat: upgrade DMQ node to0.3.0.0-pre#3086 has been updated and is pending review - Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
- Implement static build of Mithril nodes in CI #2989: the PR feat: implement static builds for Mithril nodes in CI #2998 has been updated
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
-
Release
2608distribution #2967: we have kept working on the issue - The PR docs: add dev blog post about new mainnet protocol parameters #3087 has been reviewed and merged
- Cardano database artifacts on IPFS - MVP #3091: the roadmap issue has been created
- Refactor SNARK circuit - Naming alignment #3038: the PR refactor(halo2): align circuit's naming to STM #3084 has been merged. The issue is closed
- Adapt certificate chain to support SNARK AVK #2811: the PR feat: SNARK-friendly certificate chain #3073 has been reviewed and merged. The issue is closed
- Implement new prover for blocks and transactions #2987: the PR feat: add "v2" prover for blocks and transactions #3085 has been reviewed and approved
- SNARK aggregation primitives: Prepare prover witness #2887: the PR feat(stm): Prepare Prover Witness #3075 has been updated and reviewed. It will be merged shortly
- Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
-
Test DMQ node
0.3.0pre-release in Mithril nodes #3053: we have kept working on the issue -
Remove
v1backend for Cardano database in client library and CLI #3080: we have kept working on the issue - Implement static build of Mithril nodes in CI #2989: the draft PR feat: implement static builds for Mithril nodes in CI #2998 has been updated
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
-
Release
2608distribution #2967: we have kept working on the issue - Refactor SNARK circuit - Modularity enhancement with gadgets #3039: we have started to work on the issue
- SNARK aggregation primitives: Verify SNARK proof #3041: we have started to work on the issue
- The PR docs: add dev blog post about new mainnet protocol parameters #3087 has been created and is pending review
- Refactor SNARK circuit - Naming alignment #3038: the PR refactor(halo2): align circuit's naming to STM #3084 has been approved and will be merged shortly
- SNARK aggregation primitives: Prepare prover witness #2887: the PR feat(stm): Prepare Prover Witness #3075 has been updated and is being reviewed
- Adapt certificate chain to support SNARK AVK #2811: the PR feat: SNARK-friendly certificate chain #3073 has been updated and is being reviewed
- Implement new prover for blocks and transactions #2987: the PR feat: add "v2" prover for blocks and transactions #3085 has been created and is pending review
- Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
-
Test DMQ node
0.3.0pre-release in Mithril nodes #3053: the draft PR feat: upgrade DMQ node to0.3.0.0-pre#3086 has been created -
Remove
v1backend for Cardano database in client library and CLI #3080: we have kept working on the issue - Implement static build of Mithril nodes in CI #2989: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- We have checked if KES keys needed to be rotated with our test SPOs
-
Compute the Lottery Target Value in
MerkleTreeSnarkLeaf#3068: the PR feat(stm): Compute the Lottery Target Value inMerkleTreeSnarkLeaf#3082 has been updated, reviewed and merged. The issue is closed - Refactor SNARK circuit - Naming alignment #3038: the PR refactor(halo2): align circuit's naming to STM #3084 has been created and is being reviewed
- SNARK aggregation primitives: Prepare prover witness #2887: the PR feat(stm): Prepare Prover Witness #3075 has been updated and is being reviewed
- Adapt certificate chain to support SNARK AVK #2811: the PR feat: SNARK-friendly certificate chain #3073 is being reviewed
- Implement new prover for blocks and transactions #2987: we have kept working on the issue
- Implement Cardano Blocks and Transactions in client library #3031: the draft PR WIP: implement list of transactions proofs and artifacts v2 in client #3083 has been updated
- Implement static build of Mithril nodes in CI #2989: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Refactor SNARK circuit - Midnight library decoupling #3037: the PR refactor(halo2): Decouple circuit from Midnight types #3076 has been updated, reviewed and merged. The issue is closed
-
Cardano blocks and transaction import very slow in
devaggregators #3050: the issue is closed - Implement new prover for blocks and transactions #2987: we have kept working on the issue
- SNARK aggregation primitives: Prepare prover witness #2887: the PR feat(stm): Prepare Prover Witness #3075 has been reviewed and is pending update
- Adapt certificate chain to support SNARK AVK #2811: the PR feat: SNARK-friendly certificate chain #3073 is pending review
-
Compute the Lottery Target Value in
MerkleTreeSnarkLeaf#3068: the PR feat(stm): Lottery Target Value inMerkleTreeSnarkLeaf#3082 is pending review and will be merged shortly - Implement Cardano Blocks and Transactions in client library #3031: the draft PR WIP: implement list of transactions proofs and artifacts v2 in client #3083 has been created
- Implement static build of Mithril nodes in CI #2989: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Refactor SNARK circuit - Naming alignment #3038: we have kept working on the issue
-
Test DMQ node
0.3.0pre-release in Mithril nodes #3053: we have kept working on the issue -
Remove
v1backend for Cardano database in client library and CLI #3080: we have started to work on the issue - We have also presented our monthly review
- Refactor the prototype recursive circuit state transition functions #3069: the issue is closed
- Implement new prover for blocks and transactions #2987: the PR refactor+test: prover preparatory work #3072 has been merged
- Refactor SNARK circuit - Midnight library decoupling #3037: the PR refactor(halo2): Decouple circuit from Midnight types #3076 is being reviewed and is pending update
- SNARK aggregation primitives: Prepare prover witness #2887: the PR feat(stm): Prepare Prover Witness #3075 is being reviewed
- Adapt certificate chain to support SNARK AVK #2811: the draft PR feat: SNARK-friendly certificate chain #3073 has been updated
-
Cardano blocks and transaction import very slow in
devaggregators #3050: the PR perf: fix cardano blocks with transactions retrieval inmainnetnetwork #3081 has been created, reviewed and merged - Implement static build of Mithril nodes in CI #2989: the draft PR feat: implement static builds for Mithril nodes in CI #2998 has been updated
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
-
Compute the Lottery Target Value in
MerkleTreeSnarkLeaf#3068: the draft PR feat(stm): Lottery Target Value inMerkleTreeSnarkLeaf#3082 has been created - Refactor SNARK circuit - Naming alignment #3038: we have started to work on the issue
- Refactor SNARK circuit - Type consistency #3036: the PR refactor(stm): Ensuring type consistency for SNARK circuit #3071 has been created, reviewed and merged. The issue is closed
- Implement new prover for blocks and transactions #2987: the PR refactor+test: prover preparatory work #3072 is ready to be merged
- Refactor SNARK circuit - Midnight library decoupling #3037: the PR refactor(halo2): Decouple circuit from Midnight types #3076 has been created and is pending review
- SNARK aggregation primitives: Prepare prover witness #2887: the draft PR feat(stm): Prepare Prover Witness #3075 has been updated
- Adapt certificate chain to support SNARK AVK #2811: the draft PR feat: SNARK-friendly certificate chain #3073 has been updated
-
Cardano blocks and transaction import very slow in
devaggregators #3050: the issue has been reopened - Implement static build of Mithril nodes in CI #2989: the draft PR feat: implement static builds for Mithril nodes in CI #2998 has been updated
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Release 2608 distribution #2967: we have kept working on the issue
- Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
- The PR fix: apply cargo sort -w following release of version 2.1.1 #3077 has been created, reviewed and merged
- Implement Cardano Blocks and Transactions in WASM client #3078: the issue has been created and groomed
- Update explorer for Cardano Blocks and Transactions #3079: the issue has been created and groomed
- Remove v1 backend for Cardano database in client library and CLI #3080: the issue has been created and groomed
- Integrate Mithril into the Cardano developer documentation website #3012: the PRs Add Mithril builder tool #1735 and Integrate Mithril into the Cardano Developer Portal #1736 have been reviewed and merged. The issue is closed
- SNARK pre-aggregation primitives in STM library - Phase 2 #2943: the PR feat(stm): Signer and Signature for SNARK Proof System #3009 has been reviewed and merged. The issue is closed
- Improve DMQ node setup documentation #3062: the PR docs: fix DMQ setup documentation #3063 has been reviewed and merged. The issue is closed
- Refactor SNARK circuit - Error handling #3035: the PR refactor(stm): error handling #3055 has been updated, reviewed and merged. The issue is closed
- Integrate Mithril into the Cardano developer documentation website #3012: the PRs Add Mithril builder tool #1735 and Integrate Mithril into the Cardano Developer Portal #1736 have been reviewed and merged. The issue is closed
- Refactor SNARK circuit - Type consistency #3036: the PR refactor(stm): Ensuring type consistency for SNARK circuit #3071 has been created and is pending review
- Refactor SNARK circuit - Midnight library decoupling #3037: we have started to work on the issue
- Adapt certificate chain to support SNARK AVK #2811: the draft PR feat: SNARK-friendly certificate chain #3073 has been created
- Implement new prover for blocks and transactions #2987: the PR refactor+test: prover preparatory work #3072 has been created and is pending review
-
Cardano blocks and transaction import very slow in
devaggregators #3050: the issue has been reopened as we still have slow import ondev-mainnetnetwork - Implement static build of Mithril nodes in CI #2989: the draft PR feat: implement static builds for Mithril nodes in CI #2998 has been updated
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
- We have also verified that our test SPOs did not need to be KES rotated
- SNARK pre-aggregation primitives in STM library - Phase 2 #2943: the PR feat(stm): Signer and Signature for SNARK Proof System #3009 has been reviewed and merged. The issue is closed
- Improve DMQ node setup documentation #3062: the PR docs: fix DMQ setup documentation #3063 has been reviewed and merged. The issue is closed
- Refactor SNARK circuit - Error handling #3035: the PR refactor(stm): error handling #3055 has been reviewed and is pending update
- Refactor SNARK circuit - Type consistency #3036: we have kept working on the issue
- Implement static build of Mithril nodes in CI #2989: the draft PR feat: implement static builds for Mithril nodes in CI #2998 has been updated
- Implement new prover for blocks and transactions #2987: we have kept working on the issue
- Prepare technical report for recursive Halo2 circuit #2981: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Release 2608 distribution #2967: we have kept working on the issue
- Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
- Integrate Mithril into the Cardano developer documentation website #3012: the PRs Add Mithril builder tool #1735 and Integrate Mithril into the Cardano Developer Portal #1736 are being reviewed
- Update release process to anticipate on unreleased Cardano node #3070: the issue has been created and groomed
- Refactor SNARK circuit - Domain Separation Tag alignment #3022: the PR refactor(stm): align circuit domain separation tags #3051 has been merged. The issue is closed
- Add negative tests in STM #2946: the PR test(stm): add negative single-signature tests #2985 has been merged. The issue is closed
-
Cardano blocks and transaction import very slow in
devaggregators #3050: the PR refactor: rework sqlite connection pool #3060 has been reviewed and merged - Prepare upgrade to Rust 1.94.0 #3061: the issue is closed
- Refactor SNARK circuit - Error handling #3035: the PR refactor(stm): error handling #3055 is being updated
- Refactor SNARK circuit - Type consistency #3036: we have started to work on the issue
- SNARK pre-aggregation primitives in STM library - Phase 2 #2943: the PR feat(stm): Signer and Signature for SNARK Proof System #3009 is being updated
- Implement static build of Mithril nodes in CI #2989: the draft PR feat: implement static builds for Mithril nodes in CI #2998 has been updated
- Implement new prover for blocks and transactions #2987: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Release 2608 distribution #2967: we have kept working on the issue
- Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
- Integrate Mithril into the Cardano developer documentation website #3012: the PRs Add Mithril builder tool #1735 and Integrate Mithril into the Cardano Developer Portal #1736 have been created and are pending review
- Improve DMQ node setup documentation #3062: the issue has been created and groomed. The PR docs: fix DMQ setup documentation #3063 has been created and is pending review
- The PR fix: apply cargo sort -w formatting following its 2.1 version #3064 has been created, reviewed and merged
- Refactor bytes codec in STM library for forward/backward compatibility #3065: the issue has been created and groomed
- Refactoring and enhancements for SNARK-friendly STM #3066: the issue has been created and groomed
- Switch transcript hash function of circuit #3067: the issue has been created and groomed
- Compute the Lottery Target Value in MerkleTreeSnarkLeaf #3068: the issue has been created and groomed
- We have also created a new guide with Pull Request Guidelines
- Support upgrade of Cardano node without new Mithril distribution #3058: the PR feat(ci): manually trigger Pre-Release and Release workflows #3059 has been merged. The issue is closed
- Upgrade to Cardano 10.6 #2790: the rollout to all networks has been completed. The issue is closed
- Add negative tests in STM #2946: the PR test(stm): add negative single-signature tests #2985 has been merged. The issue is closed
- Refactor SNARK circuit - Domain Separation Tag alignment #3022: the PR refactor(stm): align circuit domain separation tags #3051 has been approved
- Refactor SNARK circuit - Error handling #3035: the PR refactor(stm): error handling #3055 has been updated, reviewed and is pending update
- Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943: the PR feat(stm): Signer and Signature for SNARK Proof System #3009 is being updated
-
Cardano blocks and transaction import very slow in
devaggregators #3050: the PR refactor: rework sqlite connection pool #3060 is being reviewed - Implement static build of Mithril nodes in CI #2989: the draft PR feat: implement static builds for Mithril nodes in CI #2998 has been updated
- Implement new prover for blocks and transactions #2987: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Release 2608 distribution #2967: we have kept working on the issue
- Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
- Prepare upgrade to Rust 1.94.0 #3061: the issue has been created and groomed
- Support for authenticated signer registration for SNARK #2915: the PR feat: authenticated SNARK signer registration #3016 has been reviewed, updated and merged. The issue is closed
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988: the PR feat(aggregator): implement v2 routes for cardano transaction and block proofs #3005 has been merged. The issue is closed
- Calibrate precision and Taylor expansion iterations for Lottery Target value computation #3034: the PR refactor(stm): Fix the number of iterations for lottery target computation #3046 has been merged. The issue is closed
- Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943: the PR feat(stm): Signer and Signature for SNARK Proof System #3009 is being updated
- Refactor SNARK circuit - Domain Separation Tag alignment #3022: the PR refactor(stm): align circuit domain separation tags #3051 has been updated and is being reviewed
- Refactor SNARK circuit - Error handling #3035: the PR refactor(stm): error handling #3055 has been updated and is being reviewed
- Add negative tests in STM #2946: the PR test(stm): add negative single-signature tests #2985 has been approved and will be merged shortly
- Implement static build of Mithril nodes in CI #2989: the draft PR feat: implement static builds for Mithril nodes in CI #2998 is pending update
- Upgrade to Cardano 10.6 #2790: we have rolled out the new version to all of the testing networks, and we will start rolling out to (pre)-release networks shortly
- Implement new prover for blocks and transactions #2987: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Release 2608 distribution #2967: we have kept working on the issue
- Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
- Support upgrade of Cardano node without new Mithril distribution #3058: the issue has been created and groomed. The PR feat(ci): manually trigger Pre-Release and Release workflows #3059 has been created and is pending review
- Support for authenticated signer registration for SNARK #2915: the PR feat: authenticated SNARK signer registration #3016 has been updated and is being reviewed
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988: the PR feat(aggregator): implement v2 routes for cardano transaction and block proofs #3005 has been approved. It will be merged shortly
- Implement static build of Mithril nodes in CI #2989: the draft PR WIP: implement static build for mithril nodes in ci #2998 has been updated
- Upgrade to Cardano 10.6 #2790: we are still rolling out the new version of the Cardano node to the dev networks
- Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943: the PR feat(stm): Signer and Signature for SNARK Proof System #3009 is being updated
- Implement new prover for blocks and transactions #2987: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Release 2608 distribution #2967: we have kept working on the issue
- Calibrate precision and Taylor expansion iterations for Lottery Target value computation #3034: the PR refactor(stm): Fix the number of iterations for lottery target computation #3046 has been approved and will be merged shortly
- Add negative tests in STM #2946: the PR test(stm): add negative single-signature tests #2985 is pending review
-
Cardano blocks and transaction import very slow in
devaggregators #3050: we have kept working on the issue. The PR perf: optimize blocks and transactions retrieval from sqlite #3057 has been created, reviewed and merged. The issue is closed - Refactor SNARK circuit - Domain Separation Tag alignment #3022: the PR refactor(stm): align circuit domain separation tags #3051 has been reviewed and is pending update
- Refactor SNARK circuit - Error handling #3035: the PR refactor(stm): error handling #3055 has been created and is being reviewed
- Implement Cardano Blocks and Transactions in client library #3031: we have kept working on the issue
- Transaction proof route performance regression #3056: the issue has been created. The PR perf: optimize blocks and transactions retrieval from sqlite #3057 has been created, reviewed and merged. The issue is closed
- We have also checked that we didn't need to rotate KES keys of our test SPOs
- Support for authenticated signer registration for SNARK #2915: the PR feat: authenticated SNARK signer registration #3016 is pending update
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988: the PR feat(aggregator): implement v2 routes for cardano transaction and block proofs #3005 has been approved. It will be merged shortly
- Implement static build of Mithril nodes in CI #2989: the draft PR WIP: implement static build for mithril nodes in ci #2998 has been updated
- Upgrade to Cardano 10.6 #2790: we are still rolling out the new version of the Cardano node to the dev networks
- Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943: the PR feat(stm): Signer and Signature for SNARK Proof System #3009 is pending update
- Implement new prover for blocks and transactions #2987: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Release 2608 distribution #2967: we have kept working on the issue. We have kept imvestigating a blocking problem. We expect to release early next week
- Calibrate precision and Taylor expansion iterations for Lottery Target value computation #3034: the PR refactor(stm): Fix the number of iterations for lottery target computation #3046 is pending review
- Add negative tests in STM #2946: the PR test(stm): add negative single-signature tests #2985 is pending review
-
Cardano blocks and transaction import stalled in
devaggregators #3050: the PR fix: add timeout to Pallas chainsync calls in Pallas chain reader #3052 has been created, reviewed and merged. We have finally identified the source of the problem and a PR will be created shortly - Refactor SNARK circuit - Domain Separation Tag alignment #3022: the PR refactor(stm): align circuit domain separation tags #3051 has been created and is pending review
- Decentralize Signer Registration - Feasibility #3049: the issue has been created and groomed
-
Test DMQ node
0.3.0pre-release in Mithril nodes #3053: the issue has been created and groomed -
Update DMQ node to
0.3.0#3054: the issue has been created and groomed
- Support for authenticated signer registration for SNARK #2915: the PR feat: authenticated SNARK signer registration #3016 has been reviewed and is pending update
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988: the PR feat(aggregator): implement v2 routes for cardano transaction and block proofs #3005 has been updated and approved
- Implement static build of Mithril nodes in CI #2989: the draft PR WIP: implement static build for mithril nodes in ci #2998 has been updated
- Upgrade to Cardano 10.6 #2790: we are still rolling out the new version of the Cardano node to the dev networks
- Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943: the PR feat(stm): Signer and Signature for SNARK Proof System #3009 has reviewed and is pending update
- Implement new prover for blocks and transactions #2987: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Release 2608 distribution #2967: we expect to create the new pre-release once we have fixed a problem we have identified in the unstable version
-
Some unit tests are flaky with
future_snarkfeature #3017: the PR fix: flakiness in STM tests with future_snark in CI #3026 has been reviewed and merged. The issue is closed - Calibrate precision and Taylor expansion iterations for Lottery Target value computation #3034: the PR refactor(stm): Fix the number of iterations for lottery target computation #3046 is pending review
- Add negative tests in STM #2946: the PR test(stm): add negative single-signature tests #2985 is pending review
- Update throttling parameters of Cardano blocks and transactions import #3047: the PR perf: tune cardano blocks and transactions import throttling #3048 has been created, reviewed and merged. The issue is closed
-
Cardano blocks and transaction import stalled in
devaggregators #3050: the bug issue has been created - Decentralize Signer Registration - Feasibility #3049: the roadmap issue has been created
- Support for authenticated signer registration for SNARK #2915: the PR feat: authenticated SNARK signer registration #3016 is pending review
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988: the PR feat(aggregator): implement v2 routes for cardano transaction and block proofs #3005 has been reviewed and approved. It will be merged shortly
- Implement static build of Mithril nodes in CI #2989: the draft PR WIP: implement static build for mithril nodes in ci #2998 has been updated
- Upgrade to Cardano 10.6 #2790: we are still rolling out the new version of the Cardano node to the dev networks
- Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943: the PR feat(stm): Signer and Signature for SNARK Proof System #3009 is being reviewed
- Implement new prover for blocks and transactions #2987: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Release 2608 distribution #2967: we have kept working on the issue. We expect to create the pre-release tomorrow
-
Some unit tests are flaky with
future_snarkfeature #3017: the draft PR fix: flakiness in STM tests with future_snark in CI #3026 has been updated. We have probably identified the source of the flakiness and we are working on a fix - Calibrate precision and Taylor expansion iterations for Lottery Target value computation #3034: the PR refactor(stm): Fix the number of iterations for lottery target computation #3046 has been created and is pending review
- Add negative tests in STM #2946: the PR test(stm): add negative single-signature tests #2985 is pending review
- Support for authenticated signer registration for SNARK #2915: the PR feat: authenticated SNARK signer registration #3016 is pending review
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988: the PR feat(aggregator): implement v2 routes for cardano transaction and block proofs #3005 has been updated and is pending final update before merge
- Implement static build of Mithril nodes in CI #2989: the draft PR WIP: implement static build for mithril nodes in ci #2998 is still in progress
- Upgrade to Cardano 10.6 #2790: we are still rolling out the new version of the Cardano node to the dev networks
- Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943: the PR feat(stm): Signer and Signature for SNARK Proof System #3009 is being reviewed
- Implement new prover for blocks and transactions #2987: we have kept working on the issue
- Full review of recursive SNARK circuit prototype #2982: we have kept working on the issue
- Release 2608 distribution #2967: we have kept working on the issue. The draft PRs docs: update CHANGELOG with 2608.0 distribution #3021 and docs: rotate documentation for 2608 distribution #3020 are in progress
-
Client CLI proposes to restore a Legacy UTxO-HD snapshot above
10.6.2#3029: the bug issue has been created. The PR Remove legacy db restauration message for version 10 6 2 and upper #3044 has been created, reviewed and approved -
Cardano blocks and transaction import fails on
dev-mainnet#3028: the bug issue has been created. We have worked on the issue and a PR will be created shortly -
Some unit tests are flaky with
future_snarkfeature #3017: the draft PR fix: flakiness in STM tests with future_snark in CI #3026 is in progress - Refactor SNARK circuit - Error handling #3035: the issue has been created and groomed
- Refactor SNARK circuit - Type consistency #3036: the issue has been created and groomed
- Refactor SNARK circuit - Midnight library decoupling #3037: the issue has been created and groomed
- Refactor SNARK circuit - Naming alignment #3038: the issue has been created and groomed
- Refactor SNARK circuit - Modularity enhancement with gadgets #3039: the issue has been created and groomed
- Refactor SNARK circuit - Domain Separation Tag alignment #3022: the issue has been created and groomed
- Calibrate precision and Taylor expansion iterations for Lottery Target value computation #3034: the issue has been created and groomed
- Enhance the support for signed entity types with configuration #3030: the issue has been created and groomed
- Implement Cardano Blocks and Transactions in client library #3031: the issue has been created and groomed
- Implement Cardano Blocks and Transactions in client CLI #3032: the issue has been created and groomed
-
Upgrade
reqwestto0.13#3033: the issue has been created and groomed - SNARK aggregation primitives: Create SNARK proof with circuit #3040: the issue has been created and groomed
- SNARK aggregation primitives: Verify SNARK proof #3041: the issue has been created and groomed
- SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3042: the issue has been created and groomed
- SNARK aggregation primitives: Circuit verification key management #3043: the issue has been created and groomed
- Support for authenticated signer registration for SNARK #2915: the PR feat: authenticated SNARK signer registration #3016 has been updated and is pending review
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API: the PR feat(aggregator): implement v2 routes for cardano transaction and block proofs has been updated and is pending review
- Implement static build of Mithril nodes in CI: the draft PR WIP: implement static build for mithril nodes in ci #2998 has been updated
- Upgrade to Cardano 10.6: we are rolling out the new version of the Cardano node to the dev networks
- Implement new prover for blocks and transactions: we have kept working on the issue
- Implement SNARK pre-aggregation primitives in STM library - Phase 2: the draft PR feat(stm): Signer and Signature for SNARK Proof System#3009 has been updated and is being reviewed
- Full review of recursive SNARK circuit prototype: we are working on this issue
- Release 2608 distribution: we have kept working on the issue
- Aggregator in testing-preview panics at startup: we have created the bug issue. The PRs fix: panic at startup in aggregator #3024 and fix: panic at startup in aggregator v2 #3025 have been created, reviewed and merged. The problem is fixed and the issue is closed.
- We have also checked if some test SPOs we operate needed their KES keys rotated
- Compute Lottery Target Value for SNARK #2974: the PR feat(stm): Lottery target value computation for snark proof #2958 has been merged. The issue is closed
- Support for authenticated signer registration for SNARK #2915: the draft PR feat: authenticated SNARK signer registration #3016 has been updated
- Remove off-circuit module in Halo2 circuit: the PR refactor(snark): remove halo2/off-circuit and switch to STM types #3002 has been merged. The issue is closed
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API: the PR feat(aggregator): implement v2 routes for cardano transaction and block proofs is pending update
- Implement static build of Mithril nodes in CI: the draft PR WIP: implement static build for mithril nodes in ci #2998 has been updated
- Upgrade to Cardano 10.6: we are rolling out the new version of the Cardano node to the dev networks
- Fix snapshot-converter breaking change in 10.6.2: The PR [fix snapshot converter breaking change in 10 6 2](fix: snapshot converter breaking change since cardano version 10.6.2) #3014 has been merged. The issue is closed
- Implement new prover for blocks and transactions: we have kept working on the issue
- Implement SNARK pre-aggregation primitives in STM library - Phase 2: the draft PR feat(stm): Signer and Signature for SNARK Proof System#3009 is being reviewed
- Full review of recursive SNARK circuit prototype: we are working on this issue
- Update protocol parameters to SNARK friendly values - Phase 2: the PR docs: update CHANGELOG with 2608.0 distribution #3021 has been created, reviewed and merged. The issue is closed
- Release 2608 distribution: we have started to work on the issue. The PR chore: update dependencies for distribution 2608 #3018 has been created, reviewed and merged
- We have also prepared the planning for the next iteration
- Compute Lottery Target Value for SNARK #2974: the PR feat(stm): Lottery target value computation for snark proof #2958 has been reviewed and updated. It will be merged shortly
- Adapt certificate chain to support SNARK AVK #2811: we have kept working on the issue
- Support for authenticated signer registration for SNARK #2915: the draft PR feat: authenticated SNARK signer registration #3016 has been created
- Remove off-circuit module in Halo2 circuit: the PR refactor(snark): remove halo2/off-circuit and switch to STM types #3002 has been reviewed and is ready to be merged
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API: the PR feat(aggregator): implement v2 routes for cardano transaction and block proofs is pending update
- Implement static build of Mithril nodes in CI: the draft PR WIP: implement static build for mithril nodes in ci #2998 has been updated
- Upgrade to Cardano 10.6: we are rolling out the new version of the Cardano node to the dev networks
- Fix snapshot-converter breaking change in 10.6.2: the issue has been created and groomed. The PR fix snapshot converter breaking change in 10 6 2#3014 has been updated and reviewed. It wil be merged shortly
- Implement new prover for blocks and transactions: we have kept working on the issue
- Implement SNARK pre-aggregation primitives in STM library - Phase 2: the draft PR feat(stm): Signer and Signature for SNARK Proof System#3009 has been updated
- Full review of recursive SNARK circuit prototype: we are working on this issue
- Certification stopped in testing-preview network: the bug issue has been created and we have fixed the problem
- Compute Lottery Target Value for SNARK #2974: the PR feat(stm): Lottery target value computation for snark proof #2958 has been reviewed and is pending update
- Adapt certificate chain to support SNARK AVK #2811: we have kept working on the issue
- Support for authenticated signer registration for SNARK #2915: we have started to work on the issue
- Remove off-circuit module in Halo2 circuit: the PR refactor(snark): remove halo2/off-circuit and switch to STM types #3002 has been reviewed and is pending update
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API: the PR feat(aggregator): implement v2 routes for cardano transaction and block proofs has been reviewed and is pending update
- Implement static build of Mithril nodes in CI: the draft PR WIP: implement static build for mithril nodes in ci #2998 has been updated
- Upgrade to Cardano 10.6: we are rolling out the new version of the Cardano node to the dev networks
- Fix snapshot-converter breaking change in 10.6.2: the issue has been created and groomed. The draft PR fix snapshot converter breaking change in 10 6 2#3014 has been created
- Implement new prover for blocks and transactions: we have kept working on the issue
- Implement SNARK pre-aggregation primitives in STM library - Phase 2: the draft PR feat(stm): Signer and Signature for SNARK Proof System#3009 has been created
- Full review of recursive SNARK circuit prototype: we are working on this issue
- Compute Lottery Target Value for SNARK #2974: the PR feat(stm): Lottery target value computation for snark proof #2958 is pending review
- Implement signable builder for Cardano Blocks and Transactions #2908: the PR feat: add cardano blocks transactions signable builder#3003 has been reviewed and merged. The issue is closed
- Adapt certificate chain to support SNARK AVK #2811: we have kept working on the issue
- Remove off-circuit module in Halo2 circuit: the PR refactor(snark): remove halo2/off-circuit and switch to STM types #3002 is being reviewed and is pending update
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API: the PR feat(aggregator): implement v2 routes for cardano transaction and block proofs has been created and is pending review
- Implement static build of Mithril nodes in CI: the draft PR WIP: implement static build for mithril nodes in ci #2998 has been updated
-
Upgrade to Cardano 10.6: the PR feat: support Cardano node 10.6 #2838 has been merged. We have noticed a breaking change in the
snapshot-converterthat we need to address - Implement new prover for blocks and transactions: we have started to work on the issue
- Fix crates and npm packages publications GitHub workflows: the PR ci: fix publish to crates and package promote to npm #3007 has been created, reviewed and merged. The issue is closed
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the PR feat(stm): SNARK Key registration #2976 has been merged. The issue is closed
- Compute Lottery Target Value for SNARK #2974: the draft PR feat(stm): Lottery target value computation for snark proof #2958 is pending update
- Implement signable builder for Cardano Blocks and Transactions #2908: the PR feat: add cardano blocks transactions signable builder#3003 has been created and is pending review
- Adapt certificate chain to support SNARK AVK #2811: we have kept working on the issue and the developments have been pushed to the jpraynaud/2811-snark-friendly-certificate-chain branch
- Remove off-circuit module in Halo2 circuit: the PR refactor(snark): remove halo2/off-circuit and switch to STM types #3002 has been created and is pending review
- Implement signing configuration for Cardano Blocks and Transactions #2971: the PR implement signing configuration for cardano blocks and transactions#2991 has been merged. The issue is closed
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API: we have kept working on the issue
- Implement static build of Mithril nodes in CI: the draft PR WIP: implement static build for mithril nodes in ci #2998 has been updated
-
Upgrade to Cardano 10.6: the PR feat: support Cardano node 10.6 #2838 has been updated to support the Cardano node
10.6.2and is being reviewed. It will be merged shortly - We have also rotated the KES keys of our test SPOs for
testing-preview,pre-release-previewandrelease-preprod
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the PR feat(stm): SNARK Key registration #2976 has been reviewed and will be merged shortly
- Compute Lottery Target Value for SNARK #2974: the draft PR feat(stm): Lottery target value computation for snark proof #2958 is pending update
- Implement signable builder for Cardano Blocks and Transactions #2908: the PR feat: compute and persist blocks transactions block range roots #2995 has been merged
- Adapt certificate chain to support SNARK AVK #2811: we have kept working on the issue and the developments have been pushed to the jpraynaud/2811-snark-friendly-certificate-chain branch
- Implement signing configuration for Cardano Blocks and Transactions #2971: the PR implement signing configuration for cardano blocks and transactions#2991 has been reviewed and will be merged shortly
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API: we have kept working on the issue
- Implement static build of Mithril nodes in CI: the draft PR WIP: implement static build for mithril nodes in ci #2998 has been updated
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the draft PR feat(stm): SNARK Key registration #2976 is pending update to fix some problems with backward compatibility with the codecs
- Compute Lottery Target Value for SNARK #2974: the draft PR feat(stm): Lottery target value computation for snark proof #2958 is pending update
- Implement signable builder for Cardano Blocks and Transactions #2908: the PR feat: compute and persist blocks transactions block range roots #2995 is being reviewed
- Adapt certificate chain to support SNARK AVK #2811: we have kept working on the issue and the developments have been pushed to the jpraynaud/2811-snark-friendly-certificate-chain branch
- Implement signing configuration for Cardano Blocks and Transactions #2971: the PR implement signing configuration for cardano blocks and transactions#2991 is being reviewed
- Hash to curve CPU/circuit discrepancy for message signature in Schnorr signature: the draft PR fix(stm): Fix the implementation difference for schnorr signature between cpu and circuit #2994 has been reviewed and merged. The issue is closed
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API: we have started to work on the issue
- Implement static build of Mithril nodes in CI: we have started to work on the issue, the draft PR WIP: implement static build for mithril nodes in ci #2998 has been created
- Balance constraints between certificate and IVC circuits: the issue has been created and groomed
-
Pallas DMQ publisher keeps open connection to DMQ node #2961: the PR fix: DMQ publisher error on rejected local submission response #2972 has been merged following the merge of the PR Backport DMQ protocol fix to v0 #727 and the release of the version
0.35.0of Pallas on crates.io. The issue is closed - Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the draft PR feat(stm): SNARK Key registration #2976 is pending update to fix some problems with backward compatibility with the codecs
- Compute Lottery Target Value for SNARK #2974: the draft PR feat(stm): Lottery target value computation for snark proof #2958 is pending update
- Implement signable builder for Cardano Blocks and Transactions #2908: the PR refactor: preliminary works before addition of CardanoBlocksTransactions signable builder has been reviewed and merged. The PR feat: compute and persist blocks transactions block range roots #2995 has been created and is pending review
- Adapt certificate chain to support SNARK AVK #2811: we have kept working on the issue and the developments have been pushed to the jpraynaud/2811-snark-friendly-certificate-chain branch
- Implement signing configuration for Cardano Blocks and Transactions #2971: the draft PR implement signing configuration for cardano blocks and transactions#2991 has been updated and is pending review
- Hash to curve CPU/circuit discrepancy for message signature in Schnorr signature: the issue has been created and the draft PR fix(stm): Fix the implementation difference for schnorr signature between cpu and circuit #2994 has been created
- Pallas DMQ publisher keeps open connection to DMQ node #2961: the draft PR fix: DMQ publisher error on rejected local submission response #2972 has been reviewed and will be merged once the new version of pallas has been created. The PR Backport DMQ protocol fix to v0 #727 has been approved and will be merged shortly
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the draft PR feat(stm): SNARK Key registration #2976 is pending update to fix some problems with backward compatibility with the codecs
- Compute Lottery Target Value for SNARK #2974: the draft PR feat(stm): Lottery target value computation for snark proof #2958 has been updated
- Implement signable builder for Cardano Blocks and Transactions #2908: the PR refactor: preliminary works before addition of CardanoBlocksTransactions signable builder has been created and is pending review
- Adapt certificate chain to support SNARK AVK #2811: we have kept working on the issue and the developments have been pushed to the jpraynaud/2811-snark-friendly-certificate-chain branch
- Implement signing configuration for Cardano Blocks and Transactions #2971: the draft PR DRAFT: implement signing configuration for cardano blocks and transactions#2991 has been created
- Implement new prover for blocks and transactions: the issue has been created and groomed
- Implement proof route for Cardano Blocks and Transactions in aggregator REST API: the issue has been created and groomed
- Implement static build of Mithril nodes in CI: the issue has been created and groomed
- Prepare refactoring of SNARK circuit: the issue has been created and groomed
- Pallas DMQ publisher keeps open connection to DMQ node #2961: the draft PR fix: DMQ publisher error on rejected local submission response #2972 has been reviewed and will be merged once the new version of pallas has been created. The PR Backport DMQ protocol fix to v0 #727 is pending review
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the draft PR feat(stm): SNARK Key registration #2976 has been reviewed and updated. We have some extra concern about encoding and backward compatibility we are currently investigating
- Add golden tests for Halo2 circuit prototype #2912: the PR test(snark): Golden tests for the STM Halo2 circuit #2968 has been reviewed and merged. The issue is closed
- Compute Lottery Target Value for SNARK #2974: the draft PR feat(stm): Lottery target value computation for snark proof #2958 has been updated
- Implement signable builder for Cardano Blocks and Transactions #2908: we have kept working on the issue and the developments have been pushed to the djo/2908/cardano_blocks_tx_signable_builder branch
- Implement artifact routes for Cardano Blocks and Transactions in aggregator REST API #2956: the PR implement artifact rest api routes for cardano blocks and transactions #2980 has been merged. The issue is closed
- Adapt certificate chain to support SNARK AVK #2811: we have kept working on the issue and the developments have been pushed to the jpraynaud/2811-snark-friendly-certificate-chain branch
- Implement signing configuration for Cardano Blocks and Transactions #2971: we have started to work on the issue
- We have also checked if some of our test SPOs needed to have their KES keys rotated
- Pallas DMQ publisher keeps open connection to DMQ node #2961: the draft PR fix: DMQ publisher error on rejected local submission response #2972 has been reviewed and will be merged once the new version of pallas has been created. The PR Backport DMQ protocol fix to v0 #727 is pending review
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the draft PR feat(stm): SNARK Key registration #2976 has been reviewed and updated
- Add golden tests for Halo2 circuit prototype #2912: the draft PR test(snark): Golden tests for the STM Halo2 circuit #2968 has been reviewed and is pending update
- Compute Lottery Target Value for SNARK #2974: the draft PR feat(stm): Lottery target value computation for snark proof #2958 is being updated
- Implement signable builder for Cardano Blocks and Transactions #2908: we have kept working on the issue and the developments have been pushed to the djo/2908/cardano_blocks_tx_signable_builder branch
- Implement artifact routes for Cardano Blocks and Transactions in aggregator REST API #2956: the PR implement artifact rest api routes for cardano blocks and transactions #2980 is being reviewed and will be merged shortly
- Adapt certificate chain to support SNARK AVK #2811: we have started to work on the issue
- We have also prepared the sprint planning for the next iteration
- Follower aggregator panics in e2e tests in run-only mode #2770: the PR feat: implement a DMQ consumer deduplicator #2977 has been merged and the PR fix: synchronization from incomplete certificate chain in follower aggregator #2978 has been merged. The issue is closed
- Pallas DMQ publisher keeps open connection to DMQ node #2961: the draft PR fix: DMQ publisher error on rejected local submission response #2972 has been reviewed and will be merged once the new version of pallas has been created. The PR fix(network): incomplete CBOR support for DMQ local submission rejection has been merged. The PR Backport DMQ protocol fix to v0 #727 has been created and is pending review
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the draft PR feat(stm): SNARK Key registration #2976 has been reviewed and updated
- Add golden tests for Halo2 circuit prototype #2912: the draft PR test(snark): Golden tests for the STM Halo2 circuit #2968 is pending reviewed and updated
- Compute Lottery Target Value for SNARK #2974: the draft PR feat(stm): Lottery target value computation for snark proof #2958 is being updated
- Implement signable builder for Cardano Blocks and Transactions #2908: we have kept working on the issue and the developments have been pushed to the djo/2908/cardano_blocks_tx_signable_builder branch
- Implement artifact routes for Cardano Blocks and Transactions in aggregator REST API #2956: we have started to work on the issue and the PR implement artifact rest api routes for cardano blocks and transactions #2980 is pending review
- Follower aggregator panics in e2e tests in run-only mode #2770: the PR feat: implement a DMQ consumer deduplicator #2977 has been updated and is pending review and the PR fix: synchronization from incomplete certificate chain in follower aggregator #2978 has been created and is pending review
- Pallas DMQ publisher keeps open connection to DMQ node #2961: the draft PR fix: DMQ publisher error on rejected local submission response #2972 has been reviewed and will be merged once the new version of pallas has been created. The PR fix(network): incomplete CBOR support for DMQ local submission rejection has been reviewed and will be merged shortly
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the draft PR feat(stm): SNARK Key registration #2976 has been reviewed and updated
- Add golden tests for Halo2 circuit prototype #2912: the draft PR test(snark): Golden tests for the STM Halo2 circuit #2968 is pending updated and is being reviewed
- Implement artifacts builder for Cardano Blocks and Transactions #2955: the PR Implement artifacts builder for cardano blocks and transactions #2963 merged. The issue is closed
- Add throttling to Blocks and Transactions preloader #2909: the PR feat: optional throttling when reading blocks from the chain #2966 merged. The issue is closed
- Compute Lottery Target Value for SNARK #2974: the draft PR feat(stm): Lottery target value computation for snark proof #2958 is being reviewed
- Implement signable builder for Cardano Blocks and Transactions #2908: we have started to work on the issue and the developments have been pushed to the djo/2908/cardano_blocks_tx_signable_builder branch
- Implement artifact routes for Cardano Blocks and Transactions in aggregator REST API #2956: we have started to work on the issue and the draft PR WIP: implement artifact rest api routes for cardano blocks and transactions #2980 has been created
- Follower aggregator panics in e2e tests in run-only mode #2770: the PR feat: implement a DMQ consumer deduplicator #2977 has been created
- Pallas DMQ publisher keeps open connection to DMQ node #2961: the draft PR fix: DMQ publisher error on rejected local submission response #2972 is being reviewed. The PR fix(network): incomplete CBOR support for DMQ local submission rejection is pending review
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the draft PR feat(stm): Lottery target value computation for snark proof #2958 has been updated and is being reviewed, the PR feat(stm): Implementing pre-aggregation primitives and fixes #2964 has been reviewed and merged. The draft PR feat(stm): SNARK Key registration #2976 has been created
- Add golden tests for Halo2 circuit prototype #2912: the draft PR test(snark): Golden tests for the STM Halo2 circuit #2968 has been updated and is being reviewed
- Implement artifacts builder for Cardano Blocks and Transactions #2955: the PR Implement artifacts builder for cardano blocks and transactions #2963 has been reviewed and being updated
- Add throttling to Blocks and Transactions preloader #2909: the PR feat: optional throttling when reading blocks from the chain #2966 has been reviewed and will be merged shortly
- Compute Lottery Target Value for SNARK #2974: the issue has been created and groomed
- Update protocol parameters to SNARK friendly values - Phase 1 #2813: all the networks of phase 1 have switched to the new protocol parameters. The issue is closed
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Pallas DMQ publisher keeps open connection to DMQ node #2961: the draft PR fix: DMQ publisher error on rejected local submission response #2972 has been created and is pending review. The PR fix(network): incomplete CBOR support for DMQ local submission rejection has been created on Pallas repository and is pending review
- Proposals for Mithril/DMQ as optout feature of Cardano #2831: the proposals have been reviewed. The issue is closed
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the draft PR feat(stm): Lottery target value computation for snark proof #2958 is pending update, the PR feat(stm): Implementing pre-aggregation primitives and fixes #2964 has been reviewed and will be merged shortly
- Avoid panic in AggregateVerificationKeyForConcatenation conversion #2954: the PR refactor(stm): Remove possibility of panic during conversion from KeyRegistration to MerkleTree #2959 has been merged. The issue is closed
- Add golden tests for Halo2 circuit prototype #2912: the draft PR test(snark): Golden tests for the STM Halo2 circuit #2968 has been created and is being reviewed
- Implement artifacts builder for Cardano Blocks and Transactions #2955: the PR Implement artifacts builder for cardano blocks and transactions #2963 has been reviewed and is pending update
- Add throttling to Blocks and Transactions preloader #2909: the PR feat: optional throttling when reading blocks from the chain #2966 has been created and is being reviewed
- We have also verified that we didn't need to rotate the KES keys of our test SPOs
- Update protocol parameters to SNARK friendly values #2813: we are waiting for all the networks of phase 1 to switch to the new protocol parameters
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Pallas DMQ publisher keeps open connection to DMQ node #2961: we have kept investigating the problem and working on a fix
-
Release 2603 distribution #2830: the 2603.1 has been released on
release-mainnetandrelease-preprodnetworks. The issue is closed - Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: the PR feat: also import blocks into cardano database when importing data from chain #2960 has been merged. The issue is closed
- Proposals for Mithril/DMQ as optout feature of Cardano #2831: the proposals are pending review on HackMD
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the draft PR feat(stm): Lottery target value computation for snark proof #2958 has been updated, the draft PR feat(stm): Implementing pre-aggregation primitives and fixes #2964 has been created
- Avoid panic in AggregateVerificationKeyForConcatenation conversion #2954: the PR refactor(stm): Remove possibility of panic during conversion from KeyRegistration to MerkleTree #2959 has been reviewed and will be merged shortly
- Add golden tests for Halo2 circuit prototype #2912: we have updated the SNARK MVP book and the developments have been pushed to the hjeljeli32/golden-tests branch
- Implement artifacts builder for Cardano Blocks and Transactions #2955: the PR Implement artifacts builder for cardano blocks and transactions #2963 is pending review
- Add throttling to Blocks and Transactions preloader #2909: the developments have been pushed to the djo/2909/chain_data_preloader_throttling branch
- Update protocol parameters to SNARK friendly values #2813: we are waiting for all the networks of phase 1 to switch to the new protocol parameters
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Pallas DMQ publisher keeps open connection to DMQ node #2961: we have kept investigating the problem and working on a fix
- Release 2603 distribution #2830: we have kept monitoring the 2603.1-pre pre-release and we expect to release the distribution tomorrow
- Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: the PR feat: also import blocks into cardano database when importing data from chain #2960 has been reviewed and will be merged shortly
- Proposals for Mithril/DMQ as optout feature of Cardano #2831: the proposals are pending review on HackMD
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the PR feat(stm): Merkle Tree Leaf for Snark proof #2957 has been merged, the draft PR feat(stm): Lottery target value computation for snark proof #2958 has been updated, the draft PR feat(stm): Implementing pre-aggregation primitives and fixes #2964 has been created
- Avoid panic in AggregateVerificationKeyForConcatenation conversion #2954: we have kept working on the issue and the draft PR refactor(stm): Remove possibility of panic during conversion from KeyRegistration to MerkleTree #2959 is being reviewed and will be merged shortly
- Add golden tests for Halo2 circuit prototype #2912: we have kept working on the issue and the MVP book has been updated with full specifications
- Implement artifacts builder for Cardano Blocks and Transactions #2955: the PR Implement artifacts builder for cardano blocks and transactions #2963 has been created and is pending review
- Add throttling to Blocks and Transactions preloader #2909: we have started to work on the issue
- Update protocol parameters to SNARK friendly values #2813: we are waiting for all the networks of phase 1 to switch to the new protocol parameters
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Pallas DMQ publisher keeps open connection to DMQ node #2961: the bug issue has been created and we have started to investigate the problem
- Release 2603 distribution #2830: we have kept monitoring the 2603.1-pre pre-release and we expect to release the distribution tomorrow
- Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: the PR feat: also import blocks into cardano database when importing data from chain #2960 has been created and is pending review
- Proposals for Mithril/DMQ as optout feature of Cardano #2831: the proposals are pending review on HackMD
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the PR feat(stm): Merkle Tree Leaf for Snark proof #2957 has been reviewed and will be merged shortly, the draft PR feat(stm): Lottery target value computation for snark proof #2958 is being reviewed
- Synchronization of modifications between Halo2 circuit in STM and prototype #2947: we have worked on the issue and updated the MVP Book, the modifications have been reviewed. The issue is closed
- Avoid panic in AggregateVerificationKeyForConcatenation conversion #2954: we have kept working on the issue and the draft PR refactor(stm): implement TryFrom for AggregateVerificationKeyForConcatenation conversion #2959 has been created and is being reviewed
- Add golden tests for Halo2 circuit prototype #2912: we have started to work on the issue
- Update protocol parameters to SNARK friendly values #2813: we are waiting for all the networks of phase 1 to switch to the new protocol parameters
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Release 2603 distribution #2830: we have kept monitoring the 2603.1-pre pre-release and we expect to release the distribution middle of this week
- Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: we have kept working on the issue and the developments have been pushed to the djo/2907/add_blocks_to_chain_data_import branch
- Proposals for Mithril/DMQ as optout feature of Cardano #2831: the proposals are pending review on HackMD
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: we have worked on the issue, the PR feat(stm): Merkle Tree Leaf for Snark proof #2957 has been created and is being reviewed, the draft PR feat(stm): Lottery target value computation for snark proof #2958 has been created
- Synchronization of modifications between Halo2 circuit in STM and prototype #2947: the issue has been created and groomed. We have worked on the issue and updated the MVP Book, the modifications have been reviewed and are pending update
- Avoid panic in AggregateVerificationKeyForConcatenation conversion #2954: the issue has been created and groomed. We have started to work on it and a PR will be created shortly
- Remove off-circuit module in Halo2 circuit #2945: the issue has been created and groomed
- Implement artifacts builder for Cardano Blocks and Transactions #2955: the issue has been created and groomed and we have started to work on the issue
- Implement artifact routes for Cardano Blocks and Transactions in aggregator REST API #2956: the issue has been created and groomed
- Update protocol parameters to SNARK friendly values #2813: we are waiting for all the networks of phase 1 to switch to the new protocol parameters
- Implement SNARK-friendly changes in STM library #2795: the PR SNARK-friendly STM: New Key Registration #2880 has been reviewed and merged. The fix PR for AVKs refactor: SNARK-friendly version of Aggregate Verification Key #2951 has been been reviewed and merged. The issue is closed
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
-
Release 2603 distribution #2830: we have created a new 2603.1-pre and deployed it to the
pre-release-network. We expect to release the distribution mid next week - Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: we have kept working on the issue and the developments have been pushed to the djo/2907/add_blocks_to_chain_data_import branch
- Implement Digest for Poseidon hash from Midnight ZK #2942: the PR feat(stm): Implementation of the digest trait for the Poseidon hash from Midnight #2936 has been merged. The issue is closed
- Create SNARK circuit new module in STM #2911: the PR core(stm/snark): integrate certificate circuit prototype as it is (future_snark) #2938 has been merged. The issue is closed
- Proposals for Mithril/DMQ as optout feature of Cardano #2831: we have resumed working on the proposal
- We have also verified that none of our test SPOs needed to have their KES keys rotated
- Update protocol parameters to SNARK friendly values #2813: we are waiting for all the networks of phase 1 to switch to the new protocol parameters
- Implement SNARK-friendly changes in STM library #2795: the PR SNARK-friendly STM: New Key Registration #2880 has been updated. The fix PR for AVKs refactor: SNARK-friendly version of Aggregate Verification Key #2951 has been created and is being reviewed
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Release 2603 distribution #2830: we have identified a problem and created a fix. We will release a new pre-release tomorrow
- Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: we have kept working on the issue and the developments have been pushed to the djo/2907/add_blocks_to_chain_data_import branch
- Implement Digest for Poseidon hash from Midnight ZK #2942: the PR feat(stm): Implementation of the digest trait for the Poseidon hash from Midnight #2936 is being reviewed and will be merged shortly
- Create SNARK circuit new module in STM #2911: the PR core(stm/snark): integrate certificate circuit prototype as it is (future_snark) #2938 has been reviewed and will be merged shortly
- Signer node version header is not sent by signer #2948: the bug issue has been created, reviewed and merged. The issue is closed
- Update protocol parameters to SNARK friendly values #2813: the PR chore(ci): update protocol parameters of testing-preview #2937 has been reviewed and merged
- Implement SNARK-friendly changes in STM library #2795: the PR SNARK-friendly STM: New Key Registration #2880 has been updated and will be merged once we fix the problem we have discovered with the AVK codecs
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
-
Release 2603 distribution #2830: we have created the new
2603.0-prewhich has been deployed on thepre-release-previewnetwork. We expect to deploy the distribution early next week - Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: we have kept working on the issue and the developments have been pushed to the djo/2907/add_blocks_to_chain_data_import branch
- Implement Digest for Poseidon hash from Midnight ZK #2942: the draft PR feat(stm): Implementation of the digest trait for the Poseidon hash from Midnight #2936 has been reviewed and updated
- Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792: the draft PR feat(stm): Add key registration support for pre-aggregation primitives #2932 is being reviewed and updated
- Create SNARK circuit new module in STM #2911: the PR core(stm/snark): integrate certificate circuit prototype as it is (future_snark) #2938 has been created and is being reviewed
- Update protocol parameters to SNARK friendly values #2813: the PR feat: update protocol parameters for dev networks #2926 has been merged. The draft PR chore(ci): update protocol parameters of testing-preview #2937 has been created and reviewed. It will be merged shortly
- Implement SNARK-friendly changes in STM library #2795: the PR SNARK-friendly STM: New Key Registration #2880 has been updated and will be merged once we fix the problem we have discovered with the AVK codecs
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Release 2603 distribution #2830: we have created and merged some enhancement PRs and we expect the pre-release to be created on Wednesday
- Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: the PR refactor: Shared transaction importer for signer and aggregator #2930 has been reviewed and merged. We have kept working on the issue
- Implement SNARK pre-aggregation primitives in STM library #2792: the draft PR feat(stm): Add key registration support for pre-aggregation primitives #2932 has been updated and the draft PRfeat(stm): Implementation of the digest trait for the Poseidon hash from Midnight #2936 has been created
- Create SNARK circuit new module in STM #2911: we have started to work on the issue and the developments have been pushed to the hjeljeli32/msnark/create-snark-module branch
-
Update protocol parameters to SNARK friendly values #2813: we have updated the protocol parameters of the
dev-mainnetnetwork and will keep rolling out the new protocol parameters to the other networks. The PR feat: update protocol parameters for dev networks #2926 has been created and is pending review - Implement SNARK-friendly changes in STM library #2795: the PR SNARK-friendly STM: New Key Registration #2880 has been updated and is ready to be merged
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- DMQ testing with SPOs on preview #2833: the issue is closed
- Release 2603 distribution #2830: we have created some enhancement PRs and we expect the pre-release to be created on Wednesday
- Use Midnight ZK backends for Jubjub and Poseidon in STM #2888: the PR Change jubjub and poseidon backend from Dusk to MidnightZK #2898 merged. The issue is closed
- Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: the PR refactor(signer): add test module #2929 has been created, reviewed and merged. The PR refactor: Shared transaction importer for signer and aggregator #2930 has been created and is being reviewed
- Implement SNARK pre-aggregation primitives in STM library #2792: the draft PR feat(stm): Add key registration support for pre-aggregation primitives #2932 has been created
- We have also created issues and milestones in the DMQ node repository
-
Update protocol parameters to SNARK friendly values #2813: we have updated the protocol parameters of the
dev-previewnetwork and will keep rolling out the new protocol parameters to the other networks - Implement SNARK-friendly changes in STM library #2795: the PR SNARK-friendly STM: New Key Registration #2880 is being updated and it will be merged shortly
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- DMQ testing with SPOs on preview #2833: the PR feat: DMQ node infrastructure #2870 has been merged. The PRs fix: activation of P2P DMQ protocol in infra #2927 and chore: enhance DMQ messages and Single Signature logs in aggregator #2928 have been created, reviewed and merged
- Release 2603 distribution #2830: the draft PRs docs: rotate documentation for 2603 distribution #2924 and docs: update CHANGELOG with '2603.0' distribution #2925 have been reviewed and will be merged when the pre-release is created
- Use Midnight ZK backends for Jubjub and Poseidon in STM #2888: the PR Change jubjub and poseidon backend from Dusk to MidnightZK #2898 is being reviewed and will be merged shortly
- Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: we have kept working on the issue and the developments have been pushed to the djo/2907/shared_transaction_importer_for_signer_aggregator branch
- Update the Midnight library dependency in circuit prototype #2910: the issue is completed and closed
- Implement SNARK pre-aggregation primitives in STM library #2792: we have started to work on the issue
- We have also checked if some test SPOs needed their KES keys rotated
-
Update protocol parameters to SNARK friendly values #2813: we have started preparing the rolling out the new protocol parameters to
dev-*networks - Implement SNARK-friendly changes in STM library #2795: the PR SNARK-friendly STM: New Key Registration #2880 is being updated and it will be merged shortly
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- DMQ testing with SPOs on preview #2833: the PR feat: DMQ node infrastructure #2870 is ready to be merged. It will be merged once Inconsistent diffusion of messages #10 and N2c local notification MsgReplyMessagesBlocking does not follow CDDL specification #15 are closed
- Release 2603 distribution #2830: the draft PRs docs: rotate documentation for 2603 distribution #2924 and docs: update CHANGELOG with '2603.0' distribution #2925 have been created and reviewed
- Use Midnight ZK backends for Jubjub and Poseidon in STM #2888: the PR Change jubjub and poseidon backend from Dusk to MidnightZK #2898 is being reviewed and will be merged shortly
- Create new signed entity type for Cardano Blocks and Transactions #2905: the PR feat: add new CardanoBlocksTransactions to SignedEntityTypes #2922 has been merged. The issue is closed
- Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: we have kept working on the issue
-
Update protocol parameters to SNARK friendly values #2813: we have started preparing the rolling out the new protocol parameters to
dev-*networks - Implement SNARK-friendly changes in STM library #2795: the PR SNARK-friendly STM: New Key Registration #2880 has been reviewed and is being updated
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- DMQ testing with SPOs on preview #2833: the PR feat: DMQ node infrastructure #2870 is ready to be merged. It will be merged once Inconsistent diffusion of messages #10 is closed
- Release 2603 distribution #2830: the PR chore: update dependencies for distribution 2603 #2920 has been merged
- Use Midnight ZK backends for Jubjub and Poseidon in STM #2888: the PR Rename mithril-stm schnorr module #2903 has been reviewed and merged. The PR Change jubjub and poseidon backend from Dusk to MidnightZK #2898 is being reviewed and updated
- Create new signed entity type for Cardano Blocks and Transactions #2905: the PR feat: add new CardanoBlocksTransactions to SignedEntityTypes #2922 has been created, reviewed and will be merged shortly
- Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: we have started to work on the issue
- Update protocol parameters to SNARK friendly values #2813: we will start rolling out the new protocol parameters shortly
- Implement SNARK-friendly changes in STM library #2795: the PR SNARK-friendly STM: New Key Registration #2880 is being updated. The PR Golden test for Closed Key Registration #2901 has been merged
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Replace SPO ticker API in aggregator #2878: the PR feat(aggregator): replace cexplorer pools ticker retriever with a blockfrost based implementation #2896 has been updated and merged. The PR feat: add ConfigSecret type and use it for aggregator blockfrost configuration #2919 has been created, reviewed and merged. The issue is closed
- DMQ testing with SPOs on preview #2833: the PR feat: DMQ node infrastructure #2870 has been updated and reviewed. It will be merged once Inconsistent diffusion of messages #10 is closed
- Release 2603 distribution #2830: the PR chore: update dependencies for distribution 2603 #2920 has been created, reviewed and is ready to be merged
- Use Midnight ZK backends for Jubjub and Poseidon in STM #2888: the PR Rename mithril-stm schnorr module #2903 is pending review. The PR Change jubjub and poseidon backend from Dusk to MidnightZK #2898 is pending review
- Update protocol parameters to SNARK friendly values #2813: the protocol parameters have been validated, we will start rolling out the new protocol parameters
- Implement SNARK-friendly changes in STM library #2795: the PR SNARK-friendly STM: New Key Registration #2880 is being updated. The PR Golden test for Closed Key Registration #2901 is ready to be merged
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Proposals for Mithril/DMQ as optout feature of Cardano #2831: we have kept working on the issue
- Replace SPO ticker API in aggregator #2878: the PR feat(aggregator): replace cexplorer pools ticker retriever with a blockfrost based implementation #2896 is being updated and will be merged shortly
- DMQ testing with SPOs on preview #2833: the draft PR feat: DMQ node infrastructure #2870 has been updated
- Release 2603 distribution #2830: we have kept working on the issue
- Use Midnight ZK backends for Jubjub and Poseidon in STM #2888: the PR Rename mithril-stm schnorr module #2903 is pending review. The PR Change jubjub and poseidon backend from Dusk to MidnightZK #2898 is pending review
- No more available disk space on GitHub runners #2906: the bug issue has been created. The PR ci: optimize rust test disk space usage #2916 has been created, reviewed and merged. The issue is closed
- Create new signed entity type for Cardano Blocks and Transactions #2905: the issue has been created and groomed
- Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907: the issue has been created and groomed
- Implement signable builder for Cardano Blocks and Transactions #2908: the issue has been created and groomed
- Add throttling to Blocks and Transactions preloader #2909: the issue has been created and groomed
- Update the Midnight library dependency in circuit prototype #2910: the issue has been created and groomed
- Create SNARK circuit new module in STM #2911: the issue has been created and groomed
- Add golden tests for Halo2 circuit prototype #2912: the issue has been created and groomed
- Keep track of signers involved in the SNARK proof with committed instance #2913: the issue has been created and groomed
- Test wrapper circuit proof in Risc Zero #2914: the issue has been created and groomed
- Support for authenticated signer registration for SNARK #2915: the issue has been created and groomed
- Update protocol parameters to SNARK friendly values #2813: the protocol parameters have been validated, we will start rolling out the new protocol parameters
- Implement SNARK-friendly changes in STM library #2795: the PR SNARK-friendly STM: New Key Registration #2880 is being updated. The PR Golden test for Closed Key Registration #2901 has been created and reviewed, it is ready to be merged
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Proposals for Mithril/DMQ as optout feature of Cardano #2831: we have kept working on the issue
- Replace SPO ticker API in aggregator #2878: the PR feat(aggregator): replace cexplorer pools ticker retriever with a blockfrost based implementation #2896 has been reviewed and is being updated
- DMQ testing with SPOs on preview #2833: the draft PR feat: DMQ node infrastructure #2870 has been updated. The PRs docs: add dev blog post for DMQ testing program with SPOs #2883 has been reviewed and merged
- Nightly tests does not fetch latest main artifacts #2879: the PR ci: fix aggregator stress test parameters handling #2900 has been created, reviewed and merged. The issue is closed
- Release 2603 distribution #2830: we have started to work on the issue
- Use Midnight ZK backends for Jubjub and Poseidon in STM #2888: the PR Rename mithril-stm schnorr module #2903 has been created and is pending review. The PR Change jubjub and poseidon backend from Dusk to MidnightZK #2898 has been created and is pending review
- We have also made sure that none of our test SPOs needed their KES keys rotated
-
Upgrade to Cardano 10.6 #2790: the issue is closed as
10.6will likely never be released - Update protocol parameters to SNARK friendly values #2813: the protocol parameters have been validated, we will start rolling out the new protocol parameters
- Implement SNARK-friendly changes in STM library #2795: the PR SNARK-friendly STM: New Key Registration #2880 is being updated
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Proposals for Mithril/DMQ as optout feature of Cardano #2831: we have kept working on the issue
- Replace SPO ticker API in aggregator #2878: the PR feat(aggregator): replace cexplorer pools ticker retriever with a blockfrost based implementation #2896 has been created and is pending review
- DMQ testing with SPOs on preview #2833: the draft PR feat: DMQ node infrastructure #2870 has been updated. The PRs docs: add dev blog post for DMQ testing program with SPOs #2883 is being reviewed. The PR docs: add dev blog post for multiple aggregators testing program #2884 is being reviewed
- Prepare recursive Halo2 circuit implementation MVP #2886: the issue has been created
- Implement SNARK aggregation primitives in STM library #2887: the issue has been created
- Use Midnight ZK backends for Jubjub and Poseidon in STM #2888: the issue has been created
- Implement SNARK primitives in STM #2889: the issue has been created
- SNARK-friendly STM MVP - Phase 2 #2890: the issue has been created
- Feasibility of Bitcoin Defi usecase - Phase 2 #2891: the issue has been created
- SNARK-friendly Mithril nodes #2892: the issue has been created
- Prepare Mithril nodes for recursive SNARK #2893: the issue has been created
- Upgrade to Cardano 10.7 #2894: the issue has been created
- Implement Halo2 circuit in STM library #2895: the issue has been created
- Extract Merkle forest modules in new crate #2897: the issue has been created
- We have also prepared the sprint planning for the next iteration
-
Upgrade to Cardano 10.6 #2790: we are waiting for Cardano
10.6.2to be released before moving forward - Update protocol parameters to SNARK friendly values #2813: the protocol parameters have been validated, we will start rolling out the new protocol parameters
- Assess constraints on Halo2 circuit verification #2799: the proposals have been reviewed, the issue is closed
- Support test mode for the Halo2 circuit #2798: the proposals have been reviewed, the issue is closed
- Detect an under constrained Halo2 circuit #2801: the proposals have been reviewed, the issue is closed
- Implement SNARK-friendly changes in STM library #2795: the PRs SNARK-friendly STM: Single signature of concatenation proof #2875 and SNARK-friendly STM: Remove Deprecated Items #2881 have been reviewed and merged. The PR SNARK-friendly STM: New Key Registration #2880 is being updated
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Proposals for Mithril/DMQ as optout feature of Cardano #2831: we have kept working on the issue
- Replace SPO ticker API in aggregator #2878: we have kept working on the issue and the developments have been pushed to the djo/2878/aggregator-replace-spo-ticker branch
- DMQ testing with SPOs on preview #2833: the draft PR feat: DMQ node infrastructure #2870 has been updated. The PRs docs: add dev blog post for DMQ testing program with SPOs #2883 and docs: add dev blog post for multiple aggregators testing program #2884 are being reviewed. The PR feat: use final DMQ magic numbers #2885 has been created, reviewed and merged
-
Upgrade to Cardano 10.6 #2790: we are waiting for Cardano
10.6.2to be released before moving forward - Update protocol parameters to SNARK friendly values #2813: we are pending final validation of protocol parameters before moving forward
- Assess constraints on Halo2 circuit verification #2799: the proposals are being reviewed
- Support test mode for the Halo2 circuit #2798: the proposals are being reviewed
- Detect an under constrained Halo2 circuit #2801: the proposals are being reviewed
- Implement SNARK-friendly changes in STM library #2795: the PRs SNARK-friendly STM: Single signature of concatenation proof #2875, SNARK-friendly STM: New Key Registration #2880 and SNARK-friendly STM: Remove Deprecated Items #2881 have been reviewed and are pending update
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Proposals for Mithril/DMQ as optout feature of Cardano #2831: we have kept working on the issue
- Replace SPO ticker API in aggregator #2878: we have kept working on the issue and the developments have been pushed to the djo/2878/aggregator-replace-spo-ticker branch
- DMQ testing with SPOs on preview #2833: the draft PR feat: DMQ node infrastructure #2870 has been updated. The PR refactor: introduce KesEvolutions type #2869 has been updated and merged. the PR docs: add dev blog post for DMQ testing program with SPOs #2883 has been created and is pending review. The PR docs: add dev blog post for multiple aggregators testing program #2884 has been created and is pending review
- Design strategy for enhanced support of Cardano versions #2856: the issue has been updated with the strategy which is being reviewed
-
Upgrade to Cardano 10.6 #2790: we are waiting for Cardano
10.6.2to be released before moving forward - Update protocol parameters to SNARK friendly values #2813: we are pending final validation of protocol parameters before moving forward
- Assess constraints on Halo2 circuit verification #2799: the proposals are being reviewed
- Support test mode for the Halo2 circuit #2798: the proposals are being reviewed
- Detect an under constrained Halo2 circuit #2801: the proposals are being reviewed
- Implement SNARK-friendly changes in STM library #2795: the PRs SNARK-friendly STM: Single signature of concatenation proof #2875, SNARK-friendly STM: New Key Registration #2880 and SNARK-friendly STM: Remove Deprecated Items #2881 have been created and are being reviewed
- Follower aggregator panics in e2e tests in run-only mode #2770: we have kept investigating the problem and working on a fix
- Proposals for Mithril/DMQ as optout feature of Cardano #2831: we have kept working on the issue
- Replace SPO ticker API in aggregator #2878: the issue has been created and groomed. We have started to work on it
- DMQ testing with SPOs on preview #2833: the draft PR feat: DMQ node infrastructure #2870 has been updated. The PR refactor: introduce KesEvolutions type #2869 has been reviewed and will be merged shortly. The PR doc: add DMQ node setup in Mithril signer guide #2872 has been reviewed and merged. The PR fix: better support for signature registration errors in aggregator signature processor #2873 has been reviewed and merged
- Add a new guide on how to setup a follower aggregator #2815: the PR doc: add aggregator setup guide #2876 has been created, reviewed and merged. The issue is closed
- Design strategy for enhanced support of Cardano versions #2856: the issue has been updated with the strategy which is being reviewed