Frobenius sumcheck for vectorized boolean ops

The Nexus zkVM: The zero-knowledge virtual machine

a lattice lib for building snarks

Windowed big integer multiplication implementation on Bitcoin Script

My personal website written in rust via yew/wasm

Tools for STARK proving using cupy

An `arkworks` library for low-degree testing

A STARK proof to sync a Bitcoin full node in an instant.

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

Gadgets for covenants: Schnorr trick and txid reflection

Examples of covenants in Bitcoin script

Implementations of popular elliptic curves

Libraries for finite field, elliptic curve, and polynomial arithmetic

The math library of Lean 4

A STARK prover and verifier for arbitrary computations

Source code for "Building Cryptographic Proofs from Hash Functions"

Arithmetic over the M31 or BabyBear field in Bitcoin Script

Experimental folding schemes library

Using folding schemes for a provable bitcoin light client

Helper lib to write complex bitcoin scripts

Rust Bitcoin library

Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.

Smarter Bitcoin Contracts

Cryptography Toolkit

A toolkit for cryptanalysis using lattices.