This is an experimental implementation of a Cairo VM verifier in Arkworks. Ported from swiftness.
QEDProtocol/ark-swiftness
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is an experimental implementation of a Cairo VM verifier in Arkworks. Ported from swiftness.