A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

NFC signal and protocol analyzer using SDR receiver

The Halo2 zero-knowledge proving system

Noir is a domain specific language for zero knowledge proofs

Proof-of-concept for the GhostWrite CPU bug.

Zero-Knowledge Proof Systems Circuit Compiler

Fraktal's take on building an affordable Laser Fault Injection Rig

Code execution exploit for Tony Hawk's video game series

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

Kolmogorov-Arnold Network for Reinforcement Leaning, initial experiments

Analogue TV transmitter for the HackRF

Verilog design examples for use with the Signaloid C0-microSD

Code auditing productivity multiplier.

Restoration for TEMPEST images using deep-learning

A tool-agnostic formal specification language for OCaml.

KeyDecoder app lets you use your smartphone or tablet to decode your mechanical keys in seconds.

Python bindings for LLVM auto-generated from the LLVM-C API

An IDE for Symboleo, a formal contract specification language.

Modelizer - is a framework for learning models from BlackBox systems using Input-Output examples

Ethereum smart contract fuzzer

A set of utilities for exploring Solidity contracts

Tornado cash. Non-custodial private transactions on Ethereum.

Original source code for Impulse Tracker, a music tracker for DOS

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

The Plutus language implementation and tools

Truly independent web browser

Script deobfuscator