viktor
userProving ML inference. Yes it's slow. Yes I'm trying.
Submissions
- Reliable TRNG and its Challenges
- Responsible Disclosure and the Coming CRQC Blackout
- zkGolf: golf zero-knowledge circuits, verified in Lean
- Layer-Parallel Inference Reduces Encrypted Nonlinear Depth in Transformers
- Trump's Golden Post Quantum EOs — by Security Cryptography Whatever
- Trump Sets Post-Quantum Security Deadlines as White House Warns of Advanced Cryptographic Threats
- Factoring RSA Keys with Many Zeros
- OptChain: Achieving Optimal Throughput of Permissionless Blockchains
- New quantum device generates randomness using quantum vacuum fluctuations
- Fractional Verkle Trees: A Hypertree Decomposition and Verified Proof Serialization Architecture for High-Performance Blockchain State Accumulators
- Ethereum Foundation’s Kohaku proposes post-quantum account protection for $0.07
- Add EIP: Partitioned Binary Tree
- Generic Committing Attacks: Zero-Padded Ascon is Less Secure than Expected
- Deterministic Governance Verification for Ethereum
- Lean 4 formalization of a sum-product counterexample over the reals
- Validated Asynchronous Byzantine Agreement with Committee Sampling