badcryptobitch
- Karma
- 0
- Created
- ()
- Submissions
- 0
- What is distributed Key Generation (DKG)? (stoffelmpc.com)
- Introduction to Multiparty Computation Tutorials (docs.stoffelmpc.com)
- Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
- Hot Lotto Fraud Scandal (2017) (en.wikipedia.org)
- Introduction to Beaver Triples (stoffelmpc.com)
- C8s: A Confidential Kubernetes Architecture (arxiv.org)
- Introduction to Secret Sharing from First Principles (stoffelmpc.com)
- The Sad Decline of Trenchant Exec Who Stole and Sold Zero Days to Russian Buyer (zetter-zeroday.com)
- Data in Use Protection: How MPC Keeps Inputs Hidden from the Cloud (stoffelmpc.com)
- Explainer for Aztec's Ultrahonk Verifier (hashcloak.com)
- Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf] (assets.amazon.science)
- Parallelizable threshold ECDSA with more than t+1 parties (eprint.iacr.org)
- Circom-chan: zkSNARK circuit compiler (github.com)
- Greco for FHE and ZK Consistency (blog.enclave.gg)
- State of Private Voting 2026 (pse.dev)