paweljakubas · Wed, 04 Mar 26 19:43:47 +0000 · cardano-addresses Merge pull request #379 from IntersectMBO/paweljakubas/fix-coverage-2 another fix 9e1961ee · master · 1/6 ++ 2 --
dnadales · Wed, 04 Mar 26 19:34:50 +0000 · ouroboros-consensus Merge branch 'main' into dnadales/bump-minimatch ec8341b9 · dnadales/bump-minimatch · 1/3 ++ 0 --
curiecrypt · Wed, 04 Mar 26 19:32:33 +0000 · mithril refactor(stm): revert back msg size in proptests ae227a9c · curiecrypt/msnark/phase2-single-signature-for-snark · 1/8 ++ 8 --
curiecrypt · Wed, 04 Mar 26 19:32:33 +0000 · mithril fix(stm): address minor copilot suggestions a2fd2a20 · curiecrypt/msnark/phase2-single-signature-for-snark · 4/26 ++ 10 --
curiecrypt · Wed, 04 Mar 26 19:32:33 +0000 · mithril fix(stm): update indices doc comment d6146410 · curiecrypt/msnark/phase2-single-signature-for-snark · 1/2 ++ 2 --
curiecrypt · Wed, 04 Mar 26 19:32:33 +0000 · mithril fix(stm): manual impl of ok changed as direct ok impl b4714046 · curiecrypt/msnark/phase2-single-signature-for-snark · 1/1 ++ 4 --
curiecrypt · Wed, 04 Mar 26 19:32:33 +0000 · mithril fix(stm): Fall back to a concatenation-only signature when SNARK fails 242fd1bd · curiecrypt/msnark/phase2-single-signature-for-snark · 1/4 ++ 1 --
curiecrypt · Wed, 04 Mar 26 19:32:32 +0000 · mithril fix(stm): remove duplicate future snark - toml signer 8af6b968 · curiecrypt/msnark/phase2-single-signature-for-snark · 1/3 ++ 2 --
curiecrypt · Wed, 04 Mar 26 19:32:32 +0000 · mithril fix(stm): return StmResult<bool> for lottery check for an index 5e5b822b · curiecrypt/msnark/phase2-single-signature-for-snark · 2/30 ++ 30 --
curiecrypt · Wed, 04 Mar 26 19:32:32 +0000 · mithril fix(stm): minor fixes in message build and single signature to bytes conversion e2b25756 · curiecrypt/msnark/phase2-single-signature-for-snark · 2/8 ++ 7 --
curiecrypt · Wed, 04 Mar 26 19:32:32 +0000 · mithril fix(stm): resolve issues of tests with the latest updates 1eba867c · curiecrypt/msnark/phase2-single-signature-for-snark · 2/10 ++ 7 --
curiecrypt · Wed, 04 Mar 26 19:32:32 +0000 · mithril ci(stm): revise tests for new version of check_lottery_for_index eef94f81 · curiecrypt/msnark/phase2-single-signature-for-snark · 2/2 ++ 4 --
curiecrypt · Wed, 04 Mar 26 19:32:29 +0000 · mithril test(stm): remove tests in mod fa37005c · curiecrypt/msnark/phase2-single-signature-for-snark · 2/3 ++ 459 --
curiecrypt · Wed, 04 Mar 26 19:28:45 +0000 · mithril refactor(stm): verify does not check lottery 27094bd9 · curiecrypt/msnark/phase2-single-signature-for-snark · 3/5 ++ 105 --
curiecrypt · Wed, 04 Mar 26 19:28:44 +0000 · mithril fix(stm): derive Eq, PartialEq 498b9831 · curiecrypt/msnark/phase2-single-signature-for-snark · 6/7 ++ 54 --
curiecrypt · Wed, 04 Mar 26 19:28:44 +0000 · mithril fix(stm): snark signature lottery check works for all winning indices e898d098 · curiecrypt/msnark/phase2-single-signature-for-snark · 5/162 ++ 147 --
curiecrypt · Wed, 04 Mar 26 19:28:44 +0000 · mithril fix(stm): minor revisions b35dfbf2 · curiecrypt/msnark/phase2-single-signature-for-snark · 4/9 ++ 10 --
curiecrypt · Wed, 04 Mar 26 19:28:44 +0000 · mithril refactor(stm): move compute_winning_lottery_indices to eligibility 146a537d · curiecrypt/msnark/phase2-single-signature-for-snark · 3/36 ++ 34 --
curiecrypt · Wed, 04 Mar 26 19:28:41 +0000 · mithril fix(stm): build message fixed for circuit compatibility 7e256e99 · curiecrypt/msnark/phase2-single-signature-for-snark · 12/353 ++ 109 --
wolf31o2 · Wed, 04 Mar 26 19:27:11 +0000 · ouroboros-leios Fix CI using bracket notation as suggested by Copilot. Co-authored-by: Copilot <[email protected]> 92d17382 · ci/antithesis-leios-images · 1/1 ++ 1 --
curiecrypt · Wed, 04 Mar 26 19:23:33 +0000 · mithril fix(stm): discard duplicate lottery helpers 7236c5fb · curiecrypt/msnark/phase2-single-signature-for-snark · 4/71 ++ 122 --
curiecrypt · Wed, 04 Mar 26 19:23:31 +0000 · mithril test(stm): tests for halo2_snark 2146bcdf · curiecrypt/msnark/phase2-single-signature-for-snark · 9/519 ++ 16 --
curiecrypt · Wed, 04 Mar 26 19:20:22 +0000 · mithril refactor(stm): min winning index for snark single signature 6d65dced · curiecrypt/msnark/phase2-single-signature-for-snark · 10/163 ++ 136 --
paweljakubas · Wed, 04 Mar 26 19:19:15 +0000 · cardano-addresses another fix 37ff882f · paweljakubas/fix-coverage-2 · 1/6 ++ 2 --
Alenar · Wed, 04 Mar 26 19:17:53 +0000 · mithril wip prover 56fdbd9c · djo/2987/prover_for_blocks_transactions · 1/135 ++ 3 --