feat: Redefine `OracleVerifier` & lenses for oracle reductions#83

Open

quangvdao wants to merge 9 commits intomainfrom

Commits on Jul 7, 2025

Commits on Jul 9, 2025

defined new oracle verifier
quangvdao
committed

Commits on Jul 10, 2025

Commits on Jul 11, 2025

WIP finishing oracle lens
quangvdao
committed

Commits on Jul 12, 2025

more progress on oracle lens
quangvdao
committed

Commits on Jul 16, 2025

WIP
quangvdao
committed