Okm165/stone-prover-cairo0-verifier Okm165/stone-prover-cairo0-verifier

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
  • Created 11 months ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Okm165/stone-prover-cairo0-verifier
github

Okm165

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Integrating Stone Prover's generated proofs with the Cairo0 verifier

More Repositories

1

cairo1-cairo0bootloader

Cairo1 execution in Cairo0 environment
Cairo
7
star
2

zerosync-starknet

Zerosync-StarkNet Proof Verification Toolkit
Cairo
4
star
3

selftech_website

TypeScript
1
star
4

op-agh

Java
1
star
5

applicative_bootloader

Cairo0 applicative bootloader minimal
1
star