Ed25519 signature verification for Solana programs

Fixed-point math library with logarithmic and exponential functions. Designed for blockchain applications.

SDK for verifiable randomness function (VRF / RNG) on Solana

Solana Virtual Machine bytecode processor for IDA Pro

Surfpool is the best place to train before surfing Solana.

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