Mauro
Mauro works with Aligned Layer on zero-knowledge proof verification, following earlier engineering and cryptography work at LambdaClass. Aligned aims to reduce the cost of verifying proofs for Ethereum applications through specialized verification infrastructure.