Luis Soares's repositories
build-wrap
Help protect against malicious build scripts
crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
crypto3
Modern Cryptography Suite in C++17
crypto3-block
Block ciphers for [[alloc] init] cryptography suite
Cyjon
A simple, clean code, multi-tasking kernel written in pure Assembly language for 64-bit processors from the AMD64 family.
dylint
Run Rust lints from dynamic libraries
gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
iggy
Iggy is the persistent message streaming platform written in Rust, supporting QUIC, TCP and HTTP transport protocols, capable of processing millions of messages per second.
jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
kmon
Linux Kernel Manager and Activity Monitor 🐧💻
libcdada
Basic data structures in C: list, set, map/hashtable, queue... (libstdc++ wrapper)
liboqs
C library for prototyping and experimenting with quantum-resistant cryptography
MP-SPDZ
Versatile framework for multi-party computation
necessist
A mutation-based tool for finding bugs in tests
oqs-provider
OpenSSL 3 provider containing post-quantum algorithms
rbpf
Rust virtual machine and JIT compiler for eBPF programs
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
rust-vpn-router
A Rust-based VPN split tunneling
serie
A rich git commit graph in your terminal, like magic 📚
solana-listener
A simple Solana node listener in Rust
solana-proofs
A Rust implementation for generating Zk Proofs for Solana
state
Git packaging repository state (read-only mirror)
tsc
OQS Technical Steering Committee resources
zk-book
This is the markdown for the ZK Book
zkAds
A privacy-first advertising platform using Zero Knowledge Proofs to protect user data while allowing targeted ads. Only relevant ads are displayed, ensuring privacy without revealing personal information.
zkEVM-framework
Framework for test verification of state of claster based on EVM
zkllvm-transpiler
Circuit Transpilers for zkLLVM provable computations compiler