Alternatives and similar repositories for proveth:

Users that are interested in proveth are comparing it to the libraries listed below

• aragon / evm-storage-proofs
  Trustlessly prove a past storage value in a contract to other contracts
  ☆145Updated last year
• rollupnc / RollupNC
  non-custodial exchange build with rollup
  ☆105Updated 2 years ago
• GuthL / roll_up_circom_tutorial
  This repository contains a tutorial on how to build roll_up with Circom
  ☆84Updated 5 years ago
• leapdao / solEVM-enforcer
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆98Updated 2 years ago
• PaulRBerg / awesome-zkp-starter-pack
  A curated collection of links for zero-knowledge proof cryptography used in blockchains
  ☆74Updated last month
• snario / zknifty
  🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs
  ☆93Updated 6 years ago
• Consensys / bytecode-verifier
  Compile Solidity source code and verify its bytecode matches the blockchain
  ☆88Updated 7 months ago
• witnet / bls-solidity
  ☆33Updated last year
• austintgriffith / native-meta-transactions
  integrate signed message recovery directly in your contracts
  ☆37Updated 6 years ago
• iden3 / rollup
  rollup implementation
  ☆91Updated 10 months ago
• ricmoo / lurch
  Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.
  ☆83Updated 4 years ago
• interlay / btc-relay-solidity
  Bitcoin Light Client on Ethereum
  ☆41Updated 7 months ago
• musalbas / solidity-BN256G2
  Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.
  ☆56Updated 2 months ago
• alexvansande / MuchClearerDAI
  Dai Stablecoin System
  ☆122Updated 5 years ago
• EYBlockchain / timber
  Construct a Merkle Tree database from Ethereum logs.
  ☆66Updated this week
• pipeos-one / goldengate
  ☆28Updated 2 years ago
• ethereum-optimism / optimism-integration
  [Optimism] Service Integration & Rapid Development
  ☆53Updated 3 years ago
• hermeznetwork / circuits
  Implements hermez network zk-Snarks circuits
  ☆56Updated last year
• PISAresearch / event-proofs
  Solidity proofs that a historical event occurred
  ☆28Updated 5 years ago
• ChihChengLiang / poseidon-tornado
  ☆87Updated 2 years ago
• rollupnc / RollupNC_tutorial
  circom and snarkjs / websnark tutorial, using RollupNC as an example
  ☆62Updated 4 years ago
• ricmoo / will-o-the-wisp
  Intentionally self-destructive Ethereal on-chain-ish Wallet. (Proof-of-Concept bootstrap technique with CREATE2)
  ☆35Updated 5 years ago
• firoorg / solidity-BigNumber
  Full BigNumber library implementation for Solidity.
  ☆93Updated 3 months ago
• barryWhiteHat / roll_up_token
  yellow paper for roll_up token
  ☆67Updated 5 years ago
• magmo / force-move-protocol
  A force-move protocol implementation
  ☆55Updated 2 years ago
• miguelmota / zksnarks-example
  An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
  ☆37Updated 5 years ago
• Consensys / gpact
  General Purpose Atomic Crosschain Transaction Protocol
  ☆83Updated 7 months ago
• emilianobonassi / gas-saver
  Gas Saver is a collection of smart contracts to save gas on Ethereum
  ☆65Updated 2 years ago
• anydotcrypto / metatransactions
  A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.
  ☆45Updated last year
• summa-tx / memview-sol
  Memory access with runtime typechecking in Solidity
  ☆72Updated last year