Pinned Repositories
mpz
Multi-party computation libraries written in Rust 🦀
authdecode_lookup
Authdecode circuit in halo2 using look up tables
lpfw
Linux Personal Firewall
mpz
Multi-party computation rust libraries
opensnitch
OpenSnitch is a GNU/Linux port of the Little Snitch application firewall
tlsn
Rust implementation of the TLSNotary protocol
themighty1's Repositories
themighty1/lpfw
Linux Personal Firewall
themighty1/mpz
Multi-party computation rust libraries
themighty1/opensnitch
OpenSnitch is a GNU/Linux port of the Little Snitch application firewall
themighty1/tlsn
Rust implementation of the TLSNotary protocol
themighty1/authdecode_lookup
Authdecode circuit in halo2 using look up tables
themighty1/book
pest book
themighty1/circomlib
Library of basic circuits for circom
themighty1/emp-ag2pc
Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation
themighty1/gobpf
Go bindings for creating BPF programs.
themighty1/jigg
JavaScript implementation of garbled gates and 2PC boolean circuit protocols
themighty1/maci
Minimal anti collusion infrastructure
themighty1/macro-circuit-assembler
Expand a macro-circuit into standard Bristol format
themighty1/neptune
Rust Poseidon implementation.
themighty1/notes-extension-gnome
A GNOME Shell extension providing customizable sticky notes
themighty1/halo2
themighty1/poseidon-gadget
Poseidon gadget for Halo2, previously at halo2_gadgets.
themighty1/rs-merkle
The most advanced Merkle tree library for Rust
themighty1/rustls
A modern TLS library in Rust
themighty1/salsabench
themighty1/spansy
themighty1/stream-ciphers
Collection of stream cipher algorithms
themighty1/tlsn-js
NPM Modules for proving and verifying using TLSNotary in the browser
themighty1/tlsn-utils
Rust utils for TLSNotary