Alternatives and similar repositories for awesome-fhe-attacks

Users that are interested in awesome-fhe-attacks are comparing it to the libraries listed below

• StefanosChaliasos / Awesome-ZKP-Security
  A curated list of awesome security resources for ZK.
  ☆90Updated last month
• nullity00 / zk-security-reviews
  Collection of security reviews of ZK Protocols
  ☆233Updated 9 months ago
• paradigmxyz / paradigm-ctf-2023
  ☆82Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆73Updated 8 months ago
• zigtur / Rareskills-ZK-book
  My work for Rareskills ZK Book.
  ☆61Updated last year
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆113Updated last year
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆68Updated last month
• ZK-University / ZKU
  Zero-Knowledge University
  ☆33Updated last year
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆110Updated 3 weeks ago
• ustas-eth / zkEVM-Bootcamp
  My homework and notes on zkEVM Bootcamp by zkSync and Encode Club
  ☆66Updated 9 months ago
• NethermindEth / PublicAuditReports
  Public reports of audits performed by Nethermind Security
  ☆52Updated this week
• crytic / diffusc
  Experimental tool to ease the review of smart contracts upgrades
  ☆79Updated last year
• kkrt-labs / cairo0-starter
  A set of exercises to get started with Cairo0
  ☆20Updated 5 months ago
• Hexens / Smart-Contract-Review-Public-Reports
  List of the public smart contract audit reports and security reviews performed by Hexens.
  ☆45Updated last month
• crytic / echidna-streaming-series
  A 6-part series on how to use Echidna on real-world codebases
  ☆109Updated 2 years ago
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated 2 years ago
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆57Updated 7 months ago
• zksecurity / zkbugs
  Reproduce ZKP vulnerabilities
  ☆252Updated last week
• amanusk / awesome-starknet-security
  A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.
  ☆72Updated 5 months ago
• aviggiano / security
  Security Reviews and Audit Checklists
  ☆122Updated last month
• crytic / secureum-medusa
  ☆46Updated 2 years ago
• runtimeverification / kontrol
  ☆80Updated last week
• chainlight-io / publications
  ☆87Updated 2 weeks ago
• SunWeb3Sec / damn-vulnerable-defi-v4-solutions
  Damn Vulnerable DeFi v4 Solutions
  ☆46Updated last year
• gustavo-grieco / quimera
  Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
  ☆76Updated this week
• 0xDatapunk / Bridge-Bug-Tracker
  Hacks/Vulns/Audits Compilation
  ☆162Updated last year
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆87Updated last year
• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Updated 7 months ago
• secureum / Secureum-Book
  ☆52Updated last year
• bbresearcher / ZK
  ☆17Updated last week