maxgillett

giza

A Cairo VM prover implemented using Winterfell

stark-attestations

Share private EVM state attestations using STARK proofs

halo2-fri-gadget

A FRI verifier circuit for the Halo2 proof system

tinysplat

A minimal 3D Gaussian splatting implementation with depth and density regularization

starknet-attestations

Generate non-transferable EVM state attestations linked to your Starknet account

hebbian_sequence_learning

Figure generation code for Gillett, Pereira & Brunel, 2019

zerosync

Sync a Bitcoin full node using a STARK proof

valida

A zkVM with an LLVM frontend

halo2-base

miden

STARK-based virtual machine

starkex-contracts

winterfell

A STARK prover and verifier for arbitrary computations

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

bsc

A Binance Smart Chain client based on the go-ethereum fork

cairo-lang

crypto-cpp

dynamic_speed_control

Figure generation code for Gillett & Brunel 2023

ethabi

Encode and decode smart contract invocations

gsplat

CUDA accelerated rasterization of gaussian splatting

halo2-ce

halo2-lib

Monorepo of halo2 crates

Plonky3

A collection of libraries related to polynomial IOPs (PIOPs)

poseidon

risc0-test

risc0_profiling_tool

stark101

starknet-btc-lightclient

thaler_reading_group

trezor-firmware

:lock: Trezor Firmware Monorepo

valida-compiler

LLVM backend compiler for the Valida zkVM