search

Hyle-org / verifiers-for-hyle

Apache License 2.0
10 stars 9 forks source link

feat: Add Cairo verifier #19

Closed maxgttph closed 2 months ago

wraitii commented 2 months ago

LGTM, long-term we'll need to split the prover somewhere else + actually know what program we're verifying