refactor(halo2_ivc): rename verify_and_prepare to verify_prepare across all test helpers
Home /
Input Output /
mithril
Apr 24, 8-9 AM (2)
Apr 24, 9-10 AM (1)
Apr 24, 10-11 AM (2)
Apr 24, 11-12 PM (3)
Apr 24, 12-1 PM (0)
Apr 24, 1-2 PM (16)
Apr 24, 2-3 PM (3)
Apr 24, 3-4 PM (4)
Apr 24, 4-5 PM (0)
Apr 24, 5-6 PM (0)
Apr 24, 6-7 PM (0)
Apr 24, 7-8 PM (0)
Apr 24, 8-9 PM (0)
Apr 24, 9-10 PM (0)
Apr 24, 10-11 PM (0)
Apr 24, 11-12 AM (0)
Apr 25, 12-1 AM (0)
Apr 25, 1-2 AM (0)
Apr 25, 2-3 AM (0)
Apr 25, 3-4 AM (1)
Apr 25, 4-5 AM (0)
Apr 25, 5-6 AM (0)
Apr 25, 6-7 AM (0)
Apr 25, 7-8 AM (0)
Apr 25, 8-9 AM (0)
Apr 25, 9-10 AM (0)
Apr 25, 10-11 AM (0)
Apr 25, 11-12 PM (0)
Apr 25, 12-1 PM (0)
Apr 25, 1-2 PM (0)
Apr 25, 2-3 PM (0)
Apr 25, 3-4 PM (0)
Apr 25, 4-5 PM (0)
Apr 25, 5-6 PM (0)
Apr 25, 6-7 PM (0)
Apr 25, 7-8 PM (0)
Apr 25, 8-9 PM (0)
Apr 25, 9-10 PM (0)
Apr 25, 10-11 PM (0)
Apr 25, 11-12 AM (0)
Apr 26, 12-1 AM (0)
Apr 26, 1-2 AM (0)
Apr 26, 2-3 AM (0)
Apr 26, 3-4 AM (0)
Apr 26, 4-5 AM (0)
Apr 26, 5-6 AM (0)
Apr 26, 6-7 AM (0)
Apr 26, 7-8 AM (0)
Apr 26, 8-9 AM (0)
Apr 26, 9-10 AM (0)
Apr 26, 10-11 AM (0)
Apr 26, 11-12 PM (0)
Apr 26, 12-1 PM (0)
Apr 26, 1-2 PM (0)
Apr 26, 2-3 PM (0)
Apr 26, 3-4 PM (0)
Apr 26, 4-5 PM (0)
Apr 26, 5-6 PM (0)
Apr 26, 6-7 PM (0)
Apr 26, 7-8 PM (0)
Apr 26, 8-9 PM (0)
Apr 26, 9-10 PM (0)
Apr 26, 10-11 PM (0)
Apr 26, 11-12 AM (0)
Apr 27, 12-1 AM (1)
Apr 27, 1-2 AM (0)
Apr 27, 2-3 AM (0)
Apr 27, 3-4 AM (0)
Apr 27, 4-5 AM (5)
Apr 27, 5-6 AM (8)
Apr 27, 6-7 AM (2)
Apr 27, 7-8 AM (7)
Apr 27, 8-9 AM (1)
Apr 27, 9-10 AM (0)
Apr 27, 10-11 AM (2)
Apr 27, 11-12 PM (4)
Apr 27, 12-1 PM (2)
Apr 27, 1-2 PM (3)
Apr 27, 2-3 PM (13)
Apr 27, 3-4 PM (19)
Apr 27, 4-5 PM (7)
Apr 27, 5-6 PM (0)
Apr 27, 6-7 PM (0)
Apr 27, 7-8 PM (0)
Apr 27, 8-9 PM (0)
Apr 27, 9-10 PM (0)
Apr 27, 10-11 PM (9)
Apr 27, 11-12 AM (9)
Apr 28, 12-1 AM (1)
Apr 28, 1-2 AM (0)
Apr 28, 2-3 AM (1)
Apr 28, 3-4 AM (0)
Apr 28, 4-5 AM (1)
Apr 28, 5-6 AM (7)
Apr 28, 6-7 AM (3)
Apr 28, 7-8 AM (4)
Apr 28, 8-9 AM (25)
Apr 28, 9-10 AM (12)
Apr 28, 10-11 AM (4)
Apr 28, 11-12 PM (3)
Apr 28, 12-1 PM (5)
Apr 28, 1-2 PM (22)
Apr 28, 2-3 PM (8)
Apr 28, 3-4 PM (1)
Apr 28, 4-5 PM (0)
Apr 28, 5-6 PM (0)
Apr 28, 6-7 PM (0)
Apr 28, 7-8 PM (0)
Apr 28, 8-9 PM (0)
Apr 28, 9-10 PM (0)
Apr 28, 10-11 PM (0)
Apr 28, 11-12 AM (0)
Apr 29, 12-1 AM (0)
Apr 29, 1-2 AM (0)
Apr 29, 2-3 AM (0)
Apr 29, 3-4 AM (0)
Apr 29, 4-5 AM (0)
Apr 29, 5-6 AM (0)
Apr 29, 6-7 AM (0)
Apr 29, 7-8 AM (3)
Apr 29, 8-9 AM (6)
Apr 29, 9-10 AM (1)
Apr 29, 10-11 AM (1)
Apr 29, 11-12 PM (9)
Apr 29, 12-1 PM (2)
Apr 29, 1-2 PM (1)
Apr 29, 2-3 PM (1)
Apr 29, 3-4 PM (3)
Apr 29, 4-5 PM (1)
Apr 29, 5-6 PM (0)
Apr 29, 6-7 PM (0)
Apr 29, 7-8 PM (0)
Apr 29, 8-9 PM (0)
Apr 29, 9-10 PM (0)
Apr 29, 10-11 PM (0)
Apr 29, 11-12 AM (11)
Apr 30, 12-1 AM (1)
Apr 30, 1-2 AM (0)
Apr 30, 2-3 AM (0)
Apr 30, 3-4 AM (0)
Apr 30, 4-5 AM (0)
Apr 30, 5-6 AM (4)
Apr 30, 6-7 AM (0)
Apr 30, 7-8 AM (7)
Apr 30, 8-9 AM (0)
Apr 30, 9-10 AM (0)
Apr 30, 10-11 AM (18)
Apr 30, 11-12 PM (4)
Apr 30, 12-1 PM (12)
Apr 30, 1-2 PM (2)
Apr 30, 2-3 PM (15)
Apr 30, 3-4 PM (2)
Apr 30, 4-5 PM (0)
Apr 30, 5-6 PM (0)
Apr 30, 6-7 PM (0)
Apr 30, 7-8 PM (0)
Apr 30, 8-9 PM (0)
Apr 30, 9-10 PM (1)
Apr 30, 10-11 PM (3)
Apr 30, 11-12 AM (1)
May 01, 12-1 AM (9)
May 01, 1-2 AM (0)
May 01, 2-3 AM (0)
May 01, 3-4 AM (0)
May 01, 4-5 AM (0)
May 01, 5-6 AM (0)
May 01, 6-7 AM (0)
May 01, 7-8 AM (0)
May 01, 8-9 AM (0)
337 commits this week
Apr 24, 2026
-
May 01, 2026
refactor(halo2_ivc): clean up Layer C1 test code
test(halo2_ivc): add Layer C1 public-input enforcement tests
test(halo2_ivc): add Layer C1 certificate proof enforcement tests
test(halo2_ivc): add Layer C1 state transition constraint tests
test(halo2_ivc): add Layer C1 previous IVC proof enforcement tests
test(halo2_ivc): add Layer C1 genesis gating tests
test(halo2_ivc): add Layer C1 accumulator enforcement tests
test(halo2_ivc): scaffold Layer C1 in-circuit verification test module
test(halo2_ivc): add Layer C1 accumulator enforcement tests
test(halo2_ivc): add Layer C1 previous IVC proof enforcement tests
test(halo2_ivc): add Layer C1 certificate proof enforcement tests
docs(website): fix doubled title on homepage
The homepage rendered as "Mithril | Trustless Light Client Access for Cardano | Mithril | Trustless state proofs for Cardano" because the Layout title prop was concatenated with a site title that already contained the brand and a descriptor. Shorten the site title to "Mithril" so subpages render as "[page] | Mithril", and use Head to set the homepage title directly to "Mithril | Trustless state proofs for Cardano" without doubling. Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>
Merge pull request #3225 from input-output-hk/damrobi/msnark/3216-detect-circuit-modif
feat(stm): detect circuit modification
test: add "start to signing with all + unstables entities" integration test in signer + aggreator
Those tests were backported locally on the previous distribution (`2603.1`), were the `CardanoBlocksTransactions` entity was badly handled, to check that they would have fails.
feat(common): add test extensions for signed entity discriminants
To allow listing them all, including unstable
chore(stm): updated crate version and fixed runbook
doc: splitted command lines
chore(stm): updated changelog
doc: fixed the integrity commands in the new runbook
fix(stm): Added back the writing functions for the production keys and updated the runbook
fix(stm): update location of verification keys for production
refactor(stm): Updated function names, comments and replace bin scripts
feat(stm): added functions to generate the verification keys
doc: updated runbook