SP1-Solana
Verifies Groth16 proofs on Solana using BN254 precompiles for efficient cryptographic operations.
RustSolanaZero Knowledge ProofsGroth16
kzg-rs
Rust implementation of KZG point evaluation for zero-knowledge proof systems.
RustCryptographyZero Knowledge Proofs
Private Search
Private web search implementation for local language models.
RustLLMPrivacySearch
Snark BN254 Verifier
Recursive Groth16 and PlonK proof verifier implementation.
RustZero Knowledge ProofsGroth16PlonK
Chiquito VM
Halo2 Virtual Machine implementation using Chiquito.
RustHalo2Zero Knowledge ProofsVirtual Machine
TinyCrypto Algebra
Tinygrad-based algebra implementation with finite fields, elliptic curves, and polynomials.
PythonCryptographyLinear AlgebraFinite Fields
ZLP
Lambda calculus interpreter in Zig with De Bruijn indices and beta reduction.
ZigLambda CalculusParserInterpreter