celo-org / zexe

Related projects ⓘ

Alternatives and complementary repositories for zexe

• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆23Updated 3 months ago
• interlay / compressed-inclusion-proofs
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Updated last year
• khovratovich / Kate
  ☆26Updated 2 years ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆21Updated 4 months ago
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated 11 months ago
• interlay / btc-relay-solidity
  Bitcoin Light Client on Ethereum
  ☆40Updated 5 months ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆45Updated last year
• AztecProtocol / Oliver
  Huff implementation of the BabyJubJub curve
  ☆13Updated 5 years ago
• ZenGo-X / zengo-will
  ☆15Updated 3 years ago
• Pratyush / algebra-intro
  ☆42Updated 3 years ago
• 0xPolygonZero / r1cs-workshop
  Notes for the R1CS programming workshop at ZK0x04
  ☆30Updated 5 years ago
• gakonst / solidity-bls
  BLS threshold signature verification in Solidity
  ☆18Updated 6 years ago
• iden3 / iden3-docs
  iden3 documentation
  ☆13Updated 9 months ago
• AztecProtocol / Setup
  AZTEC protocol trusted setup MPC
  ☆31Updated 4 months ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated 3 months ago
• matter-labs-archive / Groth16BatchVerifier
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Updated 5 years ago
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated 2 years ago
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆33Updated last year
• zcash / pasta
  Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo
  ☆55Updated last year
• nikkolasg / snarkpack
  snarkpack for arkwork
  ☆21Updated last year
• barryWhiteHat / zkvm
  a sketch of what a zkvm could look like
  ☆26Updated 3 years ago
• zkemail / halo2-base64
  Base64 decoding circuit in halo2
  ☆14Updated last year
• ZenGo-X / vdf
  Simple RSA VDF in Rust
  ☆19Updated 3 years ago
• conroi / lcpc
  polynomial commitments from linear codes
  ☆37Updated last year
• weijiekoh / poseidon-encryption-circom
  Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve
  ☆14Updated last year
• kilic / evmvdf
  Delay Function Verification Smart Contract
  ☆27Updated 3 years ago
• ralexstokes / deposit-verifier
  A smart contract to enhance the user experience of the `eth2` deposit contract.
  ☆23Updated 4 months ago
• daira / plonk-standard
  Draft documents for standardization of Plonkish arithmetization
  ☆23Updated 8 months ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆47Updated last year