Low-level unprivileged sandboxing tool used by Flatpak and similar projects

OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.

File Access Policy Daemon

Ethereum implementation on the efficiency frontier

A dynamic tiling extension for KWin

Clinic.js diagnoses your Node.js performance issues

Binary Proofs, Blazing Fast

Factory smart contract to make easier and safer usage of the `CREATE` and `CREATE2` EVM opcodes as well as of `CREATE3`-based (i.e. without an initcode factor) contract creations.

a robust, scalable, and maintained set of caching packages

ZK Circuit Fuzzer (IEEE S&P'26)

Open source toolkit created to enable easy adoption of software enclaves

Circom to Gnark Groth16 parser and recursion example

Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography

Diamond iO implementation https://eprint.iacr.org/2025/236

A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.

Explore Ethereum-like blockchain privately with your RPC URL

Coinbase MPC Library

Rust adapter for 0xPolygonID/witnesscalc for any circuit

MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.

Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇

Groth16 over ICICLE

A Rust-based shared library for alternative prover backends.

A fast, efficient Node.js Worker Thread Pool implementation

Circom to MP-SPDZ