Veryclear
Scriptable ERC7730 descriptions for Ethereum transactions.
Demo
About
A DSL which allows to describe how to understand transactions for humans. It takes a transaction calldata and produces a natural language template with holes that can be filled on an edge device like a ledger.
How it's made
A DSL in lean produces zk circuits allowing to verify transactions. This circuit allows to generate proofs on the frontend but must be verified on the edge device.