ricardop

• Researching transformations from interactive arguments (IA) to non-interactive arguments (NARG) using the Deterministic Sponge Fiat–Shamir (DSFS) framework. • Designing a Rust interface for interactive proof protocols, enabling generic Fiat–Shamir compilation. • Implementing Construction 4.3 from the SpongeFiSh paper using the arkworks-rs/spongefish cryptographic sponge library. • Prototyping DSFS transformations on classical protocols including Schnorr proofs and the Sumcheck protocol. • Exploring constructions of BCS-based IOPs with Merkle tree commitments bridging interactive oracle proofs and non-interactive proof systems.

• Contributed to rindexer, Aave Labs’ open-source Ethereum indexing framework adopted by 10+ ecosystem teams. • Implemented a Rust-based health monitoring server tracking indexer uptime and performance (PR #303). • Designed and maintained a comprehensive end-to-end testing suite, improving CI reliability and expanding test coverage by ~100%