🎆Algorithm

ZK World uses ZKP to ensure the correct execution of the program and protect privacy. ZKP enables one party to prove to another party that a statement is true without disclosing any private information.

At present, there are many implementations of ZKP algorithm, such as 16 Halo 2, Marlin, Si 2, they have different technical characteristics, we think ZKP requires the algorithm first, as a ZKVM, we hope the algorithm is safer and more decentralized to use Second, any smart contract can be more succinctly constrained. Third, proof generation and verification have good performance.

After careful consideration, we chose Starky as our proof generation algorithm and Plonky2 as our recursive circuit algorithm. What they all have in common is that they are all STARK-based, which means that none of them require a trusted third-party setup.