Quantum Scientists Have Built a New Math of Cryptography
quantamagazine.org·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
How to expose Kubernetes OIDC JWKS endpoints
gawsoft.com·4h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The CRO Trilemma : a formal incompatibility between Confidentiality, Reliability and legal Opposability in Post-Quantum proof systems
eprint.iacr.org·2d
🔐Zero-Knowledge Proofs
OpenBSD Meets the Solar Neighborhood
laser-coder.net·9h·
Discuss: Hacker News
✅Formal Methods
Boolean SHA256 with TFHE-rs (2023)
zama.ai·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Python implementation of Apple PQ3 protocol
github.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Metasurfaces could be the next quantum information processors
phys.org·10h·
Discuss: Hacker News
🎨Rendering
An introduction to fifth generation warfare
greydynamics.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
A PoC using Burp Bambdas to show its simplicity for Quick Wins
blog.kulkan.com·1d·
Discuss: Hacker News
✅Formal Methods
The Sail instruction-set semantics specification language
alasdair.github.io·12h·
Discuss: Hacker News
🦀Rust
Milk Sad: Secure private key generation write up
milksad.info·20h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Age and Authenticated Encryption
words.filippo.io·16h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Company developing Paducah laser uranium enrichment hits regulatory milestone
wkms.org·4h·
Discuss: Hacker News
⚡CUDA
Post to HN
blog.cloudflare.com·4h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The Signal Protocol Explained #1: Implementing the Post-Quantum Extended Diffie-Hellman (PQXDH) protocol in Rust
kerkour.com·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The "computer janitor" of the Manhattan project
allaboutcircuits.com·1d·
Discuss: Hacker News
✅Formal Methods
Inference Gateway – Open-Source
github.com·15h·
Discuss: Hacker News
✅Formal Methods
I Built QZ–and How Echelon Is Now Breaking It
robertoviola.cloud·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
I've returned to Linux but I miss PowerShell
chrisfun.xyz·8h·
Discuss: Hacker News
✅Formal Methods