Zero-Knowledge Proofs, Homomorphic Encryption, Lattice-based, Post-Quantum

Secure QKD Network Resilience via Dynamic Threshold-Adaptive Key Reconciliation
dev.to·14h·
Discuss: DEV
🤝Protocol Design
Tightly Secure Inner-Product Functional Encryption Revisited: Compact, Lattice-based, and More
eprint.iacr.org·4d
Functional Programming
Quantum Algorithm Zoo
quantumalgorithmzoo.org·2d·
Discuss: Hacker News
🧭SMT Solvers
God Does Not Play Dice: An Investigation into the Rejection of Quantum Indeterminism
reddit.com·4h·
Discuss: r/LLMPhysics
🧮Programming Language Theory
The New Math of Quantum Cryptography
wired.com·5d·
Discuss: Hacker News
📈Complexity Theory
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·49m
🧭SMT Solvers
Quantum Information Supremacy
scottaaronson.blog·18h
📊Information Theory
CRT-structured Collatz blocks
researchgate.net·18h·
Discuss: r/mathematics
🧭SMT Solvers
Construction of Kochen-Specker Sets from Mutually Unbiased Bases
arxiv.org·1d
🎲Probabilistic Programming
IND-CPA-D and KR-D Security With Reduced Noise from the HintLWE Problem
eprint.iacr.org·4d
📈Complexity Theory
Understanding Passkeys and Their Everyday Use
blogger.com·11h
🤝Protocol Design
WiMi Lays Out Variational Quantum Algorithms for Multidimensional Data Task Processing
prnewswire.com·10h
🎲Probabilistic Programming
Kerckhoffs's principle
stacker.news·2d
📊Information Theory
VaultGemma: The world's most capable differentially private LLM
research.google·16h·
📈Complexity Theory
Quantum Cardinality: Taming Big Data's Wild Estimates
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Quantum Networks: Taming the Chaos with Intelligent Routing by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🌍Distributed Systems
Robert Haas: Hacking Workshop for October 2025
postgr.es·11h
🧩Theorem Proving
Cloning Quantum Channels
arxiv.org·1d
📊Information Theory
Zero-knowledge proofs unlock privacy in digital identity
hopae.com·4d·
Discuss: Hacker News
🤝Protocol Design