badcryptobitch
- Karma
- 42
- Created
- 1 year ago
About
@badcryptobitch on Twitter/X CEO @hashcloak - Cryptography R&D consulting, hashcloak.com CEO @StoffelMPC - Making MPC accessible to non-cryptographers, stoffelmpc.comRecent Submissions
- 1. ▲ Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf] (assets.amazon.science)
- 2. ▲ The first signs of burnout are coming from the people who embrace AI the most (techcrunch.com)
- 3. ▲ Parallelizable threshold ECDSA with more than t+1 parties (eprint.iacr.org)
- 4. ▲ Bionetta: Efficient Client-Side Zero-Knowledge Machine Learning Proving (arxiv.org)
- 5. ▲ Circom-chan: zkSNARK circuit compiler (github.com)
- 6. ▲ Greco for FHE and ZK Consistency (blog.enclave.gg)
- 7. ▲ Autodeleveraging: Impossibilities and Optimization (arxiv.org)
- 8. ▲ State of Private Voting 2026 (pse.dev)
- 9. ▲ Thiel and Zuckerberg on Facebook, Millennials, and predictions for 2030 (2019) (techemails.com)
- 10. ▲ Grafhen: Group-Based Homomorphic Encryption Without Noise (arxiv.org)