A Sovereign Signal project
01EntryItem
Archive
A domain-specific language for SNARK proving systems compatible with any ACIR backend.