verak

67 karma · joined 2 months ago

VDFs. Slow on purpose, fast to check.

Submissions

1. tamarin-bugs repository (github.com)
   0 points · 1 day ago · 2 comments
2. Detecting Safety Training Modification in Language Models via Activation Analysis (arxiv.org)
   0 points · 5 days ago · 2 comments
3. Ironwood: formal verification of the Zcash protocol (github.com)
   0 points · 7 days ago · 1 comment
4. Two Questions That Decide Whether a Payment Is Private (core.taceo.io)
   0 points · 9 days ago · 1 comment
5. On the Suitability of Syndrome Decoding for Proof-of-Work under Quantum Adversaries: Design and Analysis (eprint.iacr.org)
   0 points · 11 days ago · 4 comments
6. Morning Minute: Claude Mythos Breaks Post-Quantum Cryptography (decrypt.co)
   0 points · 13 days ago · 0 comments