fireblocks-labs / trustless-blockchain-data-verifier

Related projects: ⓘ

• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆17Updated last year
• demox-labs / webgpu-crypto
  ☆28Updated 9 months ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆57Updated last year
• aragonzkresearch / nouns-anonymous-voting
  The anonymous voting application implementation for Nouns project.
  ☆15Updated 11 months ago
• noot / schnorr-verify
  super cheap solidity schnorr sig verification using only ecrecover and keccak256
  ☆44Updated 2 years ago
• javiersuweijie / zkemail-safe
  ☆13Updated 10 months ago
• Loopring / eddsa-metamask-plugin
  ☆16Updated 2 years ago
• anonklub / anonklub
  Anonymous Proof of Ethereum Address Ownership
  ☆36Updated this week
• gballet / verkle-block-sample
  ☆38Updated last year
• hashcloak / starkjub
  A STARK-friendly elliptic curve designed to work within Cairo circuits
  ☆28Updated last year
• vocdoni / zk-franchise-proof-circuit
  zk-Snarks circuit for franchise proof
  ☆12Updated 9 months ago
• interlay / btc-relay-solidity
  Bitcoin Light Client on Ethereum
  ☆40Updated 3 months ago
• 0xPolygonHermez / zkevm-commonjs
  Javascript library implementing common utilities for zkevm
  ☆20Updated this week
• hashcloak / flashbots-privacy
  Practical Experiments on how to add complete privacy to flashbots
  ☆47Updated 8 months ago
• protolambda / zcli
  Eth2 CLI debugging tool
  ☆35Updated 7 months ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆48Updated last year
• crosschain-alliance / safe-crosschain
  Simple module to control a Safe via crosschain calls with Hashi
  ☆28Updated 3 months ago
• chainbound / bolt
  Bolt: permissionless proposer commitments on Ethereum
  ☆47Updated this week
• dknopik / towers-of-pau
  ETHPrague
  ☆31Updated 11 months ago
• hermeznetwork / hermez-docs
  Hermez documentation
  ☆9Updated 2 years ago
• weijiekoh / circom-helper
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆33Updated last year
• automata-network / tee-builder
  ☆26Updated 10 months ago
• lightclients / poc-superlight-client
  POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games
  ☆38Updated last year
• zkopru-network / private-exchange
  ☆13Updated 2 years ago
• AztecProtocol / consolerr
  Solidity error logging
  ☆23Updated 3 years ago
• thomas-waite / zkSocialRecovery
  Novel zero-knowledge proof based social recovery of smart contract wallets
  ☆34Updated last year
• Jubzinas / Ouragan
  ☆11Updated last year
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆51Updated last week
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆49Updated last year
• JohnRising / 4337-bundler-working-group
  Notes from the ERC-4337 bundler working group
  ☆19Updated last year