Bitcoin

• 2026-04-12 Benchmarking SLH-DSA Aggregation with STARKs
• 2026-04-07 Formal Verification of secp256k1 modular scalar multiplication