2 results found Sort:

starkscan
starkscan-verifier starkscan
257
1.3k
agpl-3.0
68
Verify Cairo contracts on Starkscan in 1 minute.
ethereum starknet zk-stark starkware zk-rollup zk-starks blockchain zk-technology block-explorer
Created 2022-09-12
29 commits to main branch, last one about a year ago
risc0
risc0-lean4 risc0
3
56
apache-2.0
19
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
lean zkvm lean4 risc0 riscv risc-v riscv32 zk-stark riscv32im zero-knowledge
Created 2022-11-26
281 commits to main branch, last one about a year ago