✅ Formal Verification - bassam_exe · Scour

Show HN: We put ZK attribute proofs inside x402 payment headers ⛓️Blockchain

news.ycombinator.com·2d·Hacker News

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

[Proposal] Public Fraud Proofs for Just-in-Time Channels ⛓️Blockchain

delvingbitcoin.org·6d

How a retired technician handed EFF the proof of NSA mass spying 🕶️Privacy Tech

boingboing.net·4h

On This Day in Math 📊Mathematics

pballew.blogspot.com·22h·Blogger

The framing gap: Why AI can’t position your brand 🎯Game Theory

searchengineland.com·2d

Long-awaited River Oaks road improvement project breaks ground ⛓️Blockchain

fortworthreport.org·4h

Delegated Execution Sharding (DES): A hyper-parallelized zkEVM for theoretically optimal execution-layer scalability 🔢Homomorphic Encryption

ethresear.ch·6d

Collective intelligence framework shows how human-AI teams may make better decisions 🎯Game Theory

techxplore.com·7h

Mistral AI launches Workflows, a Temporal-powered orchestration engine already running millions of daily executions ⛓️Blockchain

venturebeat.com·2d

and Between the Two of Us, We Couldn't Spec-ify a Thing – SpecDD - Specification-Driven Development framework 🔍Reverse Engineering

specdd.ai·18h·Hacker News

Sum-Check as an Algebraic Tensor Reduction: Part 1 🔢Homomorphic Encryption

blog.zksecurity.xyz·3d·Hacker News

atomic_queue benchmarks SMT vs no-SMT performance 🔢Homomorphic Encryption

max0x7ba.github.io·1d·r/cpp, r/linux

std::unexpected (3) Linux Manual Page 💻Hacking

systutorials.com·13h

ML Safety Newsletter #20: AI Wellbeing, Classifier Jailbreaking and Honest Pushback Benchmarking 🔒Hardware Security

lesswrong.com·2d

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) 🔒Hardware Security

KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design. 🔢Homomorphic Encryption

github.com·1d·Hacker News

Mosaic: Practical Malicious Security for Garbled Circuits on Bitcoin 🔢Homomorphic Encryption

eprint.iacr.org·6d

New York City Council passes plan to step up education on vaccines 🎯Game Theory

chalkbeat.org·3h

Giga Computing to Showcase New OCP Platforms for AI Data Centers at the OCP EMEA Summit 2026 – More Than Just Another Server Reboot ⚡Systems Programming

igorslab.de·23h

Log in to enable infinite scrolling