Plonk is one of the most widely used proof systems. It is at the core of the proof systems used by ZKsync, Mina, Halo2 (by Zcash), Plonky2 (Polygon), and Succinct Labs SP1’s compression proof, gnark, due to its versatility and efficient prover. Since it's introduction, the Plonk protocol has been improved, and some components have been changed. Plonk stands for Permutations over Lagrange basis for Oecumenical, Non-interactive arguments of Knowledge. It was introduced by Williamson & Gabi...

Plonk is one of the most widely used proof systems. It is at the core of the proof systems used by ZKsync, Mina, Halo2 (by Zcash), Plonky2 (Polygon), and Succinct Labs SP1’s compression proof, gnark, due to its versatility and efficient prover. Since it's introduction, the Plonk protocol has been improved, and some components have been changed. Plonk stands for Permutations over Lagrange basis for Oecumenical, Non-interactive arguments of Knowledge. It was introduced by Williamson & Gabi...

This month has been full of exciting updates for Aligned. 🎉 Check out this thread for a recap of our highlights! ✅ New partnerships. ✅ Spaces, podcast, community call. ✅ Events. ✅ Educational videos. ✅ Technical material. Enjoy! ✅ Let’s start with our new Partnerships. Aligned Partnerships Recap: 023 -> Orbiter Finance. Vizing is an omni interoperability environment built on advanced ZK technology, powered by Orbiter Finance. Excited to provide it with fast and efficient proof verification. ...

This month has been full of exciting updates for Aligned. 🎉 Check out this thread for a recap of our highlights! ✅ New partnerships. ✅ Spaces, podcast, community call. ✅ Events. ✅ Educational videos. ✅ Technical material. Enjoy! ✅ Let’s start with our new Partnerships. Aligned Partnerships Recap: 023 -> Orbiter Finance. Vizing is an omni interoperability environment built on advanced ZK technology, powered by Orbiter Finance. Excited to provide it with fast and efficient proof verification. ...

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 26th August - 1st September. We hosted a fantastic X Space with Versatus and Opacity Network about the stack for a decentralized future. 📢 The conversation was engaging, insightful, and definitely worth a listen! Aligned @alignedlayer This Friday, we will be hosting an X Space with @VersatusLabs and @OpacityNetwork on the stack for a decentralized future. Meet us here at 4 PM UTC: x.com/i/spaces/1DXxy… 29 1...

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 26th August - 1st September. We hosted a fantastic X Space with Versatus and Opacity Network about the stack for a decentralized future. 📢 The conversation was engaging, insightful, and definitely worth a listen! Aligned @alignedlayer This Friday, we will be hosting an X Space with @VersatusLabs and @OpacityNetwork on the stack for a decentralized future. Meet us here at 4 PM UTC: x.com/i/spaces/1DXxy… 29 1...

Mina is a layer 1 (L1) blockchain that uses zero-knowledge proofs (ZKP) to maintain its size at 22 kB. Its vibrant community and technology make it unique and developers and users from other ecosystems could benefit from their interaction with Mina. To this end, Aligned will support the technology needed for Mina to build a bridge to Ethereum.Allow cross-chain transactions seamlessly.Allow applications to leverage Mina's zero-knowledge capabilities and expand their capabilities across mu...

Mina is a layer 1 (L1) blockchain that uses zero-knowledge proofs (ZKP) to maintain its size at 22 kB. Its vibrant community and technology make it unique and developers and users from other ecosystems could benefit from their interaction with Mina. To this end, Aligned will support the technology needed for Mina to build a bridge to Ethereum.Allow cross-chain transactions seamlessly.Allow applications to leverage Mina's zero-knowledge capabilities and expand their capabilities across mu...

Aligned is a ZK verification layer for Ethereum that makes Zero-Knowledge (ZK) proof verification fast and cheap. We believe that verifiable computation is a necessary evolutionary step for the software that powers our world, and we are working to help Ethereum become the global open coordination network that will make this possible. ZK is a powerful cryptographic primitive that allows one party (the prover) to prove the validity of a statement (e.g. the output of any arbitrary computation) t...

Aligned is a ZK verification layer for Ethereum that makes Zero-Knowledge (ZK) proof verification fast and cheap. We believe that verifiable computation is a necessary evolutionary step for the software that powers our world, and we are working to help Ethereum become the global open coordination network that will make this possible. ZK is a powerful cryptographic primitive that allows one party (the prover) to prove the validity of a statement (e.g. the output of any arbitrary computation) t...

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 12th - 18th August. Alignors, check out our latest stats! 🎉 ✅ Partnerships. ✅ Operators. ✅ Verified batches. ✅ Verified proofs. 'Aligned by Numbers' highlights the performance of our proposal to accelerate the Ethereum’s roadmap by adoption of verifiable computation. Aligned @alignedlayer Alignment, quantified. By the time you finish reading this tweet, these numbers will likely have increased. He...

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 12th - 18th August. Alignors, check out our latest stats! 🎉 ✅ Partnerships. ✅ Operators. ✅ Verified batches. ✅ Verified proofs. 'Aligned by Numbers' highlights the performance of our proposal to accelerate the Ethereum’s roadmap by adoption of verifiable computation. Aligned @alignedlayer Alignment, quantified. By the time you finish reading this tweet, these numbers will likely have increased. He...

Aligned is a ZK verification layer for Ethereum. But what does a ZK verification layer do? Why is it needed? Read on to find out! Ethereum is achieving scalability through a rollup-centric roadmap. There are two types of rollups: optimistic and ZK. Basically, we move execution to rollups, which inherit security from Ethereum. Rollups submit batches of transactions (txns) to Ethereum for finality. ZK-rollups rely on ZK proofs (more precisely, integrity or validity proofs). ZK proofs allow us t...

Aligned is a ZK verification layer for Ethereum. But what does a ZK verification layer do? Why is it needed? Read on to find out! Ethereum is achieving scalability through a rollup-centric roadmap. There are two types of rollups: optimistic and ZK. Basically, we move execution to rollups, which inherit security from Ethereum. Rollups submit batches of transactions (txns) to Ethereum for finality. ZK-rollups rely on ZK proofs (more precisely, integrity or validity proofs). ZK proofs allow us t...

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 19th - 25th August. Alignoors! Last week we had our first Community Call and it was a huge success! ✅ We're thrilled that over 1000 users on Discord joined us. Huge thanks to our amazing hosts: Geeny, from our ecosystem team, and our co-founder and Head of Research, Diego Kingston. Aligned @alignedlayer Thank you to the 1000+ Discord members who joined our first community call today! If you listened to ...

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 19th - 25th August. Alignoors! Last week we had our first Community Call and it was a huge success! ✅ We're thrilled that over 1000 users on Discord joined us. Huge thanks to our amazing hosts: Geeny, from our ecosystem team, and our co-founder and Head of Research, Diego Kingston. Aligned @alignedlayer Thank you to the 1000+ Discord members who joined our first community call today! If you listened to ...

Recently, Vitalik Buterin wrote on binary fields and their potential to generate zero-knowledge proofs. Binary fields are finite fields with characteristic equal to two. We can view them as polynomials whose coefficients can only take the values 0 and 1, so 1 + x^2 + x^6 are elements in some binary field but not 5 + x! We can also associate them with bitstrings and define operations over them so that they behave like fields. The simplest binary field is the integers modulo 2. The addition ope...

Recently, Vitalik Buterin wrote on binary fields and their potential to generate zero-knowledge proofs. Binary fields are finite fields with characteristic equal to two. We can view them as polynomials whose coefficients can only take the values 0 and 1, so 1 + x^2 + x^6 are elements in some binary field but not 5 + x! We can also associate them with bitstrings and define operations over them so that they behave like fields. The simplest binary field is the integers modulo 2. The addition ope...

The future of crypto is increasingly multi-chain. Blockchains are a powerful new platform for developers to build decentralized and trustless applications, but their properties place limits on scalability. To address this, we have seen an explosion in the number of blockchains, which has increased the global supply of blockspace and compute capacity (i.e., more transactions per second). More chains has also meant increased industry-wide fragmentation, both in terms of liquidity and where appl...

The future of crypto is increasingly multi-chain. Blockchains are a powerful new platform for developers to build decentralized and trustless applications, but their properties place limits on scalability. To address this, we have seen an explosion in the number of blockchains, which has increased the global supply of blockspace and compute capacity (i.e., more transactions per second). More chains has also meant increased industry-wide fragmentation, both in terms of liquidity and where appl...

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 5th - 11th August. ZK Hack Montreal was a huge success! 🎉 The event took place from August 9th to 11th. We are very happy to have met a lot of Aligned attendees in Montreal. ZK is becoming mainstream! 💚 Aligned @alignedlayer ZK Hack Montreal begins tomorrow, and so does our bounty program! Aligned is contributing to the $53,000 prize pool, and we'll be rewarding the best projects that use Aligned to verify...

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 5th - 11th August. ZK Hack Montreal was a huge success! 🎉 The event took place from August 9th to 11th. We are very happy to have met a lot of Aligned attendees in Montreal. ZK is becoming mainstream! 💚 Aligned @alignedlayer ZK Hack Montreal begins tomorrow, and so does our bounty program! Aligned is contributing to the $53,000 prize pool, and we'll be rewarding the best projects that use Aligned to verify...

Aligned is designed to verify any proof system efficiently and for a fraction of the cost in Ethereum. Kimchi is the proof system at the heart of Mina. Do you want to know what makes Kimchi special? Mina is a succinct blockchain. It generates proofs for each block, allowing any user to run a Mina node with no further trust assumptions. The proofs are generated in a recursive manner and prove the correctness of the execution of the state transitions in an inductive manner: At step N we know th...

Aligned is designed to verify any proof system efficiently and for a fraction of the cost in Ethereum. Kimchi is the proof system at the heart of Mina. Do you want to know what makes Kimchi special? Mina is a succinct blockchain. It generates proofs for each block, allowing any user to run a Mina node with no further trust assumptions. The proofs are generated in a recursive manner and prove the correctness of the execution of the state transitions in an inductive manner: At step N we know th...