badcryptobitch
Introduction to Multiparty Computation Tutorials
Re:Introduction to Formal Verification with Lean Part 1
on Wednesday July 22, 2026 @10:24PM (#49016065)
I've fixed the scroll hijacking. Again, thank you for the feedback
Re:Introduction to Formal Verification with Lean Part 1
on Wednesday July 22, 2026 @10:24PM (#49016058)
I've fixed it. Again, thank you for the feedback
Re:Introduction to Formal Verification with Lean Part 1
on Wednesday July 22, 2026 @05:42PM (#49013858)
I'm the webmaster. Another commenter let me know about the scrolling. I'll get onto it. Thank you for the feedback
Re:Ask HN: How to get started with a sustainable bootstrapped business...
on Wednesday July 22, 2026 @01:53PM (#49010732)
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.
Re:I Built a Private Genomics Study with Stoffel MPC
on Wednesday July 22, 2026 @12:53PM (#49009771)
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
Re:Introduction to Formal Verification with Lean Part 1
on Wednesday July 22, 2026 @12:24PM (#49009302)
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
Re:Introduction to Formal Verification with Lean Part 1
on Wednesday July 22, 2026 @12:23PM (#49009278)
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
Hot Lotto Fraud Scandal (2017)
Ethereum plans to move from BLS signatures to post quantum secure signatures
Kettle: Attested Builds for Verifiable Software Provenance
Re:Obsidian plugin was abused to deploy a remote access trojan
on Sunday May 10, 2026 @09:33PM (#48090083)
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.
Re:Introduction to Beaver Triples
on Saturday May 09, 2026 @09:55PM (#48080244)
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)
Re:Introduction to Beaver Triples
on Saturday May 09, 2026 @05:22PM (#48078390)
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.
Re:Introduction to Beaver Triples
on Saturday May 09, 2026 @05:21PM (#48078382)
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.
Re:Introduction to Beaver Triples
on Saturday May 09, 2026 @05:20PM (#48078373)
Lol, thank you for that. I'll edit it.
Introduction to Beaver Triples
LLM anomaly detectors are not a cause for concern despite Mythos
C8s: A Confidential Kubernetes Architecture
Introduction to Secret Sharing from First Principles
The Sad Decline of Trenchant Exec Who Stole and Sold Zero Days to Russian Buyer
Data in Use Protection: How MPC Keeps Inputs Hidden from the Cloud
Re:Txpay.app โ Crypto Shareable payment links, cross-chain
on Saturday April 04, 2026 @01:33PM (#47641254)
This looks great but how does it differ from the many wallet services that offer link sharing built-in without the subscription? As many wallets support tokens across many chains these days, link sharing is essentially a feature and no longer its own product.
Explainer for Aztec's Ultrahonk Verifier
Crunchyroll's customer analytics data breached via outsourcing partner Telus
Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf]
Re:I'm helping my dog vibe code games
on Wednesday February 25, 2026 @11:46AM (#47154030)
Don't give this to a schnauzer.