HNHacker News
TopNewBestAskShowJobs

badcryptobitch

171 karma · joined November 7, 2024

@badcryptobitch on Twitter/X CEO @hashcloak - Cryptography R&D consulting, hashcloak.com CEO @StoffelMPC - Making MPC accessible to non-cryptographers, stoffelmpc.com
submissionscomments

What is distributed Key Generation (DKG)?

stoffelmpc.com·10 pts·badcryptobitch·
0

Introduction to Multiparty Computation Tutorials

docs.stoffelmpc.com·6 pts·badcryptobitch·
0

Introduction to Formal Verification with Lean Part 1

hashcloak.com·244 pts·badcryptobitch·
52

Hot Lotto Fraud Scandal (2017)

en.wikipedia.org·2 pts·badcryptobitch·
0

Ethereum plans to move from BLS signatures to post quantum secure signatures

hashcloak.com·2 pts·badcryptobitch·
0

Kettle: Attested Builds for Verifiable Software Provenance

arxiv.org·3 pts·badcryptobitch·
0

Introduction to Beaver Triples

stoffelmpc.com·25 pts·badcryptobitch·
12

LLM anomaly detectors are not a cause for concern despite Mythos

magonia.io·2 pts·badcryptobitch·
0

C8s: A Confidential Kubernetes Architecture

arxiv.org·14 pts·badcryptobitch·
0

Introduction to Secret Sharing from First Principles

stoffelmpc.com·1 pts·badcryptobitch·
0

The Sad Decline of Trenchant Exec Who Stole and Sold Zero Days to Russian Buyer

zetter-zeroday.com·2 pts·badcryptobitch·
0

Data in Use Protection: How MPC Keeps Inputs Hidden from the Cloud

stoffelmpc.com·2 pts·badcryptobitch·
0

Explainer for Aztec's Ultrahonk Verifier

hashcloak.com·2 pts·badcryptobitch·
0

Crunchyroll's customer analytics data breached via outsourcing partner Telus

twitter.com·2 pts·badcryptobitch·
1

Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf]

assets.amazon.science·2 pts·badcryptobitch·
0

The first signs of burnout are coming from the people who embrace AI the most

techcrunch.com·4 pts·badcryptobitch·
0

Parallelizable threshold ECDSA with more than t+1 parties

eprint.iacr.org·1 pts·badcryptobitch·
0

Bionetta: Efficient Client-Side Zero-Knowledge Machine Learning Proving

arxiv.org·2 pts·badcryptobitch·
1

Circom-chan: zkSNARK circuit compiler

github.com·1 pts·badcryptobitch·
0

Greco for FHE and ZK Consistency

blog.enclave.gg·2 pts·badcryptobitch·
0

Autodeleveraging: Impossibilities and Optimization

arxiv.org·1 pts·badcryptobitch·
0

State of Private Voting 2026

pse.dev·1 pts·badcryptobitch·
0

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

techemails.com·60 pts·badcryptobitch·
149

Grafhen: Group-Based Homomorphic Encryption Without Noise

arxiv.org·2 pts·badcryptobitch·
2

Zkenc: Witness Encryption for Quadratic Arithmetic Programs (QAP)

github.com·2 pts·badcryptobitch·
0

VaultDB: A Real-World Pilot of SMPC Within a Clinical Research Network

arxiv.org·1 pts·badcryptobitch·
0

High-Throughput Universally Composable Threshold FHE Decryption

eprint.iacr.org·2 pts·badcryptobitch·
0

Constant-Depth NTT for FHE-Based Private Proof Delegation

pse.dev·2 pts·badcryptobitch·
0

Why ZK Proving Markets Keep Failing: The Termination Trap

blockrotator.substack.com·3 pts·badcryptobitch·
0

Show HN: StoffelVM – A WIP VM for Multiparty Computation

github.com·6 pts·badcryptobitch·
2