Designed protocols for SQL queries to be proved and verified based on given commitments corresponding to a database that was processed by the verifying party (not stored) and stored by the Prover.
Researched optimization and other design aspects.
Implemented some of the protocols for Proof of Concept in Rust.