GitHub repository: lambdaclass/pinocchio_lambda_vm
Primary language: Rust
Description: Zero Knowledge Virtual Machine from scratch implementing Pinocchio