Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / okm165/stone-prover-cairo0-verifier issues and pull requests

#3 - Do we have a way to generate proofs for Cairo1 and verify them using Cairo0/Cairo1 verifier?

Issue - State: closed - Opened by alexzhenyu 10 months ago - 5 comments
Labels: question

#2 - Recursive layout

Pull Request - State: closed - Opened by PatStiles 11 months ago

#1 - Generating a proof-of-verification

Issue - State: closed - Opened by Retamogordo about 1 year ago - 3 comments