Our project (PADO) is a cryptographic infrastructure bridging web3 and web2 via portable user data. PADO utilizes interactive zero-knowledge proofs (IZK) and MPC to authenticate users' off-chain data and maintain their privacy via TLS standards. The project is a typical Ethereum infrastructure, because:
1. PADO will open-source all the cryptographic algorithms for Ethereum (and other web3) community developers. They can use the IZK tools to build their own zk-applications with a much more efficient zk-prover compared with zk-SN(T)ARKs. They can also use the related MPC tools (highly optimized garbled circuits and OTs) to build specific private features.
2. PADO will run decentralized nodes to off-chain data attestation services, which can be further integrated with Ethereum attestation service (EAS) to support the abstract attestation layer, and to enhance off-chain data trust and privacy.
3. PADO will also create a simple open-source client software to demonstrate the power of interactive zero-knowledge proofs. IZK relies on primitives like garble circuits and oblivious transfers to compose a general-purpose computation logic, towards the underlying boolean circuits. IZK shares the prover efficiency and low memory cost, which is a perfect choice for building zk applications on the end-user devices (a zk-prover can be executed within several megabytes, which is feasible on a browser extension or mobile app), and maintaining a zk-verifier service online. As the initial plan, we consider to aggregate and prove the user’s CEX assets for any on-chain protocols.