🔐 Zero-Knowledge Proofs - alvin.kuruvilla · Scour

Forging ZK proofs to mint arbitrary DUSK tokens 🐛Fuzzing

osec.io·8h·Hacker News

Practical Post-Quantum Secure Publicly Verifiable Secret Sharing and Applications 🔐Cryptography

eprint.iacr.org·6d

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking 🔐Cryptography

DeepMind has open-sourced the heart of AlphaGo and AlphaZero 📱Edge AI

news.ycombinator.com·2h·Hacker News

Introduction to Secret Sharing from First Principles - Stoffel 🔐Cryptography

stoffelmpc.com·2d·Hacker News, r/crypto, r/programming

airlock: AI Trust as a Variable - A Cryptographic Protocol for Runtime Identity Verification 🛡️AI Security

zenodo.org·11h·Hacker News

Sum-Check as an Algebraic Tensor Reduction: Part 1 🔐Cryptography

blog.zksecurity.xyz·3d·Hacker News

withFixedLegConvention (3) Linux Manual Page ⚠️Error Handling

systutorials.com·3h

Document type inference ⚠️Error Handling

Storing Passwords Securely 🔐Cryptography

patrickmn.com·2h

Article: The DPoP Storage Paradox: Why Browser-Based Proof-of-Possession Remains an Unsolved Problem 🔐Cryptography

Kodebits: The First Month [FREE] ✍️Prompt Engineering

kodeco.com·13h

CKKS — Polynomials, the Canonical Embedding, and Encoding 🔐Cryptography

jeremykun.com·1d·Hacker News

Revisiting finite Abelian hidden subgroup problem and its distributed exact quantum algorithm 📊Algorithms

sciencedirect.com·5d

Randomness extractor 🐛Fuzzing

en.wikipedia.org·4h

The Mutable Value Semantics (MVS): A Non-Superficial Study ⚠️Error Handling

federicobruzzone.github.io·5h·Hacker News

Quantum-Resilient Cryptography in the openSUSE Ecosystem 🔐Cryptography

news.opensuse.org·2d

AuthPass 🔐Cryptography

flathub.org·8h

Replacing probabilistic AI with deterministic math and Dafny formal verification ⚠️Error Handling

gist.github.com·6d·Hacker News

From Convergence to Confidence: Push-Button Verification for RDTs 🐛Fuzzing

kcsrk.info·2d·Hacker News, Hacker News

Log in to enable infinite scrolling