joshbeal

joshbeal's Stars

• google/comprehensive-rust

  This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

  Language:Rust28.2k1433051.7k

• huggingface/candle

  Minimalist ML framework for Rust

  Language:Rust16.1k160738990

• adityatelange/hugo-PaperMod

  A fast, clean, responsive Hugo theme.

  Language:HTML10.6k435592.8k

• tracel-ai/burn

  Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.

  Language:Rust9.3k66751461

• nexus-xyz/nexus-zkvm

  The Nexus zkVM: The zero-knowledge virtual machine

  Language:Rust2.1k2293356

• coreylowman/dfdx

  Deep learning in Rust, with shape checked tensors and neural networks

  Language:Rust1.8k3545699

• succinctlabs/sp1

  The fastest, most feature-complete zkVM for developers.

  Language:Rust1.1k41132380

• zkonduit/ezkl

  ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

  Language:Rust97721118144

• ingonyama-zk/ingopedia

  A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

  710181285

• coreylowman/cudarc

  Safe rust wrapper around CUDA toolkit

  Language:Rust6701314684

• Plonky3/Plonky3

  A toolkit for polynomial IOPs (PIOPs)

  Language:Rust5193374217

• ddkang/zkml

  Language:Rust35013539

• valida-xyz/valida

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

  Language:Rust303134352

• argumentcomputer/awesome-folding

  A curated list of zero-knowledge folding schemes

  28514630

• NVIDIA/nvtrust

  Ancillary open source software to support confidential computing on NVIDIA GPUs

  Language:Python216165631

• lyronctk/zator

  Verifying a 512-layer CNN w/ Nova

  Language:Circom1606013

• snarkify/sirius

  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

  Language:Rust148510520

• thor314/pazk

  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group

  Language:Rust1315115

• han0110/plonkish

  Language:Rust10211131

• privacy-scaling-explorations/multifolding-poc

  A PoC repo for a HyperNova impl

  Language:Rust839113

• PolyhedraZK/Expander-cpp

  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

  Language:C++645314

• philsippl/circom-witness-rs

  Language:Rust603915

• jvhs0706/zkllm-ccs2024

  Language:Cuda571313

• arnaucube/protogalaxy-poc

  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf

  Language:Rust40305

• zkFHE/ringSNARK

  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements

  Language:C++35652

• Neptune-Crypto/neptune-core

  anonymous peer-to-peer cash

  Language:Rust3071918

• geometry-labs/lattice-algebra

  Language:Python28514

• arnaucube/math

  Notes, code and documents done while reading books and papers.

  Language:TeX17402

• matter-labs/zksync-crypto-gpu

  GPU-acceselerated cryptography libraries for ZKsync

  Language:Rust151004

• Holindauer/ruthark

  STARK GPU Accelerator in Futhark for Neptune/TritonVM

  Language:Futhark5000