High level summary​

Through some extra testing we've identified and fixed a few benign bugs. We've also identified and implemented another restructure in the ledger state that improves performance and will further simplify LedegrHD implementation. Besides that we've also made further progress on these initiatives:

• CIP-118 - Nested Transactions:

  Two major Ledger rules were defined for processing sub-transactions.

• CIP-165 - Canonical Ledger State:

  Two more namesspaces for canonical ledger state were implemented.

Low level summary​

Features​

• PR-5575 - Introduce gov/committee/v0 canonical namespace
• PR-5584 - Use AccountId for stake pools
• PR-5566 - Tighten PParam lenses
• PR-5591 - Extras for working with maps
• PR-5595 - Version restriction
• PR-5596 - Remove SUBUTXOS rule
• PR-5579 - Support gov/canonical/pparams/v0 namespace
• PR-5589 - add notes on Praos slot leader election for historic reasons
• PR-5585 - Subsume delegations into active-stake
• PR-5544 - SUBLEDGER implementation

Testing​

• PR-5587 - Set scriptIntegrityHash to 0 to match the behavior of Agda in conformance tests
• PR-5590 - Fix nightly nothunks tests for snapshot

Infrastructure and releasing​

• PR-5292 - Support ghc 9.14
• PR-5607 - Fix nix builds
• PR-5600 - Fix gen-hie caching

High level overview​

This week, the Mithril team continued implementing new succinct proofs. They completed signer authentication for SNARK verification keys, calibrated precision for lottery target value computation, and aligned domain separation tags as part of the SNARK circuit refactoring. Progress also continued on SNARK pre-aggregation primitives, improved error handling within the refactored circuit, the full review of the recursive circuit prototype, and the technical report for the recursive Halo2 circuit.

Additionally, the team finalized proof routes for Cardano blocks and transactions in the aggregator REST API and continued preparations for the next distribution release. They advanced the integration of Mithril into the Cardano Developer documentation site, added support for upgrading the Cardano node without requiring a new Mithril distribution, and completed the upgrade to Cardano node v.10.6.

Finally, they fixed a performance regression in the transaction proof route and worked on a slow import issue on dev aggregators.

Low level overview​

Features​

• Completed the issue Support for authenticated signer registration for SNARK #2915
• Completed the issue Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988
• Completed the issue Refactor SNARK circuit - Domain Separation Tag alignment #3022
• Completed the issue Calibrate precision and Taylor expansion iterations for Lottery Target value computation #3034
• Worked on the issue Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943
• Worked on the issue Full review of recursive SNARK circuit prototype #2982
• Worked on the issue Prepare technical report for recursive Halo2 circuit #2981
• Worked on the issue Refactor SNARK circuit - Error handling #3035
• Worked on the issue Experimental blst-Jubjub #2772
• Worked on the issue Release 2608 distribution #2967
• Worked on the issue Integrate Mithril into the Cardano developer documentation website #3012
• Completed the issue Support upgrade of Cardano node without new Mithril distribution #3058

Protocol maintenance​

• Completed the issue Upgrade to Cardano 10.6 #2790
• Completed the issue Some unit tests are flaky with future_snark feature #3017
• Completed the issue Update throttling parameters of Cardano blocks and transactions import #3047
• Completed the issue Transaction proof route performance regression #3056
• Worked on the issue Cardano blocks and transaction import very slow in dev aggregators #3050
• Worked on the issue Enhance protocol security page on website #2703
• Worked on the issue Improve DMQ node setup documentation #3062

High level summary​

The SRE team continues work on Cardano environment improvements and general maintenance.

Some notable recent changes, updates or improvements include:

• For this biweekly period, SRE has been heavily engaged in support activity for the new USDCx service, now publicly announced here.

• The Dijkstra network was respun to facilitate new genesis parameter optimizations.

Repository Work -- Merged​

Acropolis​

acropolis PR#739:

• Create GitHub Actions for omnibus workflow, including mithril bootstrapping to a target epoch at which point integration tests and a smoke test are run. The workflow is scheduled as well as manually triggerable.

acropolis PR#744:

• Modify tests to not wait for keyboard input if a CI environment is detected.

acropolis PR#745:

• Add Cargo cache usage for CI GitHub Actions.

USDCx-infra​

master:

• SRE contributed work to date.

Repository Work In Progress -- PRs and Branches​

• Cardano-mainnet: https://github.com/input-output-hk/cardano-mainnet/pull/42
• Cardano-node: https://github.com/IntersectMBO/cardano-node/pull/6410
• Cardano-parts: https://github.com/input-output-hk/cardano-parts/pull/79
• Cardano-playground: https://github.com/input-output-hk/cardano-playground/pull/55

What did the team achieve?​

• Fixed a race-condition bug on decommits #2500
• Fixed bugs/stuck node issue around commits #2491
• Resolved issues users were having around computing time in contracts on the hydra-node #2162
• Fixed bug around deposits and chain rollbacks #2488
• Improve error reporting for missing script witness #2507
• Fix infinite AckSn loop bug related to decommits/commits #2510
• Add a few additional logging outputs aroud chain sync status #2483, #2393
• Great progress on partial fanout #1667

What's next?​

• Continue work on partial fanout
• Enable running the end-to-end tests on public testnets #2482
• Continue fixing incremental commit/decommit issues found under high transaction load #2519 (thanks Delta DeFi team!)
• Get more structure in our benchmarks #2439
• Support the upcoming Dijkstra Era #2495
• Release version 1.3.0

High level overview​

This week, the Mithril team continued implementing new succinct proofs. The team completed the lottery target value computation for SNARK, updated the protocol parameters to SNARK-friendly values, prepared the SNARK circuit refactoring, and removed the off-circuit module from the Halo2 circuit. They also continued working on SNARK pre-aggregation primitives and on signer authentication for SNARK, on the full review of the recursive circuit prototype, and on the technical report for the recursive Halo2 circuit.

Additionally, the team continued work on the new certification for Cardano blocks and transactions, implementing the transaction membership prover and proof routes in the aggregator REST API. They also started preparing the release of the 2608 distribution.

Finally, they fixed a bug related to a breaking change of the snapshot converter in Cardano node v.10.6.2 and fixed flaky unit tests in the SNARK circuit.

Low level overview​

Features​

• Completed the issue Compute Lottery Target Value for SNARK #2974
• Completed the issue Update protocol parameters to SNARK friendly values - Phase 2 #2969
• Completed the issue Prepare refactoring of SNARK circuit #2990
• Completed the issue Remove off-circuit module in Halo2 circuit #2945
• Worked on the issue Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943
• Worked on the issue Full review of recursive SNARK circuit prototype #2982
• Worked on the issue Prepare technical report for recursive Halo2 circuit #2981
• Worked on the issue Support for authenticated signer registration for SNARK #2915
• Worked on the issue Calibrate precision and Taylor expansion iterations for Lottery Target value computation #3034
• Worked on the issue Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988
• Worked on the issue Release 2608 distribution #2967

Protocol maintenance​

• Completed the issue Fix snapshot-converter breaking change in 10.6.2 #3010
• Completed the issue Certification stopped in testing-preview network #3015
• Completed the issue Aggregator in testing-preview panics at startup #3023
• Completed the issue Cardano blocks and transaction import fails on dev-mainnet #3028
• Completed the issue Client CLI proposes to restore a Legacy UTxO-HD snapshot above 10.6.2 #3029
• Worked on the issue Upgrade to Cardano 10.6 #2790
• Worked on the issue Some unit tests are flaky with future_snark feature #3017
• Worked on the issue Enhance protocol security page on website #2703