Aligned builds the tools that turn Ethereum into the world’s financial backend.
Ethereum
Joined January 2024
- Tweets8.9K
- Following39
- Followers83.2K
- Likes6.3K
a zkVM is a list of rules. if one is wrong, a fake proof can pass with no warning.
Lambda VM, the zkVM we're building with @class_lambda and @3miLabs, is made to be checked: about 50k lines that mirror a written spec, on a proving stack it shares with no other zkVM.
the same reason ethereum runs on several clients.
under active development, not yet meant for production use.
what we took home from @EFDevcon:
1) formal verification is moving from research to practice, with many teams adding it.
2) AI ships code faster, which raises the bar for checking it.
3) post-quantum is a roadmap item now, not a thought experiment.
thank you, Mumbai.
back to building.
Some thoughts on @EFDevcon that finished:
- Amazing energy from the whole Indian community.
- DevCon with the best food (Indian food has become my favourite, you definitely need to try Indian food in India)
- AI has made a huge impact on how we develop and ship, but also poses significant risks.
- Formal verification was among the hottest topics and many teams are incorporating it.
- Ethereum has a very clear roadmap and has made significant progress in key areas, including post-quantum cryptography, decoupled consensus.
- Great time to join with friends and colleagues and discuss new opportunities and challenges
If you want to follow our progress, check @ethrex_client @ethlambda_lean @alignedlayer @class_lambda
What does it take to build a zkVM small enough for one person to audit end to end?
Four threads on how we are building Lambda VM so far, in collaboration with @class_lambda and @3miLabs. In order 🧵
4. Constraints. a proof doesn't run your program, it checks equations. what a constraint is, how you build one, and how it reads in our spec, chip by chip.
A proof doesn't run your program. It checks equations.
A zkVM proves that a record of the run follows a fixed list of rules. Those rules are the constraints, and our spec is that list, chip by chip.
A thread on what one is, how you build it, and how it looks in the spec and code of Lambda VM, built with @class_lambda and @3miLabs 🧵
1
2
219
Lambda VM will power Aligned's Proof Aggregation Service and proving for Rollup-as-a-Service chains. it's under active development and not yet meant for production use.
Spec + code: github.com/yetanotherco/lamb…
2
176
Aligned retweeted
We're at @EFDevcon this week with the teams behind @ethrex_client and @ethlambda_lean, alongside our friends from @alignedlayer.
@lean_knack and @ivanlitteri gave a talk on "Getting to Lean Ethereum", and the team has been catching up with people working across the ecosystem.
Still here for a few more days. Send us a DM if you're around.
