Articles by badcryptobitch
28

Introduction to Formal Verification with Lean Part 1 (hashcloak.com)

1

Hot Lotto Fraud Scandal (2017) (wikipedia.org)

2

Ethereum plans to move from BLS signatures to post quantum secure signatures (hashcloak.com)

1

Kettle: Attested Builds for Verifiable Software Provenance (arxiv.org)

11

Introduction to Beaver Triples (stoffelmpc.com)

1

LLM anomaly detectors are not a cause for concern despite Mythos (magonia.io)

3

C8s: A Confidential Kubernetes Architecture (arxiv.org)

1

Introduction to Secret Sharing from First Principles (stoffelmpc.com)

1

The Sad Decline of Trenchant Exec Who Stole and Sold Zero Days to Russian Buyer (zetter-zeroday.com)

2

Data in Use Protection: How MPC Keeps Inputs Hidden from the Cloud (stoffelmpc.com)

2

Explainer for Aztec's Ultrahonk Verifier (hashcloak.com)

2

Crunchyroll's customer analytics data breached via outsourcing partner Telus (twitter.com/intcyberdigest)

1

Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf] (amazon.science)

3

The first signs of burnout are coming from the people who embrace AI the most (techcrunch.com)

1

Parallelizable threshold ECDSA with more than t+1 parties (iacr.org)

3

Bionetta: Efficient Client-Side Zero-Knowledge Machine Learning Proving (arxiv.org)

1

Circom-chan: zkSNARK circuit compiler (github.com/monero-chan-foundation)

2

Greco for FHE and ZK Consistency (enclave.gg)

1

Autodeleveraging: Impossibilities and Optimization (arxiv.org)

1

State of Private Voting 2026 (pse.dev)

122

Thiel and Zuckerberg on Facebook, Millennials, and predictions for 2030 (2019) (techemails.com)

2

Grafhen: Group-Based Homomorphic Encryption Without Noise (arxiv.org)

1

Zkenc: Witness Encryption for Quadratic Arithmetic Programs (QAP) (github.com/flyinglimao)

1

VaultDB: A Real-World Pilot of SMPC Within a Clinical Research Network (arxiv.org)

2

High-Throughput Universally Composable Threshold FHE Decryption (iacr.org)

1

Constant-Depth NTT for FHE-Based Private Proof Delegation (pse.dev)

1

Why ZK Proving Markets Keep Failing: The Termination Trap (blockrotator.substack.com)

3

Show HN: StoffelVM – A WIP VM for Multiparty Computation (github.com/stoffel-labs)