Skip to content

Circuit constraint refinements to reduce proof size#169

Merged
str4d merged 12 commits intomainfrom circuit-constraint-refinementsSep 14, 2021

Commits

Commits on Jul 29, 2021

Commits on Aug 19, 2021

Commits on Sep 1, 2021

Commits on Sep 6, 2021

Commits on Sep 7, 2021