kalos-xyz / Publications

Related projects ⓘ

Alternatives and complementary repositories for Publications

• privacy-scaling-explorations / security
  A collection of resources relevant to the PSE Security Team.
  ☆12Updated last year
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆34Updated last year
• Hexens / piller
  Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines
  ☆11Updated last year
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 5 months ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆52Updated last month
• privacy-scaling-explorations / rln
  ☆18Updated last year
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• karmacoma-eth / foundry-playground
  one off scripts and contracts
  ☆18Updated last year
• proof-of-exploit / cli
  Prove knowledge of smart contract bugs using zkEVM
  ☆43Updated last month
• Zellic / weth
  Formal verification of WETH9.sol with Z3
  ☆55Updated last year
• hecmas / pairing-playground
  ☆12Updated last year
• iFrostizz / rustry
  Based Ethereum framework for writing tests in Rust
  ☆12Updated 10 months ago
• ZK-Hack / puzzle-zero-sum-game
  ☆36Updated last year
• Veridise / Coda
  ☆46Updated last year
• DoHoonKim8 / stark-verifier
  ☆46Updated 8 months ago
• tokamak-network / zvm
  Zero Knowledge based Ethereum Virtual Machine in Circom language
  ☆17Updated 3 years ago
• AmadiMichael / ConstantGasFunctionDispatcher
  An efficient constant gas function dispatch pattern for solidity external libraries.
  ☆15Updated last year
• 0xKitsune / evm-mnemonic
  A barebones framework for hand tuned smart contracts in pure opcodes.
  ☆47Updated 2 years ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated last year
• lambdaclass / lambdaworks_exercises
  Contains several examples and challenges to use Lambdaworks
  ☆15Updated last year
• protolambda / op-mordor
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Updated last year
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated last year
• Consensys / plonk-solidity-audit
  Plonk verifier in solidity (using Commit api)
  ☆20Updated 4 months ago
• jtriley-eth / sol-fun
  ☆22Updated last year
• halo2club / halo2club.github.io
  ☆17Updated 8 months ago
• infosecual / nosy
  An automated fuzz harness generator for Go projects
  ☆14Updated last month
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆37Updated last year
• runtimeverification / kontrol
  ☆53Updated this week
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆15Updated 2 years ago