We are super excited to work with
@o1_labs
and
@MinaProtocol
on this. This is a first great example of showing how powerful
@alignedlayer
is.
This will allow ethereum to benefit from many of the features offered by Mina.
With this partnership we are giving developers from both
The future is verified.
@alignedlayer
will soon verify Mina proofs on Ethereum, fast and affordably.
This includes Mina’s succinct blockchain proof and the hundreds of thousands of proofs recursively rolled up in it, enabling a powerful Mina → Ethereum state bridge.
🧵 1/4
I haven’t seen people talk about how big the idea of dual staking in
@eigenlayer
is. Not only is helpful to bootstrap a new network but by allowing to use a new token that lives in Ethereum to secure another network you allow a new L1 to access directly all the liquidity from
Few understand how big of a deal this is. Not only is a great example of the power of
@alignedlayer
but it also will unlock a lot of Mina’s tech to be used in Ethereum.
Mina has great things coming up and they have been in constant shipping mode.
If you don't like long "thank you" tweets, I apologize, but here's yet another thank you letter.
I'm thrilled to share that we have closed our seed round with some incredible investors. This round was led by
@class_lambda
and saw participation from
@GagraVC
,
@CsquaredVC
,
We're thrilled to announce that we've raised $1 million, led by
@class_lambda
.
We are dedicated to building financial products for every internet user. This will only be possible by constructing financial markets on
@Ethereum
, utilizing cryptography and distributed systems.
Some thoughts after ETH CC:
- Many zk projects are integrating both ZKPs and TEEs. To give them the best experience possible, we have decided to integrate TEE attestations on
@alignedlayer
, making it the integrity layer for different types of computations in crypto.
-
1. We're excited to announce that we've raised $2.6M in our Seed Round, led by
@Lemniscap
, to enable developers to access affordable and fast proof verification for all proof systems.
Aligned Layer helps Ethereum become a better, faster and cheaper settlement layer for validity
- the TEE vs ZK discussion is pointless
- they are complementary technologies
- in the end is up to each developer and protocol to choose what's the best tech for their needs
we need to offer better infra that can let them build with both of them and be able to move freely from
What Celestia did with DA,
@alignedlayer
is doing for proof verification. It’s great to see many teams are pivoting and trying to copy us.
The world is getting aligned 🟩
If I were you would stick with the original
I just received the
@Starknet
airdrop. First of all, congratulations to everyone involved in this. Token launches and airdrops are really stressful, and they have done a great job with the token allocation. I'm happy to see it was a very "aligned" token distribution.
By the way,
Talking with
@fede_intern
at 2AM trying to solve a technical issue while he is getting 5hours late to a wedding. He got lost in the woods while discussing the solution.
And we still have some people question his long term involvement.
It has been a couple of crazy weeks with incredible news and more incoming in the next few days.
We work as fast as we want to accelerate the roadmap of Ethereum.
Thanks to everyone in our team this would have not been possible without the work of everyone.
Alignment incoming
all jokes aside, permissionless and unstoppable prediction markets are going to be a crucial financial tool in the incredibly absurd and volatile world we will live in over the next decade
You know you are doing things the right way when their only tool against you is lies.
To those who like to talk more than execute be aware we build fast and we are not alone. Keep talking shit, you will be left behind all alone.
I am glad to announce that we decided with
@thisisrj
that
@MauroToscanoDev
and
@zkdiegokingston
are cofounders of
@alignedlayer
.
Diego and Mauro joined the team from day one and they have been working non stop every day easily more than 12 hours on average.
We will share the
Some thoughts after ETH CC:
- Many zk projects are integrating both ZKPs and TEEs. To give them the best experience possible, we have decided to integrate TEE attestations on
@alignedlayer
, making it the integrity layer for different types of computations in crypto.
-
I will speaking at Scale Summit discussing how can
@alignedlayer
solve many of the technical and economic problems we have in zk.
Thanks
@nil_foundation
and
@class_lambda
for organizing in it!
Join us for “The Economics of ZKPs” panel discussing the real costs of ZKPs, future cost optimizations, and the proof production pipeline. Leave a comment to suggest topics/questions.
Featuring
@thejewforu
,
@pumatheuma
,
@thisisrj
,
@tracecrypto1
Moderated by
@_RayXiao
Tues, Feb
@fede_intern
I swear that the more complicated you write your chances of raising money increases. It doesn’t make any sense. The bitcoin whitepaper is just 8 pages and even a first year computer science student can understand it.
The most generalize base layer to built trustless applications is the combination of
@eigenlayer
+
@alignedlayer
. Re-execution of verification secured by a subset of Ethereum’s validators while allowing developers to execute any code without the constraints of a specific runtime
Blockchains are markets. In order to create more value they need to be connected between them and exchange value between each other. This has been naturally happening through CEX and some interoperability protocols. The only problem is most solutions are either custodial or built
Once you realize that:
- Provers are getting faster,
- New ZKVMs will allow us to prove normal programming languages,
- Development UX is constantly getting better
The obvious next thing to focus on is verification. It's the last missing piece of the puzzle.
We had a great time
@therollupco
. If you want to learn more why we believe verification is the next bottleneck for the adoption of zkp listen to this podcast.
The bridge between
@starknet
and
@ethereum
that we created called
@yanotherbridge
is 60% cheaper in starknet testnet and ethereum goerli. It takes 15 seconds on average versus 5 hours.
We’re deploying it in starknet and ethereum mainnet this week.
We’re working on deploying it
wait until you realize how much most zk-rollups are paying on verification
without scalable zk verification layer we will never be able to have thousands of rollups
@0xtaetaehoho
yes didnt expect these costs to pile up so quickly until i joined an infra project
not many projects will ever have revenue let alone profit to cover this
not to mention these costs are mostly subscription and not one off
That’s why we have been building
@alignedlayer
for the last few months. The next bottleneck is zkp verification. Align your proofs to accelerate ethereum.
Glad to see more people realizing this is the main bottleneck.
Thanks for joining us in this crazy journey!
Check out Hack’s blog on what we are building
@ed_roman
did an incredible job summarizing what it means to be aligned.
Thanks Ed!
What people fail to understand about
@eigenlayer
is that it allows developers to build distributed and secure protocols without the constraints of the EVM and block space. With
@alignedlayer
we will help this property scale even more.
Few understand that
@Ingo_zk
+
@alignedlayer
will reduce the frictions developers have while using zk tech today.
We are building towards a future where zk will be everywhere.
Tobi Lutke explains what the VCs who passed on Shopify got wrong
Tobi recounts pitching Shopify to VCs on Sand Hill Road a few years after founding Shopify.
Investors passed because they thought the addressable market was too small. At the time, there were about 40,000-50,000
zkVMs are getting so damn good that they are going to be the default solution for building provable applications.
We are so confident they are getting good that we have been building our own aggregation service using zkVMs.
Check out Diego’s thread to understand more.
Why all the proof aggregation solutions will use RISC-V zkVMs
The development of RiscV proving vms like
@RiscZero
,
@SuccinctLabs
,
@a16zcrypto
, and
@lita_xyz
will transform how we work with zk. For example, aggregation layers will use them to perform recursion efficiently.🧵
1/
I am not sure I will be able to sleep tonight. We are close to having the testnet and working on a lot of examples showing that we can cheaply and easily verify proofs for a lot of usecases but now I got a crazy idea that enables a big interesting app. Until I don't build it and
@fede_intern
@fran_strambini
@alignedlayer
It's the worst part of the job. Nothing worse than someone telling you 'How are you going to build this when X and X are doing Y and they come from an Ivy League University?'.
Ser, we already have code to show you and you can just watch us deliver we built everything publicly
After we announced that we are working on not only building brand new infrastructure for ZK but also developing tools to simplify access to ZK, new teams started announcing that they will work on new layers of abstractions for developers.
This is great! We're happy to see more
@eigenlayer
launches on mainnet today, taking the first steps towards our vision of building the verifiable digital commons!
-----------
Ethereum is the verifiable internet.
Rollup is the verifiable web server.
AVS is verifiable SaaS.
Eigenlayer is the verifiable cloud.
@nickwh8te
Hi Nick. How can we participate with
@alignedlayer
?
I think we are creating a new component on the modular stack and we would love to participate more in the ecosystem.
This is a great read to understand why we are building
@alignedlayer
. Zero-Knowledge proofs advance really fast and we need an infra that is ready for any possible zk future. But it’s designed from scratch with zk in mind.
We have been discussing these ideas for over 4 months and in the last couple of weeks we implemented them in
@yanotherbridge
that is already in testnet
We have published the first version of our bridge solution for
@ethereum
and L2s.
A fast trust minimized intent based bridge solution for Ethereum and L2s powered by multi-proof storage proofs
Super excited to announce that the orb software is now open-source. We previously open-sourced the hardware and also the biometrics pipeline and that is already most of everything that we've been building over the last few years.
congrats
@StarkWareLtd
@weikengchen
and
@l2iterative
!
i love bitcoin and watching great teams work on top of it to bring the latest tech to it's amazing.
i remember watching this video from
@EliBenSasson
talking about SNARKs and Bitcoin from 2013.
A new milestone has been reached in our STARK over Bitcoin cooking 🧑🍳
The Stwo Verifier is now live on OP_CAT-enabled Bitcoin Signet 🤯
A small step for Bitcoin and a giant leap for STARK-kind! Tremendous collaboration with
@weikengchen
and
@l2iterative
.
Again:
The bottleneck is the verifier (Ethereum) not the provers.
The solution is taking the verification off-chain.
How can you do that securely? There are two ways:
1- Prove that you verified certain proofs off-chain (aggregation). This doesn't scale when you want to verify
Great tech is nothing without community.
Don’t forget that memes are the best way to communicate and create a strong internet community. This allows protocols to have people who actually care about the project and are willing to work to make it better and bigger. Ethereum and
A memecoin chain is raising a second round, of $100M.
Infra huh?
Meanwhile opensource projects are still struggling to survive.
Gotta love this industry.
Today, Consensys filed a lawsuit against the Securities and Exchange Commission.
The goal behind this is to ensure that Ethereum remains a vibrant and indispensable blockchain platform and to preserve access for the countless developers, market participants, and institutions
I'm still amazed by the level of over-engineering most bridge solutions in Ethereum have. Looks like a lot of them underestimate how far zk has come and that you can have high security and scalable cross-chain swap systems with it.
For some people this seems counterintuitive so I will explain why this is the case.
Provers are getting better and cheaper, we need them to improve but it’s a matter of time until we make them incredibly good. Now, the only thing that is not improving is the most used verifier.
@TrustlessState
@alignedlayer
Thanks David! We believe this is a foundational infrastructure for the future of Ethereum. The goal is to make ethereum the best settlement layer
a lot of smart teams trying to take zk to the next level. It's extremely obvious one of them or maybe multiple teams will figure out how to make zk proving extremely fast and accessible.
it's impossible to not be extremely optimistic about the future of this space.
next
The Irreducible team discovered a new cryptographic technique that brings better batching, faster recursion, and smaller proofs to Binius!
Learn more in our new post:
This is the worst take I have seen in ages. The whole idea with zkp is to maximize decentralization in the base layer with simple re-execution of verifiers and allow big computers to take care of heavy computation.
This is way more decentralized and scalable than other L1
Since we came up with the idea of
@yanotherbridge
a lot of people have been asking us: “ser is this seriously yet another bridge?” Yes it is and it’s so simple every single user will be able to understand how it works.
We are building YAB out of frustration that no one was
@MauroToscanoDev
aligning devs at Lambda Hack Week 2.
The guy is accelerating the adoption of zkp but he can’t remember which is the biggest ocean for the zk quiz
Hmm I hope there is someone building an infrastructure designed to allow all of them to have access to cheap and fast verification.
We don’t know if all of them or only one of them will be the winner. But we definitely know that they all need a new infrastructure designed for
Risc 0 built gud zkvm
Succinct copied r0*valida*plonky3 to build faster gud zkvm
a16z rugged both
There's no end to this dropout v undergrad v postgrad v prof zkmania
.... aaand dis is bula
May the best token win ☝🏽
Hey
@bkiepuszewski
, we have created a brand new intent based bridge powered by storage proofs. We would love to get your opinion on it.
You can check our WIP blog post here:
It uses the same trick of paying the user first. The main difference, not only with Across but with other bridges as well, is the settlement or repayment. This is key for to create a sustainable, secure and scalable network of market makers/relayers.
The faster they get their
Next decade will be defined by two technologies.
AI and crypto.
AI tells us what's possible.
Crypto tells us what's true.
zk proving & verifying costs will drop toward zero so we can verify AI content & defeat deepfakes.
Bullish zk.
Bullish
@alignedlayer
making zk cheap.
You can either watch a demo of an optimization for zkp or start participating in the validator set of a movement to accelerate zkp adoption on Ethereum.
We don’t talk about roadmaps, we just deliver code.
Join us in
@alignedlayer
to build the verification layer the internet
Proof Singularity Denver Recap
In Denver, we hosted a cool event that elaborated our vision and demo-ed NEBRA's testnet () Here's a detailed recap of the sessions and panels from March 1, 2024:
https://proofsingular
Data availability is almost solved. Once all the Rollups start using
@celestia
@eigen_da
and
@AvailProject
the biggest cost will be zk verification in the base layer. We are already working on a solution for this.
@fede_intern
App chains are the future. If you have a good brand and a lot of users you will need your own chain. It’s a matter of time until we see the unichain.
Hey
@gnark_team
is also already integrated in
@alignedlayer
to allow fast and cheap proof verification. We will test some E2E examples soon!
You can check out the repo here:
the open-source
@gnark_team
crypto libraries from Linea team are now being used for:
- Rollups (zkBNB)
- Binance proof of solvency
- Worldcoin Groth 16 prover
- Celer zkBridge and Brevis zkCoprocessor
- Algorand
- EIP-4844 (go-kzg)
- geth (EIP-2537)
- Succinct labs
- Base:
Ok looks like we are clearly contrarians in the zk space.
Focusing on the prover as the main issue in verifiable computation is wrong. Settlement layers need to focus on offering cheap verification and flexibility.
Launching provers will be easily solved with better software
We are working on better docs and simpler diagrams to explain our vision. Feel free to provide feedback.
We also want to include a component for assets/custody to point out the importance of ethereum's native assets that will never move off-chain
We will be here all week. DM open if you want to learn more about Aligned. We are looking for people to give us feedback and new teams to collaborate with.
@MikeIppolito_
@PrimordialAA
@hal2001
Gud debate!
The distinction between Bridging and Interop is important imo.
@AcrossProtocol
provides best in class UX for token bridging.
@LayerZero_Labs
provides best in class modular infra for cross-chain interop.
Both depend on the presence of a robust cross-chain
You can try it today and be part of
@yetanotherco
's journey.
Follow this simple tutorial:
We are thinking of doing something special for those who provide feedback!
I agree. This is the main reason we have created
@yanotherbridge
with
@thisisrj
. Thanks to it we will be able to solve the liquidity fragmentation problem created by the great rollup centric roadmap. I honestly believe it’s an innovative but particularly simple design that will
@fede_intern
@class_lambda
Damn this slides are great. Btw I still remember when you told me you had the crazy idea to built an Ethereum Consensus Client and the team would had results in a couple of months. It's insane how far and fast things evolved!