-
-
sp1-poseidon2 Public
Implementation of Poseidon2 precompile and SHA2 constraints optimizations
Rust Apache License 2.0 UpdatedSep 8, 2025 -
-
-
zkp_systems_workshops Public
Zero-Knowledge Proof systems: A Deep Dive from Foundations to Frontiers
-
stwo-web-stark Public
Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
-
-
-
awesome-stwo Public
Forked from keep-starknet-strange/awesome-stwoA curated list of awesome projects using STWO.
MIT License UpdatedFeb 18, 2025 -
cairo-bootloader Public
Forked from zksecurity/cairo-bootloaderCairo bootloader port for the Rust Cairo VM.
-
dkim Public
Forked from cloudflare/dkimDKIM (RFC6376) implementation
Rust MIT License UpdatedFeb 8, 2025 -
swiftness-solana Public
Cairo-VM Stark Verifier Solana deployment
-
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Rust MIT License UpdatedJan 23, 2025 -
-
awesome-zkvm Public
Forked from rkdud007/awesome-zkvmA curated list of zkVM, zero-knowledge virtual machine
MIT License UpdatedJan 22, 2025 -
binius Public
Forked from IrreducibleOSS/biniusA SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
Rust Apache License 2.0 UpdatedJan 21, 2025 -
stone-cli Public
Forked from zksecurity/stone-clistone-cli is a CLI for proving and verifying Cairo programs.
Rust Apache License 2.0 UpdatedJan 20, 2025 -
-
binius-web-snark Public
Binius circuits web demos
-
stone-prover-sdk Public
Forked from Moonsong-Labs/stone-prover-sdkRust library for the Stone prover and verifier.
Rust MIT License UpdatedOct 28, 2024 -
-
sp1-bootloader-program Public template
Forked from succinctlabs/sp1-project-templateSP1 bootloader host program
Rust MIT License UpdatedOct 3, 2024 -
applicative_bootloader Public
Cairo0 applicative recursion - minimal example
-
solana Public
Forked from solana-labs/solanaWeb-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Rust Apache License 2.0 UpdatedSep 13, 2024 -
-
offchain-evm-headers-processor Public
Forked from HerodotusDev/offchain-evm-headers-processorCairo GNU General Public License v3.0 UpdatedJul 26, 2024 -
valida Public
Forked from valida-xyz/validaA STARK-based VM focused on code reuse, performance, and modularity
Rust Apache License 2.0 UpdatedJul 15, 2024 -
cairo1-cairo0bootloader Public
Cairo1 execution in Cairo0 environment
-
-
makemore Public
Forked from karpathy/makemoreAn autoregressive character-level language model for making more things
Python MIT License UpdatedJun 4, 2024
{{ message }}