Okm165
commented
5 months ago Is https://github.com/HerodotusDev/integrity/pull/129 still relevant?
Closed delaaxe closed 4 months ago
Okm165
commented
5 months ago Is https://github.com/HerodotusDev/integrity/pull/129 still relevant?
delaaxe
commented
5 months ago Is #129 still relevant?
Closed. Can you activate the workflows for me on this PR?
Adapts proof verification for Cairo1 proofs
Closes #128