TalDerei

TalDerei's Stars

• NVIDIA/open-gpu-kernel-modules

  NVIDIA Linux open GPU kernel module source

  Language:C15.1k1773411.3k

• ethereum/research

  Language:Python1.8k23029586

• dalek-cryptography/curve25519-dalek

  A pure-Rust implementation of group operations on Ristretto and Curve25519

  Language:Rust88429241447

• mit-plv/fiat-crypto

  Cryptographic Primitive Code Generation by Fiat

  Language:Coq70852408147

• microsoft/Nova

  Nova: High-speed recursive arguments from folding schemes

  Language:Rust7022443183

• Plonky3/Plonky3

  A toolkit for polynomial IOPs (PIOPs)

  Language:Rust4482965170

• EspressoSystems/jellyfish

  A Rust Implementation of the PLONK ZKP System and Extensions

  Language:Rust39714242100

• penumbra-zone/penumbra

  Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.

  Language:Rust376172k294

• matter-labs/era-boojum

  Boojum, the scariest SNARK implementation.

  Language:Rust30222885

• a16z/Lasso

  The lookup singularity. Based on Spartan; built on Arkworks.

  Language:Rust283173535

• valida-xyz/valida

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

  Language:Rust276134350

• starkware-libs/stone-prover

  Language:C++25392075

• noir-lang/noir-starter

  Language:Solidity16762439

• AztecProtocol/barretenberg

  Language:C++1393562287

• laudiacay/barustenberg

  barretenburg in rust (here we go)

  Language:Rust9754310

• noir-lang/acvm

  Language:Rust46917116

• noir-lang/acvm-backend-barretenberg

  Language:Solidity3974216

• DelphinusLab/halo2-gpu-specific

  Language:Rust343225

• demox-labs/webgpu-crypto

  Language:TypeScript28302

• BattleZips/BattleZips-Noir

  Noir implementation of BattleZips circuits

  Language:Solidity27104

• o1-labs/verkle-tree

  Language:Rust262003

• geometryresearch/wgsl-poseidon

  Language:Rust24308

• demox-labs/webgpu-msm

  Language:JavaScript23802

• privacy-scaling-explorations/nova-ml

  Language:Jupyter Notebook23401

• speakspeak/cuZK

  cuZK: An Efficient GPU Implemetation of zkSNARK

  Language:Cuda221611

• sampritipanda/msm-webgpu

  Language:HTML19422

• penumbra-zone/decaf377

  decaf377 is a prime-order group designed for use in SNARKs over BLS12-377

  Language:Rust1282912

• voidash/webgpu-examples

  Wgsl implementaion of bls12_381

  Language:Rust7200

• Savio-Sou/noir-benchmarks

  Benchmarking Noir + Barretenberg proving times across different constraint counts (i.e. program sizes).

  Language:Shell6102

• noir-lang/acvm-simulator

  Language:Rust32121