Logbook

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

• July 26
• 2026-H1
• 2025-H2
• 2025-H1
• 2024-H2
• 2024-H1
• 2023-H2
• 2023-H1
• 2022-H2
• 2022-H1
• 2021

Full history

2026-H1

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

2025-H2

• December 25
• November 25
• October 25
• September 25
• August 25
• July 25

2025-H1

• June 25
• May 25
• April 25
• March 25
• February 25
• January 25

2024-H2

• December 24
• November 24
• October 24
• September 24
• August 24
• July 24

2024-H1

• June 24
• May 2024
• April 2024
• March 2024
• February 2024
• January 2024

2023-H2

• December 2023
• November 2023
• October 2023
• September 2023
• August 2023
• July 2023

2023-H1

• June 2023
• May 2023
• April 2023
• March 2023
• February 2023
• January 2023

2022-H2

• December 2022
• November 2022
• October 2022
• September 2022
• August 2022
• July 2022

2022-H1

• June 2022
• May 2022
• April 2022
• March 2022

2021

• 2021

July

2026-07-21

• Prepare documentation website to docusaurus v4 #3411: we have concluded the work and the issue is closed
• Release 2628 distribution #3271: we have kept working on the issue
• Implement aggregator CLI commands for configuration parameters #3392: we have kept working on the issue
• Create runbook for on-chain configuration parameters #3399: we have kept working on the issue
• Analyze and optimize the testing strategy of the STM SNARK modules #3405: we have kept working on the issue
• Transfer repository to IntersectMBO organization #3276: we have kept working on the issue
• Update DMQ node to 0.7.0.0 #3358: we have kept working on the issue
• Upgrade to Cardano 11.1 #3346: we have kept working on the issue
• Update documentation website to docusaurus stable version 3.10.2 #3413: we have kept working on the issue
• Update documentation website to tailwind v4 #3414: we have kept working on the issue

2026-07-20

• Enable plutus friendly hash for IVC proving #3307: the PR feat(stm): enable plutus friendly hash #3417 has been reviewed, approved and merged. The issue is closed
• Transfer repository to IntersectMBO organization #3276: the repository has been moved to IntersectMBO organization 🎉 . The PR docs: add dev blog post for the repository transfer to IntersectMBO #3419 has been reviewed and approved.
• Refactor error handling from Midnight library #3382: we have kept working on the issue
• Release 2628 distribution #3271: we have kept working on the issue
• Implement aggregator CLI commands for configuration parameters #3392: we have kept working on the issue
• Create runbook for on-chain configuration parameters #3399: we have kept working on the issue
• Analyze and optimize the testing strategy of the STM SNARK modules #3405: we have kept working on the issue
• Prepare documentation website to docusaurus v4 #3411: we have kept working on the issue
• Update documentation website to docusaurus stable version 3.10.2 #3413: we have kept working on the issue
• Update documentation website to tailwind v4 #3414: we have kept working on the issue
• Update DMQ node to 0.7.0.0 #3358: we have kept working on the issue
• Upgrade to Cardano 11.1 #3346: we have kept working on the issue

2026-07-17

• Upgrade midnight-zk to 2.3.3 #3375: the PR feat(stm): upgrade midnight zk 2.3.3 and update the circuit keys #3400 has been reviewed, approved and merged. The issue is closed
• Simplify the SignersRegistrationRetriever trait #3410: the PR refactor(signer): simplify registration retriever #3415 has been reviewed, approved and merged. The issue is closed
• Refactor error handling from Midnight library #3382: the PR refactor(stm): refactor error handling from Midnight library #3416 has been reviewed and received a first approval, it is pending further review
• Transfer repository to IntersectMBO organization #3276: the PR chore: update the repository for the IntersectMBO organization transfer #3418 has been reviewed and received a first approval, it is pending further review, and the PR docs: add dev blog post for the repository transfer to IntersectMBO #3419 has been created, it is pending review
• Enable plutus friendly hash for IVC proving #3307: the PR feat(stm): enable plutus friendly hash #3417 has been created, it is pending review
• Release 2628 distribution #3271: we have kept working on the issue
• Implement aggregator CLI commands for configuration parameters #3392: we have kept working on the issue
• Analyze and optimize the testing strategy of the STM SNARK modules #3405: we have kept working on the issue
• Prepare documentation website to docusaurus v4 #3411: we have kept working on the issue
• Update documentation website to docusaurus stable version 3.10.2 #3413: we have kept working on the issue
• Update DMQ node to 0.7.0.0 #3358: we have kept working on the issue
• Upgrade to Cardano 11.1 #3346: we have kept working on the issue

2026-07-16

• Refactor the non-recursive SNARK proof to not carry the circuit verification key #3380: the PR refactor(stm): carry the non-recursive SNARK verifying key in ancillary verifier data #3408 has been reviewed, approved and merged. The issue is closed
• Upgrade midnight-zk to 2.3.3 #3375: we have kept working on the issue
• Release 2628 distribution #3271: we have kept working on the issue
• Implement aggregator CLI commands for configuration parameters #3392: we have kept working on the issue
• Analyze and optimize the testing strategy of the STM SNARK modules #3405: we have kept working on the issue
• Refactor error handling from Midnight library #3382: we have started to work on the issue
• Update DMQ node to 0.7.0.0 #3358: we have kept working on the issue
• Upgrade to Cardano 11.1 #3346: we have kept working on the issue
• Simplify the SignersRegistrationRetriever trait #3410: we have kept working on the issue
• Prepare website to docusaurus v4 #3411: the issue has been created and groomed
• Add benchmarks for the IVC SNARK recursive circuit #3412: the issue has been created and groomed
• Update documentation website to docusaurus stable version 3.10.2 #3413: the issue has been created and groomed
• Update documentation website to tailwind v4 #3414: the issue has been created and groomed

2026-07-15

• Capture e2e execution logs in artifacts #3362: the PR Capture e2e execution logs in artifacts #3404 has been reviewed, approved and merged. The issue is closed
• Remove docker-build: in make files #3406: the PR Remove docker-build #3407 has been reviewed, approved and merged. The issue is closed
• Refactor the non-recursive SNARK proof to not carry the circuit verification key #3380: the PR refactor(stm): carry the non-recursive SNARK verifying key in ancillary verifier data #3408 has been reviewed and approved, it will be merged shortly
• Upgrade midnight-zk to 2.3.3 #3375: the PR feat(stm): upgrade midnight zk 2.3.3 and update the circuit keys #3400 has been updated and approved. It will be merged shortly
• Enhance aggregator support for signatures when not ready #3409: the issue has been created and groomed
• Simplify the SignersRegistrationRetriever trait #3410: the issue has been created and groomed
• Release 2628 distribution #3271: we have kept working on the issue
• Implement aggregator CLI commands for configuration parameters #3392: we have kept working on the issue
• Analyze and optimize the testing strategy of the STM SNARK modules #3405: we have kept working on the issue
• Update DMQ node to 0.7.0.0 #3358: we have kept working on the issue
• Upgrade to Cardano 11.1 #3346: we have kept working on the issue

2026-07-10

• Refactor SNARK recursive circuit - Modularity enhancement with gadgets #3131: the PR refactor(mithril-stm): enhance halo2_ivc modularity with gadgets #3402 has been reviewed, approved and merged. The issue is closed
• Capture e2e execution logs in artifacts #3362: the PR Capture e2e execution logs in artifacts #3404 has been reviewed and approved. It will be merged shortly
• Remove docker-build: in make files #3406: the issue has been created and the PR Remove docker-build #3407 has been created, reviewed and received a first approval, it is pending further review
• Upgrade midnight-zk to 2.3.3 #3375: the PR feat(stm): DO NOT MERGE CIRCUIT KEYS UPDATED and upgrade midnight zk 2.3.3 #3400 has been updated and received review comments, it is pending further review
• Release 2628 distribution #3271: we have kept working on the issue
• Analyze and optimize the testing strategy of the STM SNARK modules #3405: we have started to work on the issue
• Update DMQ node to 0.7.0.0 #3358: we have kept working on the issue
• Upgrade to Cardano 11.1 #3346: we have kept working on the issue
• We have also rotated the KES keys of the test SPOs we operate

2026-07-09

• Mithril install script fails for unstable version #3386: the PR fix: harden the Mithril install script against GitHub API errors #3401 has been reviewed, approved and merged. The issue is closed
• Enhance aggregator state machine to support Blocked state #3333: the PR feat(aggregator): add state machine blocked state #3372 has been reviewed, approved and merged. The issue is closed
• Refactor SNARK recursive circuit - Modularity enhancement with gadgets #3131: the PR refactor(mithril-stm): enhance halo2_ivc modularity with gadgets #3402 has been reviewed and received a first approval, it is pending further review
• Upgrade midnight-zk to 2.3.3 #3375: the PR feat(stm): DO NOT MERGE CIRCUIT KEYS UPDATED and upgrade midnight zk 2.3.3 #3400 has been updated and received review comments, it is pending further review
• Capture e2e execution logs in artifacts #3362: the PR Capture e2e execution logs in artifacts #3404 has been updated and received review comments, it is pending further review
• Release 2628 distribution #3271: we have kept working on the issue
• Update DMQ node to 0.7.0.0 #3358: we have kept working on the issue
• Upgrade to Cardano 11.1 #3346: we have kept working on the issue

2026-07-08

• Upgrade Rust to version 1.97 #3387: the PR fix: anticipate Rust 1.97 clippy warnings #3391 has been reviewed, approved and merged. The issue is closed
• Mithril install script fails for unstable version #3386: the bug issue has been created
• Release 2628 distribution #3271: we have kept working on the issue
• Refactor SNARK recursive circuit - Modularity enhancement with gadgets #3131: we have kept working on the issue
• Upgrade midnight-zk to 2.3.3 #3375: we have kept working on the issue
• Enhance aggregator state machine to support Blocked state #3333: we have kept working on the issue
• Capture e2e execution logs in artifacts #3362: we have kept working on the issue
• Update DMQ node to 0.7.0.0 #3358: we have kept working on the issue
• Upgrade to Cardano 11.1 #3346: we have kept working on the issue

2026-07-07

• Test that SNARK circuits degree are unchanged #3330: the PR feat(stm): add tests to circuit degrees are unchanged #3370 has been reviewed, approved and merged. The issue is closed
• Release 2627 distribution #3271: the PR chore: update dependencies for distribution 2627 #3373 has been reviewed, approved and merged
• Refactor SNARK recursive circuit - Midnight library decoupling #3129: the PR refactor(stm): rename recursive-circuit backend aliases to meaningful names #3368 has been reviewed, approved and merged
• Update DMQ node to 0.7.0.0 #3358: the PR feat: upgrade DMQ node to 0.7.0.0 #3361 has been reviewed and approved, it will be merged shortly
• Upgrade midnight-zk to 2.3.3 #3375: the issue has been created and groomed
• Refactor SNARK recursive circuit - Modularity enhancement with gadgets #3131: we have kept working on the issue
• Enhance aggregator state machine to support Blocked state #3333: we have kept working on the issue
• Capture e2e execution logs in artifacts #3362: we have kept working on the issue
• Upgrade to Cardano 11.1 #3346: we have kept working on the issue

2026-07-06

• Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319: the PR refactor(stm): Refactor prover input preparation #3326 has been reviewed, approved and merged. The issue is closed
• 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, approved and merged
• Refactor SNARK recursive circuit - Midnight library decoupling #3129: the PR refactor(stm): rename recursive-circuit backend aliases to meaningful names #3368 has been reviewed and approved. it will be merged shortly
• Test that SNARK circuits degree are unchanged #3330: the PR feat(stm): add tests to circuit degrees are unchanged #3370 has been created, it is pending review
• Update DMQ node to 0.7.0.0 #3358: 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
• Capture e2e execution logs in artifacts #3362: we have started to work on the issue
• Upgrade to Cardano 11.1 #3346: we have kept working on the issue

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