thesherifsamir

thesherifsamir's Stars

• ethereum/consensus-specs

  Ethereum Proof-of-Stake Consensus Specifications

  Language:Python3.7k2419621.1k

• risc0/risc0

  RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

  Language:C++1.8k51575532

• iotexproject/iotex-core

  Official implementation of IoTeX blockchain protocol in Go. An ultra-efficient EVM blockchain offering 1000 TPS with instant 1-block finality. Perfect for DeFi, DePIN tokenomics, Identities, and any trusted logic requiring Web3 composability

  Language:Go1.6k961.3k336

• 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:Rust1.1k20121163

• zcash/halo2

  The Halo2 zero-knowledge proving system

  Language:Rust76833335521

• powdr-labs/powdr

  A modular stack for zkVMs, with a focus on productivity, security and performance.

  Language:Rust44617491102

• ethereum/py_ecc

  Python implementation of ECC pairing and bn_128 and bls12_381 curve operations

  Language:Python204215885

• socathie/circomlib-ml

  Circom Circuits Library for Machine Learning

  Language:Jupyter Notebook1713421

• maxgillett/giza

  A Cairo VM prover implemented using Winterfell

  Language:Rust15832616

• 0xSpaceShard/starknet-devnet

  A local testnet for Starknet... in Rust

  Language:Rust1191129368

• protolambda/go-kzg

  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*

  Language:Go915427

• 0xfuturistic/zkUniswap

  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM

  Language:Solidity84604

• lovesh/signature-schemes

  Rust library for BLS signatures, MuSig, PS signatures

  Language:Rust6671020

• privacy-scaling-explorations/nova-bench

  A collection of comparison-benchmarks for Nova & related Proving systems

  Language:Rust43614

• DelphinusLab/halo2ecc-s

  A re-implemented ECC circuits with halo2.

  Language:Rust282313

• status-im/nim-blscurve

  Nim implementation of BLS signature scheme (Boneh-Lynn-Shacham) over Barreto-Lynn-Scott (BLS) curve BLS12-381

  Language:Nim26215411

• jurastm/neural_network_with_one_hidden_layer

  Here is implementation of neural network with one hidden layer. It has vectorized implementation of backpropagation

  Language:Matlab1300