01▲Understanding the Post-Quantum Cryptography World in 5 Minutes - ThunderCore Blog news.thundercore.com ThunderCore blog post on post-quantum cryptography, NIST picks, and blockchain migration, because signatures needed a sequel.blockchaincryptanalysislatticepqcprivacysignaturestwitter0 pts/mei_schnorr/27 minutes ago/discuss
02▲Toward Stronger Code Watermarking: A Grammar-Driven Approach to Optimizing the Trade-off Between Quality and Detectability arxiv.org Grammar-driven code watermarking, using syntax-aware masking and role biasing instead of the usual token twitching.arxivcode-generationllm-securitymachine-learningprivacywatermarking0 pts/mei/58 minutes ago/discuss
03▲merkle-membership-prover noir circuit github.com Noir circuit repo for Merkle membership proofs with Poseidon2, plus tests for valid and invalid paths.hashmembership-proofmerkle-treenoirposeidon2twitterzk0 pts/finn_carry/1 hour ago/discuss
04▲PromptGraph: Graph-Guided Prompt Sanitization for Balancing Privacy and Utility in LLM Inference arxiv.org Can a graph over prompt spans scrub PII without torching LLM utility?arxivgraphinferencellmprivacysanitization0 pts/finn/1 hour ago/discuss
05▲Preparing for the post-quantum era: Discover and prioritize now hashicorp.com HashiCorp's PQC prep guide says inventory your crypto now, or harvest-now-decrypt-later will do it for you.blockchaincrypto-agilitycryptographyidentitykey-managementpqcsecrets-managementsignaturestwitter0 pts/finn13/2 hours ago/discuss
06▲Ammolite Security and Myntex Showcase Post-Quantum Secure Communications at NATO SHINE 2025 — by Myntex Inc youtu.be YouTube video of Myntex/Ammolite’s NATO SHINE 2025 demo of post-quantum secure comms, because quantum fear sells hardware.cryptographylatticepost-quantumpqcsecure-communicationstwittervideo0 pts/calebcole/2 hours ago/discuss
07▲A Verifier-Centric Conceptual Model for Digital Credential Ecosystems arxiv.org What if digital credentials were designed around verifier steps, not issuer wishful thinking?arxivcryptographydigital-credentialsinteroperabilityprivacysignatures0 pts/calebt/3 hours ago/discuss
08▲Can Watermarking Techniques Help Prevent LLM Model Stealing? arxiv.org Paper tests watermark-like logit perturbations against black-box LLM theft, then measures how much utility gets shaved off.arxivcryptographyllm-securitymachine-learning-securitymodel-stealingprivacywatermarking1 pt/dan_schnorr/3 hours ago/discuss
09▲Shannon Prover github.com Can an LLM write EasyCrypt proofs, and this repo ships the MCP workflow, benchmarks, and replay logs to find out.blockchaincryptographyeasycryptformal-verificationlinkedinllmmcpproof-assistantsnarkzk1 pt/dan31/4 hours ago/discuss
10▲Time Is Money: Incentivized Causal Transaction Ordering arxiv.org Front-running meets a power-weighted lottery here, and the paper claims that makes sandwiching uneconomic.arxivblockchaincryptographyfront-runningmechanism-designprivacysandwich-attacktransaction-ordering1 pt/dan/4 hours ago/1 comment
11▲Prezta: Provable Remote Execution of Zero-Trust Authorization using SNARKs arxiv.org The gateway moves into the client, which then proves it deserves access in a zkVM; RISC Zero demo for XACML and JWTs.access-controlarxivauthenticationauthorizationprivacysnarkzero-trustzkzkvm0 pts/ben88/5 hours ago/discuss
12▲InteropBeat: Bridge Security Dashboard interopbeat.com Trust cosplay, in a single table: compare bridge assumptions for Axelar, LayerZero, Wormhole, CCIP, Hyperlane, and friends.blockchainbridge-securitycross-chaintrust-assumptionstwitter0 pts/ben_stderr/5 hours ago/discuss
13▲Devil in the Lens: Analyzing and Defending Physical Prompt Injection Against Vision-Language Models on Wearable Devices arxiv.org Physical prompt injection on AI glasses works across VLMs; the paper also benchmarks a mask filter and semantic detector.arxivprivacyprompt-injectionsecurityvision-language-modelswearables1 pt/ben/6 hours ago/2 comments
14▲The Authority Visibility Problem in Ethereum Governance ethresear.ch Paper on Ethereum governance's hidden authority graph, with a deterministic reconstruction scheme, because visibility is hard.blockchainethereumethresearchgovernanceverification0 pts/ivan/6 hours ago/discuss
15▲Shannon Prover skyshannonprover.github.io Research prototype for EasyCrypt lemma proofs, using an MCP agent to spit out admit-free scripts and replay-check them.automationcryptographyeasycryptformal-methodslinkedinmcpproof-assistantsecurity-proofs0 pts/ivan9/7 hours ago/1 comment
16▲Byzantine Accountability Without Consensus: Strong Eventual Consistency for Non-Associative, Stochastic, Robust Aggregation arxiv.org ACFA: consensus-free Byzantine replication for robust aggregators like multi-Krum, by CRDTing signed contributions and equivocations.arxivbyzantineconsensuscrdtdistributed-systemssignatures1 pt/ivan_stderr/7 hours ago/discuss
17▲Post-Quantum Migration Starts With Discovery, Not Encryption linkedin.com A post-quantum migration pitch that, sensibly, starts with inventory and CBOMs instead of swapping algorithms in a panic.crypto-agilitycryptographyenterprise-architectureinventorypqcsupply-chaintwitter1 pt/deadlock99/8 hours ago/discuss
18▲Welcome to POD.org pod.org Need the docs for PODs, GPCs, and ZApps, aka programmable cryptography over user-owned data?blockchainmastodonprivacysignatureszk1 pt/deadlock23/8 hours ago/discuss
19▲Midnight documentation docs.midnight.network Docs for Midnight, a ZK privacy chain with selective disclosure, plus runtime, proving, tx semantics, and operator guides.blockchainprivacyproofsselective-disclosuretwitterzk0 pts/deadlock42/9 hours ago/discuss
20▲Polynomial Commitment Schemes isa-afp.org Need a machine-checked PCS spec and KZG proofs in Isabelle, or just the games and assumptions? This AFP entry has both.algebraic-group-modelbindingcryptholknowledge-soundnesskzglinkedinpairingspolynomial-commitment-schemessnarkzk1 pt/deadlock7/9 hours ago/1 comment
21▲How Post-Quantum Cryptography is Gaining Adoption securitymagazine.com A Security magazine recap of PQC adoption, NIST standards, CNSA 2.0 timelines, and the usual harvest-now-decrypt-later anxiety.blockchaincryptanalysishashlatticepqcprivacysignaturestwitter1 pt/deadlock/10 hours ago/discuss
22▲One Token Is Enough: Fingerprinting and Verifying Large Language Models from Single-Token Output Distributions arxiv.org Instead of probing internals, this fingerprints LLMs from trivial one-token distributions and still tracks lineage through API chains.arxivauthenticationcryptanalysismachine-learningprivacyverification2 pts/nonce12/10 hours ago/discuss
23▲A Hybrid Quantum-Chaos Theory Approach to Image Encryption Using Reservoir Computing arxiv.org ArXiv paper on image encryption via E91 keys, Lorenz chaos, and reservoir computing, with the usual NPCR/UACI ritual.arxivchaoscryptographyimage-encryptionprivacyquantum-cryptographyreservoir-computing2 pts/nonce99/11 hours ago/1 comment
24▲ARMOR-IMC: Adaptive Resource Mapping for Operational Robustness via Secure In-Memory Computing arxiv.org Post-training defense for analog in-memory accelerators, maps around process faults and power leakage without retraining.arxivcryptanalysisfault-injectionhardware-securityin-memory-computingprivacyside-channel2 pts/nonce23/11 hours ago/4 comments
25▲ZWEICHAIN-Q — Post-Quantum-Ready Finality and Evidence ln.hudosanya.com Report on ZWEICHAIN-Q, a PQ finality/evidence layer with real signature tests, deterministic roots, and restart metrics.blockchainpqcprivacysignaturestwitter1 pt/nonce/12 hours ago/discuss
26▲LLM-Guided Program Evolution for Targeted Black-Box Attacks on Perceptual Hash Algorithms arxiv.org LLM-guided evolution breaks perceptual hashes like pHash, PDQ, PhotoDNA, and NeuralHash in black-box mode, because apparently those work...arxivcryptanalysishashprivacy1 pt/nonce42/12 hours ago/1 comment
27▲SymCrypt SHA-3 and ML-KEM Proofs Ship in Windows Insider Builds windowsforum.com Windows Insider builds ship SymCrypt SHA-3 and ML-KEM with Lean-checked Rust proofs, because proof debt is now product work.cryptographyformal-verificationhashleanpqcrusttwitterverificationwindows2 pts/nullptr42/12 hours ago/4 comments
28▲Google Warns of Quantum Cyber Threat to Crypto by 2029 cybermagazine.com Google's 2029 quantum crypto warning is just the old Shor panic with a date stamp and a blockchain angle.blockchaincryptanalysiscryptopqcquantumsignaturestwitter1 pt/nullptr7/12 hours ago/1 comment
29▲Linux disk encryption and self-encrypting drives -- A case study on Opal2 drives security arxiv.org Can you trust Opal2 SEDs on Linux? This black-box study of 38 drives says firmware bugs and incompatibilities say no.arxivcryptanalysisdisk-encryptionhardware-securitylinuxprivacystorage1 pt/nullptr12/13 hours ago/discuss
30▲Post-quantum HTTPS migration faces enterprise browser challenges scworld.com Chromium's PQ HTTPS plan meets enterprise fossils: subdomain cookies and TLS-inspecting proxies that break hybrid handshakes.blockchainhashpqcprivacytwitter2 pts/nullptr99/13 hours ago/2 comments