Does the Knightian uncertainty introduced by the perfect memory of the internet fundamentally break informed consent as the ethical foundation for data sharing?
some data on hiring a protocol engineering team
186 technical interviews w/ 1 hour prep + 1 hour interview = 372h engineer hours
6 wrong hires = lost ramp up time + lost payroll = chatgpt estimates 160h / hire = 960 FTE hours
>1000h of FTE resources wasted!
We are alarmed by reports that Germany is on the verge of a catastrophic about-face, reversing its longstanding and principled opposition to the EU’s Chat Control proposal which, if passed, could spell the end of the right to privacy in Europe.
https://t.co/015qmQnIS2
I think @mer__edith has made it clear that @signalapp would withdraw from EU countries if ChatControl proceeds. I suspect others would too rather than undermine their E2EE. I really hope the EU decide against this act of self-harm. https://t.co/kNhe9cEQzX
@phokarlsson@elocinationn Niche but ZK proofs. I’m convinced we need the online world to replicate the privacy we intuitively demand offline for freedom of thought, creative expression and democracy to exist. Modern (and expressive) cryptography is a step towards that.
Your privacy ≠ safety. We argue that restricting minors from social media under the EU’s DSA undermines young people’s rights—forcing age checks risks privacy, free expression, and access. Instead, platforms should build safer design and moderation https://t.co/H8gLcnzNBF
Treating privacy like a red flag is how we normalise surveillance. Saying "no regular person uses a VPN" is one of the most ignorant and retarded takes you can have. I can't believe how full of shit this FBI guy is. It's not just wrong; it outright dismisses the idea that anyone gives a damn about privacy. Everyone should care. Everyone must fucking care.
Some Aleo lore (when we restarted the whole project):
Building a general-purpose ZK VM meant rethinking circuit architecture from first principles.
We moved from R1CS gadget libraries to an opcode-based design where every operation maps to a single circuit. This enables program-level upgradability and formal verification.
Two years into development, we hit a wall.
Our formal verification team discovered bugs in our circuits, but with the gadget-lib approach, we couldn't isolate which applications used the vulnerable components. It was impossible to trace and identify which parts needed fixing.
We made the painful decision to scrap our entire design and rebuild from scratch.
Instead of a monolithic circuit structure, we created a clean separation: every operation (add, mul, div) became its own distinct circuit with clear boundaries.
This architectural shift parallels traditional computing.
Just as bytecode creates an abstraction layer in the EVM, Aleo Instructions create a boundary between the language (Leo) and the underlying circuits. The language becomes a thin compiler targeting these instructions.
The benefits are enormous: if a vulnerability is discovered, we can precisely identify affected programs, upgrade specific instructions, and maintain backward compatibility. This is critical for a production system handling real assets.
This architecture also unlocks formal verification. Each instruction can be individually verified, creating mathematical certainty about system behavior. Without this architecture, upgrades would require replacing everything, creating massive security risks.
Sometimes the hardest decisions lead to the best outcomes. Rebuilding our VM from scratch cost us nearly a year, but created a foundation that can evolve securely for decades to come.
Looking for a great Pocket alternative from an independent team that doesn't sell your data and values your privacy?
All your bookmarks & articles in one private place ↓
✅ Beautiful reading mode without clutter
✅ AI summaries for articles
✅ 1-click and its saved via browser extension
✅ Beautiful mobile app with reading mode
✅ Automatic tagging for articles and webpages
✅ Super fast search and indexing
✅ Add your own tags & notes to articles
✅ Automatically classifies articles, webpages, products, recipes depending on what you save
✅ Your private copy, even if original article gets deleted
and so much more 🧡
We need it to be private and compliant in addition to resilient, I’m not convinced home stakers are the way either but I am certain ZK cryptography needs to be leveraged.