Iconic media player

A symbolic testing tool for EVM smart contracts

100kHz to 6GHz 2 port USB based VNA

Instruction Set Generator initially contributed by Futurewei

Custom firmware for the HackRF PortaPack H1/H2

A Lightweight Partially Homomorphic Encryption Library for Python

TAK Server

Investment Research for Everyone, Everywhere.

attack implementation against FHE

SMT 2023 Submission; license pending

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

Automated verification of uniqueness property for ZKP circuits

Static analysis toolkit for security analysis in Aleo programs

A Decentralized Operating System for ZK Applications

A Virtual Machine for Zero-Knowledge Executions

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Ecne: An engine for verifying the soundness of R1CS constraints

Main repository of SageMath

symbolic EVM evaluator

Cyclic theorem prover for equalitional reasoning using egraphs

A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

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.