refu-lang / refu

Related projects ⓘ

Alternatives and complementary repositories for refu

• juliannagele / ebso
  EVM Bytecode Super Optimizer
  ☆35Updated 3 years ago
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 4 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆42Updated 2 years ago
• runtimeverification / wasm-semantics
  A Prototype Formal Semantics of WebAssembly in K
  ☆78Updated 3 weeks ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• ewasm / benchmarking
  Instructions for benchmarking Ewasm precompiles. (And results.)
  ☆18Updated 3 years ago
• openethereum / wasm-tests
  ☆11Updated 6 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• gstew5 / snarkl
  ☆59Updated 2 years ago
• paritytech / lunarity
  Lunarity - a Solidity parser in Rust
  ☆53Updated 5 years ago
• openethereum / pwasm-ethereum
  ☆32Updated 6 years ago
• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 5 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• scipr-lab / bace
  C++ library for evaluating arithmetic circuits on batches of inputs
  ☆15Updated 8 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• takenobu-hs / haskell-ethereum-assembly
  EVM (Ethereum virtual machine) Assembly on Haskell DSL
  ☆66Updated 6 years ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆37Updated 7 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated last year
• jonspock / cryptopdfs
  Various papers on crypto pertinent to zero knowledge proofs, etc
  ☆23Updated 4 years ago
• paritytech / ethkey
  Ethereum key generator
  ☆33Updated 6 years ago
• pirapira / fp-ethereum
  Functional Programming for Ethereum: Intro and Resources
  ☆66Updated 7 years ago
• dalek-cryptography / dalek-rangeproofs
  This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.
  ☆16Updated 6 years ago
• TrueBitProject / lanai
  ☆31Updated 7 years ago
• matteocam / pay-to-sudoku-attack
  ☆10Updated 7 years ago
• apoelstra / wizards-wallet
  A Bitcoin wallet written in Rust as a testbed for experimental user-facing tools
  ☆27Updated 2 years ago
• matter-labs-archive / alpha_line
  MPC implementation for a structured reference string (SRS) generation for SONIC proof system
  ☆24Updated 5 years ago
• ConsensusResearch / articles-papers
  Articles and Papers from Consensus Research
  ☆30Updated 9 years ago
• LayerXcom / lx-sonic
  Sonic implementation in Rust
  ☆17Updated 5 years ago