hiero-ledger / hiero-ledger/hiero-consensus-node
CLPR-7.2: HieroTSS Verifier on Ethereum
- Dominant language
- Java
- Stars
- 406
- Forks
- 226
- Avg merge
- 3d 4h
- Merged PRs (30d)
- 210
Description
## Story CLPR-7.2: HieroTSS Verifier on Ethereum
**Parent Epic:** CLPR-7: Ethereum Verifier
**Repo:** TBD
### Objective
Implement a Solidity verifier on Ethereum that validates Hiero TSS signatures and SHA-384 Merkle paths.
### Acceptance Criteria
- **AC-1:** Parses Hiero proof bytes protobuf (block proof, Merkle paths, queue metadata, messages).
- **AC-2:** Verifies TSS aggregate signature over state root hash using tracked Hiero TSS public key.
- **AC-3:** TSS key rotation: tracks current key, accepts transitions proven by outgoing key.
- **AC-4:** SHA-384 Merkle path verification: recomputes root, compares against signed state root.
- **AC-5:** Returns verified `ClprQueueMetadata` and `ClprMessagePayload[]`.
- **AC-6:** Reverts on invalid signature, path mismatch, malformed proof.
- **AC-7:** Gas analysis with real proof vectors from CLPR-4.2.
### Dependencies
- CLPR-7.1
- CLPR-4.2 (generates proofs this validates)
- SHA-384 support in EVM (precompile or library)
### Risk
**High** — SHA-384 not natively efficient in EVM. TSS verification may need precompiles. Gas costs could be prohibitive; ZK-wrapped proofs may be needed as alternative.
Contributor guide
Research direction
No implementation files or tests are named, and the target repo is TBD. Start by reviewing the CLPR-7.1 dependency and CLPR-4.2 proof vectors, then assess Solidity/EVM support for TSS signatures and SHA-384. Done means the verifier satisfies AC-1 through AC-7, including malformed-proof reverts and gas analysis.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- solidity
- Domain
- blockchain, cryptography
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100