Hacker News: badcryptobitch

Introduction to Multiparty Computation Tutorials

badcryptobitch — Sat, 25 Jul 2026 14:07:20 +0000

Article URL: https://docs.stoffelmpc.com/tutorials/overview

Comments URL: https://news.ycombinator.com/item?id=49047676

Points: 6

# Comments: 0

New comment by badcryptobitch in "Introduction to Formal Verification with Lean Part 1"

badcryptobitch — Thu, 23 Jul 2026 02:24:41 +0000

I've fixed the scroll hijacking. Again, thank you for the feedback

New comment by badcryptobitch in "Introduction to Formal Verification with Lean Part 1"

badcryptobitch — Thu, 23 Jul 2026 02:24:03 +0000

I've fixed it. Again, thank you for the feedback

New comment by badcryptobitch in "Introduction to Formal Verification with Lean Part 1"

badcryptobitch — Wed, 22 Jul 2026 21:42:59 +0000

I'm the webmaster. Another commenter let me know about the scrolling. I'll get onto it. Thank you for the feedback

New comment by badcryptobitch in "Ask HN: How to get started with a sustainable bootstrapped business of your own?"

badcryptobitch — Wed, 22 Jul 2026 17:53:32 +0000

There is no business that's only going to take up 3-4 hours per day of your time without having spent 3-5+ years building it out. Bootstrapped businesses are hard and a lot of work.

New comment by badcryptobitch in "I Built a Private Genomics Study with Stoffel MPC"

badcryptobitch — Wed, 22 Jul 2026 16:53:59 +0000

Founder of stoffelmpc.com here.

Thank you vishakh82 for sharing.

It's great seeing folks apply PETs to key problems, no matter how theoretical they might seem now as evidenced by the comments. PoCs like this are steps in the right direction to make such work and ideas practical.

If any of you are looking to try out Stoffel, you can check out our docs at docs.stoffelmpc.com or go to our github repo: https://github.com/Stoffel-Labs/stoffel

New comment by badcryptobitch in "Introduction to Formal Verification with Lean Part 1"

badcryptobitch — Wed, 22 Jul 2026 16:24:25 +0000

Yeah, his post resulted in a rise in everyone and their mother becoming formal verification "experts" now. But I think he's right. We no longer have good excuses for not trying to secure code with FV in this brave new world of agentic coding

New comment by badcryptobitch in "Introduction to Formal Verification with Lean Part 1"

badcryptobitch — Wed, 22 Jul 2026 16:23:13 +0000

I'll need to fix b! That is not intentional whatsover. Sorry for that. Thank you for the feedback

Introduction to Formal Verification with Lean Part 1

badcryptobitch — Sun, 19 Jul 2026 15:49:58 +0000

Article URL: https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)

Comments URL: https://news.ycombinator.com/item?id=48969200

Points: 243

# Comments: 52

Hot Lotto Fraud Scandal (2017)

badcryptobitch — Fri, 26 Jun 2026 18:29:34 +0000

Article URL: https://en.wikipedia.org/wiki/Hot_Lotto_fraud_scandal

Comments URL: https://news.ycombinator.com/item?id=48690193

Points: 2

# Comments: 0

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

badcryptobitch — Wed, 20 May 2026 16:24:40 +0000

Article URL: https://hashcloak.com/blog/how-ethereum-plans-to-replace-bls-with-post-quantum-signatures

Comments URL: https://news.ycombinator.com/item?id=48210224

Points: 2

# Comments: 0

Kettle: Attested Builds for Verifiable Software Provenance

badcryptobitch — Tue, 12 May 2026 03:37:37 +0000

Article URL: https://arxiv.org/abs/2605.08363

Comments URL: https://news.ycombinator.com/item?id=48103924

Points: 3

# Comments: 0

New comment by badcryptobitch in "Obsidian plugin was abused to deploy a remote access trojan"

badcryptobitch — Mon, 11 May 2026 01:33:30 +0000

My worse fear has materialized. This is why I've never used an external Obsidian plugin and only my own plugins. It was only a matter of time before some malicious code ended up in one.

New comment by badcryptobitch in "Introduction to Beaver Triples"

badcryptobitch — Sun, 10 May 2026 01:55:44 +0000

Can you clarify what you mean? The example is to show concretely the computation. It works as long as you have the basic setup for shamir secret sharing (and other linear secret sharing schemes actually but I didn't go into that in the article)

New comment by badcryptobitch in "Introduction to Beaver Triples"

badcryptobitch — Sat, 09 May 2026 21:22:45 +0000

You aren't the only one that has alerted me of framer-based sites crashing on iOS. I'm trying to find a resolution but it appears to be a framer problem. I asked one of my friends and he was able to access the article fine.

New comment by badcryptobitch in "Introduction to Beaver Triples"

badcryptobitch — Sat, 09 May 2026 21:21:41 +0000

Most explanations just give formulas and no intuition. I tried to give intuition and a concrete example. If you email me, I can share the images that help with the intuition without the rest of the blog post.