lfglabs-dev / lfglabs-dev/verity
feat(Patterns): typed EIP-712 / ecrecover signature-flow pattern
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 148
- Forks
- 20
- Avg merge
- 1d 14h
- Merged PRs (30d)
- 29
Description
Problem
EIP-712 digest construction + ecrecover ordering is currently a per-contract local obligation in downstream ports rather than a reusable typed pattern, even though hashing/EIP-712 helper ECMs are shipped.
Goal
A typed signature-flow surface: declare an EIP-712 struct type, get domain-separator/digest construction and an ecrecover-based authorization check as a standard pattern with a generic correctness lemma (signer-binding given the ECM contracts), instead of each contract restating the digest/recover ordering facts.
Depends on the dynamic/nested ABI codec (#1982 P0-1) for abi.encode of rich struct types. Lower priority; filed for tracking after the 2026-06-12 Morpho fidelity analysis.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reviewing the existing hashing/EIP-712 helper ECMs and the dynamic/nested ABI codec dependency in #1982. Identify the entry points for typed struct declarations, domain-separator and digest construction, and ecrecover authorization. Done means the reusable signature-flow pattern and signer-binding correctness lemma are defined and validated against the dependency.
Written by the indexing model from the issue text.
Assessment
- Domain
- blockchain, cryptography
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100