By giving you these insights into what we are working on, we hope you will gain a better understanding of our project and what we are ultimately working towards: the acceleration of Ethereum’s roadmap and the widespread adoption of ZK.
Polynomial commitment schemes (PCS) are at the core of proof systems.
They determine key properties such as proof size, verification time, and whether the system is post-quantum secure.
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.
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.