s-tikhomirov / smart-contract-languages

Related projects: ⓘ

• pirapira / ethereum-formal-verification-overview
  The start page about my efforts around smart contract verification
  ☆297Updated 2 years ago
• runtimeverification / evm-semantics
  K Semantics of the Ethereum Virtual Machine (EVM)
  ☆506Updated this week
• pirapira / bamboo
  Bamboo see https://github.com/cornellblockchain/bamboo
  ☆324Updated 2 years ago
• pirapira / awesome-ethereum-virtual-machine
  Ethereum Virtual Machine Awesome List
  ☆838Updated 7 months ago
• dapphub / hevm
  (OLD REPO) A debug-oriented Ethereum VM (EVM)
  ☆114Updated 6 years ago
• Zilliqa / scilla
  Scilla - A Smart Contract Intermediate Level Language
  ☆240Updated 2 months ago
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆132Updated last year
• LeastAuthority / ethereum-analyses
  ☆165Updated 8 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 3 years ago
• pirapira / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆235Updated 2 years ago
• Consensys / anonymous-zether
  A private payment system for Ethereum-based blockchains, with no trusted setup.
  ☆294Updated 2 months ago
• microsoft / verisol
  A formal verifier and analysis tool for Solidity Smart Contracts
  ☆245Updated last year
• CoinCulture / evm-tools
  Ethereum Virtual Machine tools and guide
  ☆443Updated 3 years ago
• zmitton / eth-proof
  Get a merkle-proof from the blockchain. Verify it locally.
  ☆191Updated 6 months ago
• paritytech / parity-bridge
  ☆315Updated 4 years ago
• PeterBorah / ether-router
  Upgradeable smart contracts on Ethereum
  ☆105Updated 6 years ago
• evm-lang-design / evm-lang-design
  Language Design Community for the EVM: Intro and Resources
  ☆137Updated 7 years ago
• evbots / dex-protocols
  A list of protocols for decentralized exchange
  ☆146Updated 4 years ago
• cedricwalter / blockchain-consensus
  This is my attempt to list all possible blockchain consensus out there, i welcome pull request of the blockchain community! lets make it …
  ☆124Updated 3 months ago
• iden3 / circom_old
  Circuit compiler for zkSNARKs
  ☆471Updated last year
• Arachnid / evmdis
  EVM disassembler
  ☆544Updated 2 years ago
• rchain / Rholang
  ☆91Updated 6 years ago
• stellar / slingshot
  A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
  ☆411Updated 3 years ago
• Awesome-Layer-2 / awesome-layer-2
  All the layer 2 projects
  ☆329Updated 4 years ago
• airalab / hs-web3
  Web3 API for Haskell
  ☆189Updated 3 months ago
• Consensys / truffle-security
  MythX smart contract security verification plugin for Truffle Framework
  ☆124Updated 2 years ago
• fergarrui / ethereum-graph-debugger
  Ethereum solidity graph plain debugger. To have the whole picture when debugging.
  ☆352Updated last year
• jstoxrocky / zksnarks_example
  zkSNARKS tutorial
  ☆295Updated 5 years ago
• Arachnid / uscc
  ☆234Updated 2 years ago
• ethereum / beacon_chain
  ☆210Updated 2 years ago