Pinned Repositories
coursera
Repository for Coursera coursework
giza
A Cairo VM prover implemented using Winterfell
halo2-fri-gadget
A FRI verifier circuit for the Halo2 proof system
hebbian_sequence_learning
Figure generation code for Gillett, Pereira & Brunel, 2019
s3_multipart
Direct multipart uploading to Amazon S3 in Rails
sketch-image-mapper
Turn Sketch artboards into HTML image maps
stark-attestations
Share private EVM state attestations using STARK proofs
starknet-attestations
Generate non-transferable EVM state attestations linked to your Starknet account
tinysplat
A minimal 3D Gaussian splatting implementation with depth and density regularization
valida
A STARK-based VM focused on code reuse, performance, and modularity
maxgillett's Repositories
maxgillett/giza
A Cairo VM prover implemented using Winterfell
maxgillett/halo2-fri-gadget
A FRI verifier circuit for the Halo2 proof system
maxgillett/stark-attestations
Share private EVM state attestations using STARK proofs
maxgillett/tinysplat
A minimal 3D Gaussian splatting implementation with depth and density regularization
maxgillett/starknet-attestations
Generate non-transferable EVM state attestations linked to your Starknet account
maxgillett/hebbian_sequence_learning
Figure generation code for Gillett, Pereira & Brunel, 2019
maxgillett/zerosync
Sync a Bitcoin full node using a STARK proof
maxgillett/valida
A zkVM with an LLVM frontend
maxgillett/halo2-base
maxgillett/miden
STARK-based virtual machine
maxgillett/starkex-contracts
maxgillett/winterfell
A STARK prover and verifier for arbitrary computations
maxgillett/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
maxgillett/bsc
A Binance Smart Chain client based on the go-ethereum fork
maxgillett/cairo-lang
maxgillett/crypto-cpp
maxgillett/dynamic_speed_control
Figure generation code for Gillett & Brunel 2023
maxgillett/ethabi
Encode and decode smart contract invocations
maxgillett/gsplat
CUDA accelerated rasterization of gaussian splatting
maxgillett/halo2-ce
maxgillett/halo2-lib
Monorepo of halo2 crates
maxgillett/Plonky3
A collection of libraries related to polynomial IOPs (PIOPs)
maxgillett/poseidon
maxgillett/risc0-test
maxgillett/risc0_profiling_tool
maxgillett/stark101
maxgillett/starknet-btc-lightclient
maxgillett/thaler_reading_group
maxgillett/trezor-firmware
:lock: Trezor Firmware Monorepo
maxgillett/valida-compiler
LLVM backend compiler for the Valida zkVM