🔐 Cryptography

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

Core Concepts in Web3
dev.to·1h·
Discuss: DEV
🤝Protocol Design
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·3d
✅Formal Verification
Encrypted Client Hello Approved for Publication
feistyduck.com·1d·
Discuss: Hacker News
🤝Protocol Design
How to Write Inductive Invariants
quint-lang.org·17h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Michio Kaku wants to solve Einstein’s unfinished equation
bigthink.com·19h
🤖Sci-Fi
Cheating on Quantum Computing Benchmarks
schneier.com·1d·
Discuss: Hacker News
📈Complexity Theory
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
From Zero-Trust to Quantum-Safe: The Next Big Shifts in Cybersecurity
dev.to·1d·
Discuss: DEV
🛡️IoT Security
Deriving Rope the Proper Way
nor-blog.pages.dev·1d·
Discuss: Hacker News
🔄Category Theory
Cipher Zero
buried-treasure.org·19h
🧫Cellular Automata
Bitcoin Optech Newsletter #365
bitcoinops.org·20h
🤝Protocol Design
🐥 Elixir Anti-Patterns
yellowduck.be·15h
⚙Functional Programming
Could we get quantum spookiness even without entanglement?
newscientist.com·13h
⚡Concurrency
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
⚙Functional Programming
The Signal Protocol Explained #2: Implementing the Double Ratchet Algorithm in Rust
kerkour.com·3d·
Discuss: Hacker News
🤝Protocol Design
Universal tradeoff relations between resource cost and irreversibility of channels: General-resource Wigner-Araki-Yanase theorems and beyond
arxiv.org·1d
📊Information Theory
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·15h·
Discuss: Lobsters, Hacker News
👐Open Source Software
Parallel Programming Models
ayushgundawar.me·1h·
Discuss: Hacker News
🏗Computer Architecture
Understanding Blockchains Through Java Code
blog.blockingqueue.com·1d·
Discuss: Hacker News
🤝Protocol Design
A Novel Post-Quantum Secure Digital Signature Scheme Based on Neural Network
arxiv.org·4d
🤝Protocol Design