Logbook - input-output-hk/mithril GitHub Wiki

This page records a log of the team’s work, thinking, discussions, pains, joys, events, and experiences that happen on a daily basis. It’s supposed to be a kind of Stream of consciousness that can later be searched, analyzed, reviewed in more formal retrospectives.

Rules:

Log days in reverse chronological order, recent first
When the stream is getting too big, such that github refuses to render do the following:
- extract biggest logical section (half-year or quarter) out of this into a correspondingly named Logbook-Year-Hn.md or Logbook-Year-Qn.md page
- update links on top of this page to make it easier to navigate try to fix all links in the wiki at least
- notify the team
Move (and link) recurring sections to relevant dedicated pages.

History

Full history

2026-H1

June 26
May 26
April 26
March 26
February 26
January 26

2025-H2

2025-H1

2024-H2

2024-H1

2023-H2

2023-H1

2022-H2

2022-H1

2021

2021

July

2026-07-03

Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: the PR refactor(stm): Refactor prover input preparation #3326 has been reviewed and approved. it will be merged shortly
Implement recursive SNARK proof generation and verification in end to end tests #3142: the PR feat(e2e): support IvcSnark proofs and harden the e2e test suite waits #3365 has been reviewed and approved. It will be merged shortly
Update DMQ node to 0.7.0.0 #3358: the PR feat: upgrade DMQ node to 0.7.0.0 #3361 has been updated. Once the release 0.7.0.0 of DMQ node is available, it will be ready to be merged.
Refactor SNARK recursive circuit - Midnight library decoupling #3129: we have kept working on the issue
Test that SNARK circuits degree are unchanged #3330: we have kept working on the issue
Release 2626 distribution #3271: we have kept working on the issue
Enhance aggregator state machine to support Blocked state #3333: we have kept working on the issue
Upgrade to Cardano 11.1 #3346: we have kept working on the issue

2026-07-02

Refactor unsafe SNARK setup #3300: the PR refactor(mithril-stm): refactor and stabilize the SNARK setups #3349 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 updated and received review comments, it is pending further review
Implement recursive SNARK proof generation and verification in end to end tests #3142: the PR feat(e2e): support IvcSnark proofs and harden the e2e test suite waits #3365 has been updated and received review comments, it is pending further review
Release 2626 distribution #3271: we have kept working on the issue
Enhance aggregator state machine to support Blocked state #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

2026-07-01

Mark stale issues and PRs with GitHub workflow #3339: the PR fix(ci): Fixing issue and PR labels exclusion of stale job with Github format emojis #3364 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 reviewed and approved. It will be merged shortly
Implement recursive SNARK proof generation and verification in end to end tests #3142: the PR feat(e2e): support 'IvcSnark' and harden the test suite waits #3365 has been created, it is pending review
Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: we have kept working on the issue
Release 2626 distribution #3271: we have kept working on the issue
Enhance aggregator state machine to support Blocked state #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

⚠️ GitHub.com Fallback ⚠️