CVE-2026-72844 : Example of proving "0 = 1" using a vulnerability in the Lean 4 kernel.
☆26Aug 22, 2026Updated 2 months ago
Alternatives and similar repositories for lean-cve-poc
Users that are interested in lean-cve-poc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- R1CS to Plonk transpiler☆11Jun 12, 2025Updated last year
- General-purpose zero-knowledge proof system for proving on the user's own device.☆11Updated this week
- Jolt with Basefold PCS over Goldilocks supported☆11Jul 22, 2024Updated 2 years ago
- CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields☆11Jun 13, 2026Updated 4 months ago
- ☆12May 3, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 6 years ago
- A dumb afl-fuzz triage tool.☆15Dec 8, 2022Updated 3 years ago
- SonicWall VPN-SSL Exploit* using Golang ( * and other targets vulnerable to shellshock ).☆18Feb 11, 2021Updated 5 years ago
- The CYC1000 is the next generation of Arrow’s FPGA IoT/Maker boards based on the latest Intel FPGA family Cyclone 10 LP.☆11Jan 27, 2022Updated 4 years ago
- AIS 31 Test Suite from BSI, Version 1.0☆12Jul 4, 2020Updated 6 years ago
- A presentation platform written in p5.js☆10Dec 17, 2019Updated 6 years ago
- fullVerif tool for verification of masked hardware implementations☆11Aug 20, 2024Updated 2 years ago
- A coverage-guided and memory-detection enabled fuzzer for windows applications.☆32Feb 1, 2021Updated 5 years ago
- Server prepared for SSRF post exploitation, javascript exploits and open redirect.☆13Jan 4, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Linux tools and examples for OPTIGA™ Trust V1/V3 security solution☆25Oct 23, 2026Updated 2 weeks ago
- My research WIP bluepill hypervisor☆40Mar 15, 2023Updated 3 years ago
- A command line Swiss army knife for string and number conversions☆18Jun 18, 2026Updated 4 months ago
- Scans npmjs.org for npm packages that can be taken over☆19Jun 6, 2022Updated 4 years ago
- cuPQC SDK Developer Hub: samples, integration guides, and technical/release blogs☆17Sep 3, 2026Updated 2 months ago
- Segmentation Fault-Oriented Programming exploitation technique☆22May 20, 2026Updated 5 months ago
- A tool to get linux container rootfs from lxc-image mirrors.☆12Nov 11, 2024Updated last year
- Standalone port of Mednafen NGP to the libretro API, itself a fork of Neopop.☆15Jun 14, 2026Updated 4 months ago
- POC exploit for Ingresso.com, leaking personal information and event tickets☆16Apr 17, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A more realistic demo of a buffer overflow cause by -ffast-math☆16Sep 10, 2022Updated 4 years ago
- Inject libraries into 32 processes on macOS Mojave☆16Mar 2, 2020Updated 6 years ago
- Sage implementation of the MAYO scheme☆16Sep 6, 2026Updated 2 months ago
- ☆11Aug 21, 2023Updated 3 years ago
- A tiny tool to strip the debug info from Windows binary files.☆11Mar 16, 2022Updated 4 years ago
- A debugger for Michelson☆15Aug 7, 2023Updated 3 years ago
- ☆11Sep 26, 2026Updated last month
- Intercepting cpuid without a hypervisor☆21Updated this week
- Spanish keyboard layout for Digispark DigiKeyboard☆15Nov 27, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The cryptography library of Lean 4☆10Apr 30, 2025Updated last year
- ☆27Jun 17, 2013Updated 13 years ago
- A 3D printed, case for the Sofle v2.0w keyboard☆18Jul 22, 2023Updated 3 years ago
- This arduino sketch uses the Digispark Attiny85 DigiKeyboard library to carry out a HID attack on a Windows 10 machine. The attack consis…☆18Jan 8, 2021Updated 5 years ago
- ☆15May 19, 2022Updated 4 years ago
- Win32 PE Anti-RE and Anti-debugging Framework☆13May 14, 2019Updated 7 years ago
- CVE-2017-10366: Oracle PeopleSoft 8.54, 8.55, 8.56 Java deserialization exploit☆25Sep 4, 2018Updated 8 years ago
Are these results useful?