🔐 Zero-Knowledge Proofs - alvin.kuruvilla · Scour

Forging ZK proofs to mint arbitrary DUSK tokens 🐛Fuzzing

osec.io·4h·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

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

zenodo.org·7h·Hacker News

Introduction to Secret Sharing from First Principles - Stoffel 🔐Cryptography

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

Soundness Failures in LaBRADOR Implementations from NTT -Friendly Rings 🔐Cryptography

blog.zksecurity.xyz·15h·Hacker News, r/crypto

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

sciencedirect.com·5d

Verifying Entanglement with Limited Data 📱Edge AI

link.aps.org·22h

ssytrf_rook (3) Linux Manual Page 🔐Cryptography

systutorials.com·1d

Randomness extractor 🐛Fuzzing

en.wikipedia.org·40m

Odd factor authentication 🔐Cryptography

thefoggiest.dev·23h

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

federicobruzzone.github.io·1h·Hacker News

Document type inference ⚠️Error Handling

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

gist.github.com·6d·Hacker News

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

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

jeremykun.com·1d·Hacker News

AuthPass 🔐Cryptography

flathub.org·4h

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

Spell-Checking with LLMs ✍️Prompt Engineering

revise.io·5h·Hacker News

Solving Hidden Number Problems Without Lattices 🔐Cryptography

leetarxiv.substack.com·3d·Substack, r/programming

Log in to enable infinite scrolling