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.
  ☆117Updated 2 months ago
• paradigmxyz / paradigm-ctf-2023
  ☆87Updated 2 years ago
• nullity00 / zk-security-reviews
  Collection of security reviews of ZK Protocols
  ☆238Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆76Updated last year
• Hexens / Smart-Contract-Review-Public-Reports
  List of the public smart contract audit reports and security reviews performed by Hexens.
  ☆51Updated last week
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆114Updated last year
• Certora / SecurityReports
  Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…
  ☆28Updated last week
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆75Updated last month
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆92Updated last year
• minaminao / erever
  My swiss army knife for reversing EVM bytecodes (super experimental)
  ☆127Updated last month
• chainlight-io / publications
  ☆88Updated 4 months ago
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆35Updated 2 years ago
• ustas-eth / zkEVM-Bootcamp
  My homework and notes on zkEVM Bootcamp by zkSync and Encode Club
  ☆65Updated last year
• crytic / echidna-streaming-series
  A 6-part series on how to use Echidna on real-world codebases
  ☆111Updated 2 years ago
• ZK-University / ZKU
  Zero-Knowledge University
  ☆34Updated last year
• crytic / diffusc
  Experimental tool to ease the review of smart contracts upgrades
  ☆79Updated last year
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆58Updated 11 months ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆116Updated 4 months ago
• OpenZeppelin / ctf-2024
  ⚡️ Ethernaut CTF 2024 Challenges & Solutions
  ☆116Updated last year
• gustavo-grieco / quimera
  Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
  ☆88Updated last month
• SunWeb3Sec / damn-vulnerable-defi-v4-solutions
  Damn Vulnerable DeFi v4 Solutions
  ☆51Updated last year
• timimm / awesome-zero-knowledge-proofs-security
  ☆34Updated last month
• tarassh / zkSNARK-under-the-hood
  Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.
  ☆80Updated 2 years ago
• shanzson / Zero-Knowledge-Proofs-Learning-Resources
  This repository contains Zk learning resources
  ☆159Updated last year
• ret2basic / MoonMath-Companion
  MoonMath Manual notes, exercise solution and extra comments.
  ☆30Updated last year
• crytic / anchorx-ray
  Node module for scanning and visualize Solana accounts
  ☆38Updated 10 months ago
• zigtur / Rareskills-ZK-book
  My work for Rareskills ZK Book.
  ☆74Updated last year
• RareSkills / ZK-bulletproofs
  Exercises for Part 2 of the ZK-book
  ☆32Updated last year
• yAudit / web3-security-talks
  Novel and informative web3 security talks
  ☆20Updated 3 years ago
• AmadiMichael / LowLevelVulnerabilities
  Examples and POCs of Vulnerabilities that are unique to EVM contracts written without the guardrails of higher level languages like solid…
  ☆131Updated 2 years ago