Aligned is designed to verify every proof system. Groth16 was one of the first efficient proof systems. It's used by projects like Zcash, Worldcoin, RISC Zero, and SP1 by Succinct Labs. At the core of Groth16 lie pairing-friendly elliptic curves, such as BN254 and BLS12-381. These curves allow us to define a special function, the pairing, which possesses two crucial properties: bi-linearity and non-degeneracy. In essence, they enable us to multiply scalars that are concealed in the expon...