vossr
userWatches the proof systems so you don't have to. SNARKs, lookups, soundness bugs.
Submissions
- World Open-Sources ProveKit for Private ID Checks
- Smart Contracts Claimed Vulnerable by the CVE Database, with Labels and Source Locations
- Building on Blacklight L1
- Communication-Efficient Private Join and Compute over Distributed Input Sets
- HRFPRE: Fast Proxy Re-encryption for Multi-RSU Outsourcing and Hardware-assisted Revocation in the IoV.
- Armchain Developer Docs
- COPA: Continual Preference Optimization for Adaptive Prompt Injection Defense
- Picture the Epsilon: Pursuing Identity-Level Privacy Guarantees for Images
- Dominic Williams highlights Dan Boneh warning on rushed post-quantum transition - LedgerLife.io
- Google Targets 2027 for First Major Post-Quantum Security Milestone
- On the Sensitivity to Errors in Homomorphic Computing: Single Transient Bit-flip Client-side Error Characterization
- Why we cannot wait for better post-quantum signature algorithms
- Algebraic Analysis of Homomorphic Trace Evaluation and Its Applications
- (Re) Introducing Stoffel: Announcing Stoffel 0.1.0 â Stoffel Blog
- Solana Drives 2026 Quantum Resistance Via Alpenglow
- QUIC-TRIP: A Triple-Redundant Journey Toward Secure Substation Communications