Alternatives and similar repositories for Yul-Specification:

Users that are interested in Yul-Specification are comparing it to the libraries listed below

• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 6 months ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆62Updated 2 years ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆34Updated 3 weeks ago
• reilabs / gnark-lean-demo
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆14Updated 11 months ago
• siraben / evm-assembler
  No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)
  ☆13Updated last year
• starkware-libs / formal-proofs
  ☆56Updated 3 months ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆52Updated 7 months ago
• ethereum / yul-isabelle
  ☆41Updated 2 years ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆15Updated 2 years ago
• formal-land / coq-of-solidity
  Formal verification for Solidity smart contracts with Coq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
  ☆27Updated 2 months ago
• fsainas / contracts-verification-benchmark
  An open benchmark for evaluating smart contracts verification tools.
  ☆13Updated 2 months ago
• digama0 / frat
  DRAT proof processor
  ☆13Updated last year
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆47Updated this week
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆17Updated 7 months ago
• morpho-org / legacy-morpho-token
  Morpho token contracts.
  ☆14Updated 2 months ago
• noir-lang / book
  ☆15Updated last year
• Certora / CertoraProverSupplementary
  Supplementary Material to be used with the Certora Prover
  ☆17Updated 2 years ago
• tse-group / goldfish-experiments
  Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"
  ☆13Updated last year
• adhusson / delegate-prank
  Delegatecall from any contract. A kind of vm.prank for delegatecalls.
  ☆19Updated 5 months ago
• adietrichs / kzg-sharding
  ☆19Updated 2 years ago
• primitivefinance / pso-sol
  Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…
  ☆15Updated 2 years ago
• lightclient / 4788asm
  Assembly implementation of EIP-4788 system contract.
  ☆22Updated 6 months ago
• apre-group / checkmate
  the CheckMate protocol verification tool
  ☆10Updated this week
• kmbarry1 / fund-eq-of-dai-certora
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Updated 8 months ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 4 years ago
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• yolc-dev / yul-dsl-monorepo
  The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …
  ☆29Updated this week
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆20Updated this week
• The-Arbiter / Hash-Storage-Example
  A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.
  ☆13Updated 2 years ago
• nmushegian / minilang
  term rewrite system for bootstrapping languages
  ☆9Updated 2 years ago