zk-FOAKs Overview

zk-FOAKs (Zero-Knowledge Fast Objective Argument of Knowledges) is a type of cryptographic proof technology that enables users to share validated data or perform computations with another party without the data or computation being revealed. This is known as zero-knowledge proof, producing information that is publicly verifiable. FOAK is based on linear-time encodable codes that get the fastest proof time among all existing ZKP schemes.

Technically, zk-FOAKs utilizes Orion as the main building block to construct its protocol. Basically, Orion is an efficient zkp protocol with linear proof time, which was proposed in 2022. In this way, it can help to significantly increase performance of the proof system. Besides, based on Orion, we introduce a proof recursion trick, which is helpful to reduce the proof size. Thus, broadly, zk-foaks is a combination of Orion and the proof recursion trick.

Moreover, Fox reduces its FOAKS proof size to one-seventh of the existing schemes of its kind using its recursion technique, which makes it the fastest and cost-lowest zkEVM-based zkRollup. So that the end users can enjoy Ethereum Layer 2 services for just one cent.