Veryclear
Scriptable ERC7730 descriptions for Ethereum transactions.
Veryclear
Created At
ETHGlobal Cannes 2026
Winner of
Ledger - Clear Signing, Integrations & Apps 1st place
Project Description
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.
