Alternatives and similar repositories for zk-gas-soundness

Users that are interested in zk-gas-soundness are comparing it to the libraries listed below

• musks-suburbs / gas-soundness-check
  ☆34Updated last month
• carpalsgrabby / zk-arch-noir-gauge
  small Web3 architecture gauge for Aztec-style proving.
  ☆39Updated last month
• carpalsgrabby / web3_focus_slider
  A very small CLI helper that compares three conceptual Web3 styles and shows how well each fits your priorities
  ☆34Updated last month
• chests-genuine / selector-soundness
  ☆36Updated last month
• carpalsgrabby / state_commitment_layout
  A tiny CLI tool that sketches Merkle-style state commitment layouts for Web3 projects
  ☆34Updated last month
• musks-suburbs / web3_threatmodel_cli
  ☆36Updated last month
• chests-genuine / zk-soundness-lite
  ☆34Updated last month
• chests-genuine / zk-Soundness-Checker
  ☆36Updated last month
• Winnode / inery-automation
  inery
  ☆11Updated 3 years ago
• Winnode / NODE-TESTNET
  VALIDATOR NODE TESTNET
  ☆11Updated 2 years ago
• Winnode / SybilDAO
  Zero Knowledge Protocol To Defend DeFi From Sybil Attacks
  ☆11Updated 3 years ago
• MDP-KCA / nextjs-blog-theme
  ☆11Updated 3 years ago
• MDP-KCA / 04-zkapp-browser-ui
  ☆11Updated 3 years ago
• Winnode / NODE_Manuals
  testnet_manuals_Celistia
  ☆11Updated 3 years ago
• casks-mutters / tx-fee-soundness
  ☆37Updated last month
• ProvableHQ / leo
  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
  ☆4,802Updated this week
• teaxyz / white-paper
  how will the protocol work?
  ☆7,924Updated last month
• TangleSwap / feedback
  💡 Contribute to TangleSwap by submitting feedback, reporting bugs, or proposing new features.
  ☆11Updated 2 years ago
• FEdanish / Soundness-airdrop
  MADE BY: https://telegram.me/feature_earning
  ☆31Updated 9 months ago
• tosinchukwu / fav
  ☆20Updated 3 months ago
• kroma-network / tachyon
  Modular ZK(Zero Knowledge) backend accelerated by GPU
  ☆7,731Updated last year
• FEdanish / Beginners-Node-RUN-guides
  MADE BY: https://telegram.me/feature_earning
  ☆98Updated last year
• Yauheni-Ivashkevich / justcakes
  My study project on Django.
  ☆11Updated 7 months ago
• metatimeofficial / chainlist
  ☆19,074Updated last year
• massalabs / massa
  The Decentralized and Scaled Blockchain
  ☆5,562Updated this week
• Arobi5237 / Arobi5237
  Config files for my GitHub profile.
  ☆12Updated last year
• subquery / subql
  SubQuery is an Open, Flexible, Fast and Universal data indexing framework for web3. Our mission is to help developers create the decentra…
  ☆18,875Updated this week
• guanghezhao / guanghezhao
  Config files for my GitHub profile.
  ☆15Updated 3 years ago
• abhiag / nubit_light_Node
  ☆185Updated last year
• myngocgil / myngocgil
  Config files for my GitHub profile.
  ☆14Updated 2 years ago