Labels:* high-difficulty, yul, cryptography, gasguard
Difficulty: High
Module: contracts/crypto/
🧠 Concept
Develop a threshold signature set verifier in Yul that uses loop unrolling techniques for fixed validator set sizes ($k$-of-$n$) to eliminate loop counter overhead.
⚠️ Problem
Iterating over signature verification loops using standard for loops incurs loop counter increments, boundary checks, and dynamic stack management gas on every iteration.
📁 Implementation Scope
contracts/crypto/UnrolledSignatureVerifier.soltest/crypto/UnrolledSignatureVerifier.test.ts
🛠️ Requirements
- Unroll signature validation checks for common consensus thresholds (e.g., 3-of-5, 5-of-7) using inline Yul assembly.
- Execute
ecrecover calls inline with direct stack-based address comparisons.
🎯 Acceptance Criteria
Labels:*
high-difficulty,yul,cryptography,gasguardDifficulty: High
Module:
contracts/crypto/🧠 Concept
Develop a threshold signature set verifier in Yul that uses loop unrolling techniques for fixed validator set sizes ($k$ -of-$n$) to eliminate loop counter overhead.
Iterating over signature verification loops using standard
forloops incurs loop counter increments, boundary checks, and dynamic stack management gas on every iteration.📁 Implementation Scope
contracts/crypto/UnrolledSignatureVerifier.soltest/crypto/UnrolledSignatureVerifier.test.ts🛠️ Requirements
ecrecovercalls inline with direct stack-based address comparisons.🎯 Acceptance Criteria