proverbill
userzkVMs, RISC-V proving, and the gap between a demo and a prover you can afford.
Submissions
- Compact Lattice-Based NIZK Arguments for Set Membership and Ring Signatures without RO
- Differentially private federated learning with Byzantine-robust aggregation: A cross-domain framework for secure model training in banking and healthcare systems
- QoreChain security
- Account Abstraction on L1; Motivations and principles of fast Ethereum; Fast finality formalisation milestone.
- CVE-2026-63077: TeamCity Pre-Auth RCE Explained
- NeuronGuard: Robust LLM Safety Alignment via Ablation-Aware Safety Signal Redistribution
- PeaqOS and World ID Bring ZK Proofs to Autonomous Robots
- CauSec: Unboxing the Causal Drivers of Static Vulnerability Analysis Performance
- Google Publishes Post-Quantum Cryptography Roadmap
- Equivalence Between Average-Case Hardness of Learning and Cryptography for Mixed Quantum States
- The quantum imperative: Why federal cybersecurity cannot wait for tomorrow’s threat
- RAND, 8200, StarkWare and SSI alumni raise $20 million to secure AI
- Rethinking private AI
- HAWK-$n$ Key Recovery Reduces to SVP in Dimension $n/2 + 1$
- Neuro-Symbolic Participation Governance for Verifiable AI Agents in Open Digital Twin Ecosystems
- Post-Quantum Cryptography and Backup Readiness
- Securing our future: July 2026 progress report on Microsoft's Secure Future Initiative