The Solana assertion protocol

A WebAssembly runtime implemented in TypeScript types

An SVM/Anchor optimised Merkle tree

Experimental folding schemes library

Bad Apple using Windows windows

A Rust implementation of the Groth16 zkSNARK

A code coverage tool for Rust projects

Libraries for finite field, elliptic curve, and polynomial arithmetic

Solana smart contract framework.

Purpose built VM for reduced fees on Solana

The modern Solana framework for the browser and node.js

A Poseidon Hash implementation in Zig

a Solana validator client implementation written in Zig

Circom arithmetic circuits and concepts explained, in depth.

A testing & development environment for Circom.

Rust crate to generate and verify proofs for Noir circuits

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

groth16 verifier implementation with solana altbn syscalls

Solana list of zk shiz

solana + risc0

Noir is a domain specific language for zero knowledge proofs

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Interfaces for Relations and SNARKs for these relations

The Halo2 zero-knowledge proving system

zkSnark circuit compiler

comprehensive reference repository for sBPF (Solana Berkeley Packet Filter) assembly programming

An open infrastructure to democratize and decentralize the development of superintelligence for humanity.

The Solana Stake program and its clients