Segfaulter

Advanced
@brudnevskij

Rust & cryptography engineer. Building zk-SNARKs. Studying ZKPs, blockchains & secure systems. Always learning & building

toyplonk. An educational implementation of the PLONK proving system

10

toy-zkvm. STARK-style zero-knowledge virtual machine in Rust, featuring a toy DSL, VM execution, AIR constraints, Merkle commitments, Fiat-Shamir, FRI, and end-to-end proof verification.

6

r1cs-qap. R1CS-QAP-Pinocchio-Groth16 study project

4

agentshield-rs. A pre-signing transaction risk analyzer for autonomous blockchain agents.

2
4
Apply