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.
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
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
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.
Brother, we are vindicated! There are indeed many cool bits and blobs out there, but I am already trusting one entity to secure my private notes, no way I am taking a pinky-promise from extension XYZ to behave.
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)
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.
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.
