-
sapling-verification!12 [IMT verification] Functional Verification of IMTs
-
Original overflowing implementation of singleton insert 2 of 3 checklist items completed
-
Unify Coq and F* devs 6 of 6 checklist items completedsapling-verification!10 [IMT verification] Functional Verification of IMTs
-
Draft: germanD@working branch 0 of 3 checklist items completed
-
IMTs in Coq: Model of IMTs and single fixed-pos implementation 9 of 9 checklist items completed
-
-
Draft : Working towards extraction 1 of 3 checklist items completed
-
-
-
-
-
-
-
-
-
-
-
-
nomadic-labs/cryptography/privacy-team!53 Plonk refactor
-
nomadic-labs/cryptography/privacy-team!52 Plonk refactor