badcryptobitch

5 ms·

1.
What is distributed Key Generation (DKG)?(stoffelmpc.com)
10 points by badcryptobitch 2mo ago|0 comments
2.
Introduction to Multiparty Computation Tutorials(docs.stoffelmpc.com)
6 points by badcryptobitch 2mo ago|0 comments
3.
by badcryptobitch 2mo ago
I've fixed the scroll hijacking. Again, thank you for the feedback
4.
by badcryptobitch 2mo ago
I've fixed it. Again, thank you for the feedback
5.
by badcryptobitch 2mo ago
I'm the webmaster. Another commenter let me know about the scrolling. I'll get onto it. Thank you for the feedback
6.
by badcryptobitch 2mo ago
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.
7.
by badcryptobitch 2mo ago
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 dire
8.
by badcryptobitch 2mo ago
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 o
9.
by badcryptobitch 2mo ago
I'll need to fix b! That is not intentional whatsover. Sorry for that. Thank you for the feedback
10.
Introduction to Formal Verification with Lean Part 1(hashcloak.com)
244 points by badcryptobitch 2mo ago|52 comments
11.
Hot Lotto Fraud Scandal (2017)(en.wikipedia.org)
2 points by badcryptobitch 3mo ago|0 comments
12.
Ethereum plans to move from BLS signatures to post quantum secure signatures(hashcloak.com)
2 points by badcryptobitch 4mo ago|0 comments
13.
Kettle: Attested Builds for Verifiable Software Provenance(arxiv.org)
3 points by badcryptobitch 4mo ago|0 comments
14.
by badcryptobitch 4mo ago
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.
15.
by badcryptobitch 4mo ago
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
16.
by badcryptobitch 4mo ago
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.
17.
by badcryptobitch 4mo ago
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.
18.
by badcryptobitch 4mo ago
Lol, thank you for that. I'll edit it.
19.
Introduction to Beaver Triples(stoffelmpc.com)
25 points by badcryptobitch 4mo ago|12 comments
20.
LLM anomaly detectors are not a cause for concern despite Mythos(magonia.io)
2 points by badcryptobitch 5mo ago|0 comments
21.
C8s: A Confidential Kubernetes Architecture(arxiv.org)
14 points by badcryptobitch 5mo ago|0 comments
22.
Introduction to Secret Sharing from First Principles(stoffelmpc.com)
1 points by badcryptobitch 5mo ago|0 comments
23.
The Sad Decline of Trenchant Exec Who Stole and Sold Zero Days to Russian Buyer(zetter-zeroday.com)
2 points by badcryptobitch 5mo ago|0 comments
24.
Data in Use Protection: How MPC Keeps Inputs Hidden from the Cloud(stoffelmpc.com)
2 points by badcryptobitch 5mo ago|0 comments
25.
by badcryptobitch 6mo ago
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 long
26.
Explainer for Aztec's Ultrahonk Verifier(hashcloak.com)
2 points by badcryptobitch 6mo ago|0 comments
27.
Crunchyroll's customer analytics data breached via outsourcing partner Telus(twitter.com)
2 points by badcryptobitch 6mo ago|1 comments
28.
Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf](assets.amazon.science)
2 points by badcryptobitch 6mo ago|0 comments
29.
by badcryptobitch 7mo ago
Don't give this to a schnauzer.
30.
The first signs of burnout are coming from the people who embrace AI the most(techcrunch.com)
4 points by badcryptobitch 7mo ago|0 comments

More ›