-
nomadic-labs/cryptography/privacy-team!21 Plonk refactor
- Merged
- Approved
updated -
updated
-
- Merged
- 5
- Approved
updated -
Skip slow tests in pipelines ran on push 1 of 1 checklist item completednomadic-labs/cryptography/privacy-team!10 Plonk refactor
- Merged
- Approved
updated -
- Merged
- 1
- Approved
updated -
nomadic-labs/cryptography/privacy-team!4 Plonk refactor
- Merged
- Approved
updated -
Translating R1CS to PlonK circuits 1 of 2 checklist items completednomadic-labs/cryptography/privacy-team!3 Plonk refactor
- Merged
- 1
- Approved
updated -
nomadic-labs/cryptography/privacy-team!2 Plonk refactor
- Merged
- Approved
updated -
nomadic-labs/cryptography/privacy-team!1 Plonk refactor
- Merged
- 14
updated -
updated
-
Draft : Working towards extraction 1 of 3 checklist items completed
- Merged
- 1
updated -
- Merged
- 1
- Approved
updated -
sapling-verification!12 [IMT verification] Functional Verification of IMTsupdated
-
Original overflowing implementation of singleton insert 2 of 3 checklist items completedupdated
-
Unify Coq and F* devs 6 of 6 checklist items completedsapling-verification!10 [IMT verification] Functional Verification of IMTsupdated
-
Draft: germanD@working branch 0 of 3 checklist items completedupdated
-
IMTs in Coq: Model of IMTs and single fixed-pos implementation 9 of 9 checklist items completed
- Merged
- 1
updated -
updated
-
- Merged
- 10
- Approved
updated -
updated