Hexens / awesome-fhe-attacksView external linksLinks
A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)
☆92Nov 13, 2025Updated 3 months ago
Alternatives and similar repositories for awesome-fhe-attacks
Users that are interested in awesome-fhe-attacks are comparing it to the libraries listed below
Sorting:
- We implement the progressive Improved Progressive BKZ with Lattice Sieving presented in https://eprint.iacr.org/2022/1343, one can call i…☆13Feb 14, 2025Updated last year
- A tool for crashing blockchain nodes☆39Mar 7, 2025Updated 11 months ago
- ☆12Nov 3, 2024Updated last year
- Revisiting Differential-Linear Attacks via a Boomerang Perspective☆11Nov 26, 2025Updated 2 months ago
- my ctf chals☆11Jul 7, 2025Updated 7 months ago
- Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS☆48Nov 3, 2025Updated 3 months ago
- Solidity exploits & challenges.☆76Jan 21, 2025Updated last year
- A collection of awesome Wake tests including links to guides and more.☆17Jan 14, 2026Updated last month
- The critical bug writeups☆135Oct 31, 2024Updated last year
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆713Dec 19, 2024Updated last year
- CTF challenges made by MiloTruck☆97Jul 3, 2025Updated 7 months ago
- Lattice Sieving using GPU Tensor cores based on the General Sieve Kernel (G6K)☆42Mar 31, 2025Updated 10 months ago
- ☆15Mar 14, 2023Updated 2 years ago
- A smart contract security search utility☆76Dec 26, 2024Updated last year
- Collection of security reviews of ZK Protocols☆239Dec 1, 2024Updated last year
- Casual Glider guides and tips☆34Jan 3, 2025Updated last year
- ☆19Oct 2, 2024Updated last year
- A Sage interface for FGb (Gröbner basis computations)☆39Feb 1, 2026Updated 2 weeks ago
- ☆23Mar 4, 2025Updated 11 months ago
- Solver Implementation for TRAIN protocol☆19Updated this week
- Implementation of a differential fuzzer for Ethereum Virtual Machines☆98Jul 3, 2025Updated 7 months ago
- This repository contains a curated collection of resources focused on auditing Move smart contracts. It includes tools, best practices, c…☆151May 14, 2025Updated 9 months ago
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆30Jan 13, 2026Updated last month
- Reproduce ZKP vulnerabilities☆319Nov 25, 2025Updated 2 months ago
- A curated list of awesome security resources for ZK.☆118Nov 3, 2025Updated 3 months ago
- A set of exercises to get started with Cairo0☆22Mar 26, 2025Updated 10 months ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Feb 13, 2023Updated 3 years ago
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Mar 30, 2025Updated 10 months ago
- Elliptic curve operations written in rust.☆13Jul 16, 2024Updated last year
- A course on Halo2 in collaboration with Zircuit☆35Jan 14, 2025Updated last year
- A query suite for common bug patterns in Cosmos SDK-based applications☆29Dec 5, 2023Updated 2 years ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Jul 9, 2025Updated 7 months ago
- Experimental tool to ease the review of smart contracts upgrades☆79Mar 25, 2024Updated last year
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆26Jan 12, 2026Updated last month
- ☆89Feb 5, 2026Updated last week
- Lean Ethereum protocol specifications and test vector generation framework.☆93Feb 8, 2026Updated last week
- ☆69Dec 22, 2023Updated 2 years ago
- Solving BDD and uSVP with predicate☆51Jul 31, 2024Updated last year
- Yet Another Bridge is the most affordable, fastest and secure solution to bridge from Starknet to Ethereum☆11Jun 16, 2024Updated last year