Zokrates / ZoKrates

Related projects: ⓘ

• iden3 / snarkjs
  zkSNARK implementation in JavaScript & WASM
  ☆1,754Updated last week
• ethereum / research
  ☆1,788Updated last month
• iden3 / circom
  zkSnark circuit compiler
  ☆1,290Updated 3 weeks ago
• iden3 / circom_old
  Circuit compiler for zkSNARKs
  ☆471Updated last year
• ethereum / devp2p
  Ethereum peer-to-peer networking specifications
  ☆985Updated 3 months ago
• zkcrypto / bellman
  zk-SNARK library.
  ☆989Updated 2 months ago
• randao / randao
  RANDAO: A DAO working as RNG of Ethereum
  ☆833Updated last year
• AztecProtocol / aztec-v1
  Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty
  ☆631Updated last year
• Arachnid / solidity-stringutils
  Basic string utilities for Solidity
  ☆1,132Updated last year
• semaphore-protocol / semaphore
  A zero-knowledge protocol for anonymous interactions.
  ☆887Updated 2 weeks ago
• ZenGo-X / multi-party-ecdsa
  Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).
  ☆975Updated last year
• ethereum / evmone
  Fast Ethereum Virtual Machine implementation
  ☆835Updated this week
• sc-forks / solidity-coverage
  Code coverage for Solidity smart-contracts
  ☆972Updated 3 weeks ago
• gnosis / MultiSigWallet
  Allows multiple parties to agree on transactions before execution.
  ☆1,083Updated 3 years ago
• scipr-lab / libsnark
  C++ library for zkSNARKs
  ☆1,812Updated 6 months ago
• dapphub / dapptools
  Dapp, Seth, Hevm, and more
  ☆2,087Updated last year
• raineorshine / solgraph
  Visualize Solidity control flow for smart contract security analysis. ⇆
  ☆1,015Updated last year
• Consensys / mythril
  Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other …
  ☆3,835Updated 3 weeks ago
• provable-things / ethereum-api
  Provable API for Ethereum smart contracts
  ☆801Updated 3 months ago
• iden3 / circomlib
  Library of basic circuits for circom
  ☆602Updated last month
• pirapira / awesome-ethereum-virtual-machine
  Ethereum Virtual Machine Awesome List
  ☆838Updated 7 months ago
• ewasm / design
  Ewasm Design Overview and Specification
  ☆1,015Updated 2 years ago
• 0xProject / OpenZKP
  OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
  ☆645Updated 4 months ago
• matter-labs / awesome-zero-knowledge-proofs
  A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
  ☆5,198Updated last month
• ethereum / yellowpaper
  The "Yellow Paper": Ethereum's formal specification
  ☆1,644Updated 2 weeks ago
• safe-global / safe-smart-account
  Safe allows secure management of blockchain assets.
  ☆1,839Updated this week
• TrueBlocks / trueblocks-core
  The main repository for the TrueBlocks system
  ☆1,045Updated this week
• bnb-chain / tss-lib
  Threshold Signature Scheme, for ECDSA and EDDSA
  ☆786Updated 3 weeks ago
• cgewecke / eth-gas-reporter
  Gas usage per unit test. Average gas usage per method. A mocha reporter.
  ☆603Updated 11 months ago
• ethhub-io / ethhub
  The essential Ethereum information hub.
  ☆869Updated last month