Alternatives and similar repositories for zapa

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

• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆38Updated 6 years ago
• mattgstevens / awesome-zero-knowledge-proofs
  A collection of videos, reading materials and tools for learning all about the ZK side of crypto.
  ☆20Updated 6 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago
• keep-network / whitepaper
  Whitepaper describing the Keep network
  ☆37Updated 5 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆47Updated 5 years ago
• kadena-io / kadenamint
  ☆22Updated 4 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆49Updated 6 years ago
• Finhaven / EthereumStatusCodes
  Status codes for Ethereum smart contracts
  ☆10Updated 7 years ago
• Magicking / solidity-evm
  Solidity EVM is a restricted Ethereum Virtual Machine interpreter
  ☆13Updated 6 years ago
• interstellar / spacesuit
  Efficient multi-asset confidential transactions
  ☆34Updated 6 years ago
• zkvalidator / mina-vrf-rs
  ☆37Updated 3 years ago
• corepaper / evm
  The Core Paper Project of EVM
  ☆15Updated 5 years ago
• diem / dip
  Libra Improvement Proposals
  ☆42Updated 3 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 6 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆28Updated 3 years ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 5 years ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 5 years ago
• axic / zkoisc
  Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.
  ☆13Updated 3 years ago
• MoonfishApp / ZKPlayground
  Playground for ZoKrates ZK Snark toolbox for Ethereum
  ☆16Updated 6 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• zcash-hackworks / zcash-testnet-in-a-box
  A method to deploy a quarantined zcashd testnet with monitoring.
  ☆16Updated 3 years ago
• cifunibas / decentralized-insurance
  A fully decentralized and smart contract-based insurance protocol.
  ☆25Updated 2 years ago
• TruebitProtocol / wiki
  Classic source for Truebit documentation
  ☆59Updated 4 years ago
• celestiaorg / lazyledger-prototype
  LazyLedger academic prototype
  ☆50Updated 5 years ago
• f-o-a-m / chanterelle
  Chanterelle -- a more functional truffle
  ☆80Updated 6 months ago
• SpankChain / old-sc_auction
  A state channels ICO auction contract.
  ☆23Updated 7 years ago
• sky-ecosystem / governance-manual
  Welcome to the Maker Operational Manual. This set of documents intends to acquaint MKR Holders with the voting process and to serve as re…
  ☆19Updated last year
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago