-
starknet-types-core
Core types representation for Starknet
-
miden-prover
Miden VM prover
-
winter-prover
Winterfell STARK prover
-
air-script-core
Core types for the AirScript compiler
-
air-ir
Intermediate representation for the AirScript language
-
air-parser
Parser for the AirScript language
-
evm_arithmetization
STARKs for the Ethereum Virtual Machine
-
proof_gen
Generates block proofs from zero proof IR
-
zkp-stark
STARK ZK-proof system
-
stark-felt
Field element type for Cairo
-
rpo-xhash-m31
RPO‑M31 and XHash‑M31 hash permutations, with a Sponge facade for Circle‑STARKs and zk‑friendly hashing
-
trace_decoder
Ethereum node witness -> Prover input
-
stark_evm_adapter
a lib/CLI for adapting STARK proofs for verification on the EVM
-
ministark-gpu
GPU optimized primitives commonly used by STARK/SNARK provers
-
stark
blazingly fast static site generator
-
smt_trie
Types and utility functions for building/working with Polygon Hermez Sparse Merkle Trees
-
zk_evm_common
Common types and utility methods for the Polygon Zero zkEVM
-
integrity
verifying STARK proofs from
swiftnessonintegrity
Try searching with DuckDuckGo.