Aligned is designed to verify zk proofs cheaply, with high throughput and low latency. However, any existing mechanism that can guarantee computation integrity can be used in Aligned. For example, trusted Execution Environments (TEEs) like SGX, can also provide an efficient way to guarantee a computation was done correctly. This
✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 15th - 21st July. First of all, let's recap our participation at EthCC. 🥳 ✅ Here you'll find some highlights of our co-founders, Diego Kingston and Mauro Toscano. ✅ What happened at Lambda Hack Week
✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 8th - 14th July. We hosted an amazing X Space with Mina Protocol. 💜 It provided details about our recently announced partnership. (Mina will verify their Ethereum proofs with Aligned!) ✅ We will be diving into the depths
✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 1st - 7th July. We’re thrilled to have announced our partnership with Mina! ✅ Aligned will help Mina verify Ethereum proofs more efficiently, making the ‘Proof of Everything’ more accessible. This is a big step forward
In recent months, we have witnessed the development and enhancement of general proving virtual machines such as Risc0, Valida, Jolt, and SP1. These innovations allow users to write ordinary code in languages like Rust or C and generate proofs demonstrating the integrity of computations. This evolution is poised to transform
✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 24th - 30th June. We are excited to announce our Aligned Bounty Program at Lambda Hack Week 2. ✨ The second Lambda Hack Week is almost here, and we are offering a prize pool for projects building
Elliptic curve pairings play an important role in Ethereum’s Proof of Stake and in proof systems such as Groth16 and Plonk. They allow us to perform some sort of encrypted multiplication, crucial to aggregatable signatures and some polynomial commitment schemes. However, pairings seem shrouded in mystery and complexity. Read
The second Lambda Hack Week is nearly here, and we are offering a prize pool for projects building on top of Aligned. Only a few spots remaining! Click here to register! 📆 July 6th to 9th 2024📍 Brussels. Our bounties will be awarded to projects that build innovative technology using Aligned
The Sumcheck protocol is an efficient tool to develop succinct arguments. It is relied upon by many proof systems, such as Lasso/Jolt by a16z crypto, HyperPlonk, Binius, Spartan, and GKR. Sumcheck was first proposed by Lund, Fortnow, Karloff, & Nisan in 1992. The sumcheck protocol is an interactive protocol
✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 17th - 23th June. Aligned Testnet 3 : Our first EigenLayer AVS opened to external operators. ✅ This week was huge for Aligned. A very significant milestone in our journey towards mass adoption of ZK proofs on Ethereum.
We are excited to announce the launch of our third testnet, marking a significant advancement in the adoption of zero-knowledge (ZK) proofs on Ethereum. This is our first public testnet open to third party operators for our EigenLayer AVS. We invite you to work with us towards our goal of
✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 10th - 16th June. Our Co-founder and Head of Research, Diego Kingston, gave a fascinating talk on hash-based proof systems at ZuBerlin. 📒 The talk delved into various aspects, including proof sizes, the benefit of not requiring