Pedro Coelho do NascimentoEventsWorkshop | No Circuits Required: Building ZK Proof Systems in *Pure Rust* 2024-07-06