andrewmilson

andrewmilson's Stars

• gfx-rs/wgpu

  A cross-platform, safe, pure-Rust graphics API.

  Language:Rust12.8k1112.7k937

• martinvonz/jj

  A Git-compatible VCS that is both simple and powerful

  Language:Rust9.4k61863324

• misprit7/computerraria

  A fully compliant RISC-V computer made inside the game Terraria

  Language:Rust3.4k20444

• webgpu/webgpu-samples

  WebGPU Samples

  Language:TypeScript1.8k50151306

• gfx-rs/wgpu-rs

  Rust bindings to wgpu native library

  Language:Rust1.7k64331186

• kkrt-labs/kakarot

  Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

  Language:Cairo99923618309

• worldcoin/awesome-zkml

  awesome-zkml repository

  8293914131

• a16z/jolt

  The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

  Language:Rust69729131152

• Plonky3/Plonky3

  A toolkit for polynomial IOPs (PIOPs)

  Language:Rust4853374192

• dojoengine/dojo

  Dojo is a toolchain for building provable games and applications

  Language:Rust42315693176

• foundry-rs/starknet-foundry

  Blazing fast toolkit for developing Starknet contracts.

  Language:Rust328111.3k177

• valida-xyz/valida

  A STARK-based VM focused on code reuse, performance, and modularity

  Language:Rust293134351

• xJonathanLEI/starknet-rs

  Complete Starknet library in Rust™

  Language:Rust28611139101

• starkware-libs/stwo

  Language:Rust25110987

• Manishearth/elsa

  Append-only collections for Rust where borrows to entries can outlive insertions

  Language:Rust22862133

• keep-starknet-strange/garaga

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

  Language:Cairo20846051

• gizatechxyz/orion

  ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

  Language:Cairo163825382

• andrewmilson/sandstorm

  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

  Language:Rust15871022

• jules/supernova

  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758

  Language:Rust121703

• recmo/goldilocks

  A library for fast NTTs over the Goldilocks prime field

  Language:Rust74405

• maxgillett/halo2-fri-gadget

  A FRI verifier circuit for the Halo2 proof system

  Language:Rust73805

• personaelabs/shockwave-plus

  Language:Rust72312

• andrewmilson/ecfft

  Elliptic Curve Fast Fourier Transform built on @arkworks-rs

  Language:Rust68502

• IrreducibleOSS/binius

  A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)

  Language:Rust41304

• arkworks-rs/sponge

  This library is archived; see crypto-primities for the latest version of this code

  Language:Rust2212415

• odyssey2077/halo2-cairo

  verify cairo execution in Halo2

  Language:Rust17230

• sergerad/relax

  Relaxed Go Apps - shutdown gracefully despite concurrent panics

  Language:Go12300

• xJonathanLEI/pedersen-bench

  Benchmarks for Pedersen hash implementations

  Language:Rust12201

• CryptoExperts/poseidon

  Language:Sage11603

• DanTehrani/ecfft

  Language:Rust8200