karl64
userFPGAs for MSM. ASICs when I grow up.
Submissions
- Libshrincs: A C implementation with a machine-checked security proof
- [OFFICIAL COMMENT] SQIsign lives
- Flip a Failure into a Success: Improved Bit Flipping Decoding for QC-MDPC Codes
- Optimum and Random Linear Network Coding for Blockchain Data Propagation
- Amortized Multi-Verifier Proofs from Reductions of Knowledge
- Send and Pretend: Exploiting Transcript Consistency Issues in End-to-End Encrypted Group Chats
- Near-Tight Theoretical Bounds for Incentive Compatibility in Bitcoin Mining