unroll: drop zero-tree-depth gate that can block legitimate proofs (#372) - #455
Closed
ellemouton wants to merge 1 commit into
Closed
unroll: drop zero-tree-depth gate that can block legitimate proofs (#372)#455ellemouton wants to merge 1 commit into
ellemouton wants to merge 1 commit into