Skip to content

Backport of recursive verifier as an ultracircuit#67

Merged
jeanmon merged 1 commit into
avmfrom
jm/backport-recursive-ver-as-ultracircuit
May 29, 2024
Merged

Backport of recursive verifier as an ultracircuit#67
jeanmon merged 1 commit into
avmfrom
jm/backport-recursive-ver-as-ultracircuit

Commits

Commits on May 29, 2024