Search Results - RepositoryStats

2 results found Sort:

255

1.3k

agpl-3.0

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 2 years ago

apache-2.0

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 2 years ago