recmo / zkp-u256

Related projects: ⓘ

• guangyuz / smt-halo2
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆20Updated 2 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆15Updated 2 months ago
• tse-group / goldfish-experiments
  Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"
  ☆13Updated last year
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆28Updated last month
• arkworks-rs / sponge
  This library is archived; see crypto-primities for the latest version of this code
  ☆22Updated last year
• zhenfeizhang / squirrel
  Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices
  ☆24Updated 9 months ago
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆15Updated 4 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆17Updated last year
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated last year
• zhenfeizhang / origami
  [wip] implementing origami VDF
  ☆13Updated last year
• sedaprotocol / bn254
  ☆13Updated 3 months ago
• althea-net / guac_rs
  ☆13Updated 5 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 2 years ago
• nulltea / tss-libp2p
  Rust-libp2p transport for {t,n}-threshold signature schemes
  ☆32Updated 2 years ago
• iden3 / wasmcurves
  Web Assembly low level implementation of pairing friendly curves.
  ☆16Updated 4 months ago
• protocol / vdf
  A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.
  ☆16Updated 2 years ago
• leonardoalt / powdr-brainfuck
  ZK proofs for Brainfuck execution using powdr
  ☆15Updated 3 weeks ago
• Wassasin / ibe
  Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve
  ☆20Updated 3 years ago
• Electron-Labs / starky_bls12_381
  Starky implementation of Bls12-381
  ☆11Updated 4 months ago
• kilic / cyclone-msm-expreriment
  ☆10Updated 7 months ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 2 years ago
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated last year
• halo2-ce / halo2
  ☆28Updated last year
• AleoHQ / aleo_vm_lambda
  ☆15Updated this week
• supranational / pasta-msm
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆20Updated 9 months ago
• althea-net / serde-rlp
  Ethereum's RLP encoding implemented as a Serde data format
  ☆13Updated last year
• sigp / tree_hash
  SSZ-compatible tree hash implementation optimised for speed and security
  ☆16Updated last week
• willemolding / eth-lightclient-rs
  A crate for working with Ethereum beacon chain light client protocol messages. `no_std` friendly!
  ☆13Updated last year
• alinush / libvectcom
  An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…
  ☆13Updated 3 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated last year