amiller / sgx-epid-contest

Related projects: ⓘ

• supranational / pasta-msm
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆20Updated 9 months ago
• lambdaclass / aleo_lambda_blockchain
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆16Updated last year
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆15Updated 2 months ago
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆28Updated last month
• Wassasin / ibe
  Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve
  ☆20Updated 3 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆17Updated last year
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆15Updated last year
• Poseidon-ZKP / merkle-forest
  ☆10Updated last year
• crate-crypto / proto-danksharding-crypto
  ☆12Updated last year
• celestiaorg / celestia-node-client-rs
  🦀 celestia-node REST client in Rust.
  ☆18Updated 2 years ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated last month
• protolambda / op-mordor
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Updated last year
• clvv / rcc
  ☆24Updated 11 months ago
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆15Updated 4 years ago
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• zhenfeizhang / squirrel
  Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices
  ☆24Updated 9 months ago
• arkworks-rs / pcd
  Implementations of proof-carrying data
  ☆29Updated 2 years ago
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆23Updated this week
• AleoHQ / aleo_vm_lambda
  ☆15Updated this week
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆25Updated last week
• arkworks-rs / sponge
  This library is archived; see crypto-primities for the latest version of this code
  ☆22Updated last year
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆36Updated last year
• zkemail / halo2-base64
  Base64 decoding circuit in halo2
  ☆14Updated last year
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆16Updated 3 weeks ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆29Updated last year
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 9 months ago
• privacy-scaling-explorations / poseidon
  ☆39Updated last month
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆28Updated last year