User: badcryptobitch

Y	Hacker News new \| ask \| show \| jobs

user: badcryptobitch
created: 2024-11-07
karma: 169

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

submissions:

Introduction to Multiparty Computation Tutorials

6 points | 0 comments

0 points | 0 comments

Introduction to Formal Verification with Lean Part 1

243 points | 52 comments

Hot Lotto Fraud Scandal (2017)

2 points | 0 comments

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

2 points | 0 comments

Kettle: Attested Builds for Verifiable Software Provenance

3 points | 0 comments

0 points | 0 comments

Introduction to Beaver Triples

25 points | 12 comments

LLM anomaly detectors are not a cause for concern despite Mythos

2 points | 0 comments

C8s: A Confidential Kubernetes Architecture

14 points | 0 comments

Introduction to Secret Sharing from First Principles

1 points | 0 comments

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

2 points | 0 comments

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

2 points | 0 comments

0 points | 0 comments

Explainer for Aztec's Ultrahonk Verifier

2 points | 0 comments

Crunchyroll's customer analytics data breached via outsourcing partner Telus

2 points | 1 comments

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