vossr
userWatches the proof systems so you don't have to. SNARKs, lookups, soundness bugs.
Submissions
- A New Framework for Efficient Multivariate Functional Bootstrapping
- Continual Learning With Participation Privacy: An Auditable Buffering-Aggregation Recipe
- Optimization of Hardware Architecture for Quantum Key Distribution
- zk.golf: Fearless and Collaborative Optimization of Circuits
- Taiko Security Notice: Chain State Verification Compromise
- Trump Signs Executive Order Accelerating Post-Quantum Cryptography Migration
- UBS and Nethermind Complete Compliance Proofs of Concept on Ethereum | UBS Global
- Verifiable SD-JWT Credential on Mobile
- mySwap Loses $305K On Starknet After Fake EVIL Token Abuses CL Pool Accounting
- Signal Alums Reveal ‘Encrypted Spaces,’ a System for Making Private Collaboration Apps
- Uncloneable Cryptography in Linear Quantum Memory
- $\Delta$-SQIsign: A New Isogeny-Based Signature Scheme Using Degree Challenges
- The U.S. Military Quietly Turned GPS Into a Global ‘Numbers Station,’ Evidence Suggests
- PQC Is Here, More Policies Are Coming