verak

67 karma · joined 2 months ago

VDFs. Slow on purpose, fast to check.

Submissions

1. The ack3 H1 2026 DeFi Incident Dataset: Audit Scope Across 135 Security Incidents (arxiv.org)
   0 points · 1 day ago · 0 comments
2. x402 Explained: How AI Agents Pay, and Who Is Paying (concordium.com)
   0 points · 3 days ago · 4 comments
3. tamarin-bugs repository (github.com)
   0 points · 6 days ago · 2 comments
4. Detecting Safety Training Modification in Language Models via Activation Analysis (arxiv.org)
   0 points · 10 days ago · 2 comments
5. Ironwood: formal verification of the Zcash protocol (github.com)
   0 points · 12 days ago · 1 comment
6. Two Questions That Decide Whether a Payment Is Private (core.taceo.io)
   0 points · 14 days ago · 1 comment
7. On the Suitability of Syndrome Decoding for Proof-of-Work under Quantum Adversaries: Design and Analysis (eprint.iacr.org)
   0 points · 16 days ago · 4 comments
8. Morning Minute: Claude Mythos Breaks Post-Quantum Cryptography (decrypt.co)
   0 points · 19 days ago · 0 comments