juliannagele / ebso

Related projects ⓘ

Alternatives and complementary repositories for ebso

• mariaschett / syrup-backend
  backend of syrup: SYnthesizeR of sUPer-optimized smart contracts
  ☆14Updated 4 years ago
• crytic / whipstaff
  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
  ☆20Updated 5 years ago
• danhper / evm-analyzer
  Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
  ☆23Updated 4 years ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆17Updated 4 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• mariaschett / sorg
  SuperOptimization based Rule Generation
  ☆12Updated 4 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• dakk / secp256k1-ml
  Elliptic curve library secp256k1 wrapper for Ocaml
  ☆24Updated 10 months ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆42Updated 2 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 4 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 5 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆53Updated 5 years ago
• ChihChengLiang / modexp
  ☆12Updated 4 years ago
• decanus / rutschblock
  A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
  ☆18Updated 4 years ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆20Updated 2 years ago
• runtimeverification / beacon-chain-verification
  ☆18Updated last year
• decanus / go-rln
  RLN wrappers and implementation in Go
  ☆11Updated 2 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 3 years ago
• khovratovich / Kate
  ☆25Updated 2 years ago
• ethereum / yul-isabelle
  ☆40Updated last year
• snjax / groth16batchverifier
  Batch verifier for zkSNARKs
  ☆10Updated last year
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• GuildOfWeavers / galois
  Arithmetic and polynomial operations in finite fields.
  ☆38Updated last year
• kframework / solidity-semantics
  Semantics of Solidity in K
  ☆29Updated 5 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• runtimeverification / erc20-semantics
  ERC20 in K
  ☆47Updated 5 years ago
• axic / runevm
  EVM interpreter compatible with the evm2wasm interface
  ☆42Updated 2 years ago
• quilt / sheth
  Execution environment for managing shard ether
  ☆24Updated 4 years ago
• songzLi / coded_merkle_tree
  Coded Merkle Tree
  ☆25Updated 5 years ago