sahamdelfi

sahamdelfi's Stars

• zkcrypto/pairing

  Pairing-friendly elliptic curve library.

  Language:Rust339119

• zkcrypto/jubjub

  Implementation of the Jubjub elliptic curve group

  Language:Rust12249

• scroll-tech/scroll-documentation

  This is the frontend for the Scroll documentation

  Language:MDX508182

• 0xPolygonZero/eth-tx-proof

  Proving historical Ethereum transactions using the Plonky2 zkEVM

  Language:Rust1510

• arkworks-rs/poly-commit

  A Rust library for polynomial commitments

  Language:Rust335131

• 0xPolygonHermez/zkevm-techdocs

  Technical documentation of the zkEVM

  8822

• succinctlabs/tendermintx

  Implementation of zero-knowledge proof circuits for Tendermint.

  Language:Rust7829

• languagetool-org/languagetool

  Style and Grammar Checker for 25+ Languages

  Language:Java12.4k1.4k

• axiom-crypto/axiom-sdk-rs

  Language:Rust85

• LeastAuthority/moonmath-manual

  A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

  Language:TeX50888

• DelphinusLab/halo2-gpu-specific

  Language:Rust3625

• nalinbhardwaj/Nova-Scotia

  Middleware to compile Circom circuits to Nova prover

  Language:JavaScript23350

• githubdoe/DFTFringe

  DFTFringe Telescope Mirror interferometry analysis Program.

  Language:C++16559

• erigontech/erigon

  Ethereum implementation on the efficiency frontier https://erigon.gitbook.io

  Language:Go3.1k1.1k

• namnc/circom-2-arithc

  Circom interpreter to arithmetic circuit description

  Language:Rust448

• axiom-crypto/halo2-lib

  Monorepo of halo2 crates

  Language:Rust238151

• zkcrypto/bellman

  zk-SNARK library.

  Language:Rust1k543

• maybe-finance/maybe

  The OS for your personal finances

  Language:Ruby32.1k2.4k

• arkworks-rs/sumcheck

  linear-time sumcheck protocol for multilinear polynomials and related addends

  Language:Rust5231

• Permify/permify

  An open-source authorization as a service inspired by Google Zanzibar, designed to build and manage fine-grained and scalable authorization systems for any application.

  Language:Go4.9k220

• argumentcomputer/awesome-folding

  A curated list of zero-knowledge folding schemes

  28030

• sahamdelfi/snark

  Interfaces for Relations and SNARKs for these relations

  1

• arkworks-rs/snark

  Interfaces for Relations and SNARKs for these relations

  Language:Rust789210

• privacy-scaling-explorations/sonobe

  Experimental folding schemes library

  Language:Rust19849

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.1k14.1k

• EleutherAI/lm-evaluation-harness

  A framework for few-shot evaluation of language models.

  Language:Python6.9k1.8k

• gausslabs/gauss

  FHE library

  Language:Rust236

• summa-dev/summa-solvency

  Monorepo for Summa Proof of Solvency Protocol

  Language:Rust9634

• sahamdelfi/zkm

  The universal zkVM empowering Ethereum as the Global Settlement Layer

  1

• zkMIPS/zkm

  The universal zkVM empowering Ethereum as the Global Settlement Layer

  Language:Rust10050