Yet Another Swap on @Starknet. Crafted by @yetanotherco and forged by @class_lambda.
Starknet
- Tweets 229
- Following 14
- Followers 896
- Likes 139
YAS retweeted
Very exciting @alignedlayer! Kimchi is our proving system, Plonkish, no requirement for trusted set up, works with Pickles for unlimited recursion.
Mina on Aligned incoming:
The kimchi integration from @o1_labs is done we will be merging it soon and after that we will start testing some e2e integrations. This will be a great way to use @MinaProtocol tech on Ethereum and different L2s.
For the impatient you can check the PR:
github.com/yetanotherco/alig…
4
19
2,709
YAS retweeted
Get perfectly aligned with these easy steps:
1. Save your profile picture (PFP).
2. Go to excalidraw.com and upload your PFP.
3. Create a vibrant green rectangle on the canvas.
4. Center the green rectangle over your PFP.
5. Select both the PFP and rectangle together.
6. Right-click and choose 'Copy as PNG'.
7. Upload this image on X.
Now just simply feel the alignment
4
2
11
2,147
YAS retweeted
Private Testnet Update
Over the last few days we have been onboarding different validators to our first testnet using Cosmos SDK. This version includes a Plonk + KZG verifier we will be adding more in the new versions.
Aligned has now 10 validators that have been extremely helpful providing valuable feedback. Thank you!
We will be onboarding a couple of more people to this first version and then fully open it to the public.
Check it out here:
explorer.alignedlayer.com/
3
5
37
5,893
YAS retweeted
Provers are getting better: faster and more accesible
The next bottleneck to solve operational costs and adoption is verification.
The most common verifier, Ethereum, is not improving but we still need a better verifier for Ethereum. This is why Aligned is commit it to create a brand new zk infrastructure for Ethereum and modular blockchains.
People ask me why we have our own Circle STARK implementation (Stwo), separate of plonky3.
Stwo's main and only goal is to accelerate Starknet. Through fast cairo and recursion proofs.
This concreteness allows us to advance fast and write optimized code.
2
18
1,815
YAS retweeted
13 validators
Private Testnet Update
Over the last few days we have been onboarding different validators to our first testnet using Cosmos SDK. This version includes a Plonk + KZG verifier we will be adding more in the new versions.
Aligned has now 10 validators that have been extremely helpful providing valuable feedback. Thank you!
We will be onboarding a couple of more people to this first version and then fully open it to the public.
Check it out here:
explorer.alignedlayer.com/
1
10
1,122
YAS retweeted
Demo time:
Quick E2E proof verification of a Kimchi proof from @MinaProtocol. We will do a full integration test with a @MinaProtocol block soon.
17
51
3,411
YAS retweeted
With the SEEDNode team running a node and setting up a validator for @alignedlayer
@SEEDLatam
15
37
6,105
YAS retweeted
And a fast zk layer to verify proof + a DA to post the proofs. Verification should be cheap and fast.
1
3
13
2,141
YAS retweeted
The verification of zkp is a critical functionality of Ethereum. With time the demand for blockspace in Ethereum will increase and proofs systems will have to compete for computation with other applications in the EVM.
With Aligned proofs will always be first class citizens.
1
3
3
1,226
YAS retweeted
We are Aligned!
We're happy to announce that app chains with Karnot will now support
cheaper verification of proofs, thanks to @alignedlayer!
1
5
25
2,142
YAS retweeted
Aligning @karnotxyz:
We're partnering with the leading Rollup as a Service provider for @MadaraStarknet to accelerate the future of App Chains in Ethereum leveraging zkp and @eigencloud.
Why is this important? Dive into this thread to discover how @karnotxyz will benefit from cheap and fast zkp verification.
2
9
23
3,744
YAS retweeted
Happy to announce that we are aligned
Accelerating Storage Proof adoption: We are happy to share our first aligned partnership with @HerodotusDev ! Together, we will make interoperability between Ethereum layers faster, cheaper, and more accessible than ever before. Developers can now build any secure interoperable and data-intensive protocol while still enjoying competitive fees.
1
8
22
3,649
YAS retweeted
The intern is shipping. Don't worry we know it looks like things don't make any sense we are here to make things easier. This is why you should care about @fede_intern tweet:
- We want to accelerate zk adoption in @ethereum to create more scalable and secure products
- We believe zk is already the best tool to build trustless applications but the main problem is @ethereum because it's expensive and it doesn't allow for easy support for the latest tech like @SuccintLabs SP1 and many more!
- What the intern is showing is we are on our way of verifying any proof system by proving rust leveraging zkvms like @SuccintLabs and @RiscZero. Yes, we will offer low latency verification with cryptoeconomic guarantees + cryptography guarantees with a single proof
- This is important for users because zk application will be chepear, more secure and scalable. Helping lowering the barrier for better UX in an already fragmented Ethereum ecosystem
We have just ran the verification of a pairing computation of arkworks using SP1 of @SuccinctLabs. We did not have to make any modifications to the Arkworks code. I am testing ideas for @alignedlayer. We’re trying different ideas to aggregate proofs and post them in Ethereum after a few hours.
Proof time was around 18 minutes, and proof size was 568 MB.
The advantages of SP1 are the fact that it is open-source, has relatively fast proof generation. The problem is that it has larger proof sizes.
On the other hand, @RiscZero has continuations (which makes proof smaller and breaks down computations into smaller pieces that can be handled separately), and smaller proof sizes, but it is has some closed-source part and it seems slower in CPU (we didn’t run benchmarks).
We believe that the best solution will take approaches from both worlds.
2
6
2,198
YAS retweeted
you are not ready for this anon
we are accelerating the development of trustless applications on Ethereum
We have just ran the verification of a pairing computation of arkworks using SP1 of @SuccinctLabs. We did not have to make any modifications to the Arkworks code. I am testing ideas for @alignedlayer. We’re trying different ideas to aggregate proofs and post them in Ethereum after a few hours.
Proof time was around 18 minutes, and proof size was 568 MB.
The advantages of SP1 are the fact that it is open-source, has relatively fast proof generation. The problem is that it has larger proof sizes.
On the other hand, @RiscZero has continuations (which makes proof smaller and breaks down computations into smaller pieces that can be handled separately), and smaller proof sizes, but it is has some closed-source part and it seems slower in CPU (we didn’t run benchmarks).
We believe that the best solution will take approaches from both worlds.
1
5
970
YAS retweeted
We're working outside the EVM.
This allows for cheap verification of any proving system, creating another layer.
But...wait, how can we provide security?
Here @eigencloud enters the game
1
3
6
1,496
