Implementing data oracles is a critical problem in the blockchain space. Cardano currently lacks a universally accessible, cost-effective, decentralized, and reliable data oracle.
This is the total amount allocated to zkFold x zkPass: Bring zkPass to Cardano.
NB: Monthly reporting was deprecated from January 2024 and replaced fully by the Milestones Program framework. Learn more here
zkPass
zkPass is a leading cross-chain data oracle solution. Leveraging zkFold's expertise in Cardano smart contracts and ZKPs, we aim to integrate zkPass's robust data verification services on Cardano.
No dependencies.
BSL 1.1. The code will be available on GitHub.
N/A
zkPass is a privacy-focused data oracle using zero-knowledge proofs and multi-party Ńomputation to enable selective, secure, and private validation of user data from any HTTPS-based web sources to the blockchain permissionlessly.
It can cover various data types such as legal identity, financial records, healthcare information, social interactions, work experience, education and skill certifications, proof of real-world assets, etc. All these types of verifications can be done securely and privately without the need to disclose or upload any sensitive personal data to third parties.
By verifying zkPass proofs on-chain, users get an independent, unforgeable attestation of the validity of their private data. Currently, zkPass supports many EVM chains. By implementing zkPass proof verification contracts on Cardano, we enable Cardano users to access zkPass functionality from the comfort of their Cardano wallets.
zkFold has agreed with zkPass to build the necessary smart contract infrastructure on Cardano. At zkFold, we have a team that is uniquely capable of adopting zkPassâs smart contracts to Cardanoâs architecture, which is significantly different from the EVM world.
The solution will consist of the following components:
More information on zkPass can be found on their website and Notion explainer page:
https://zkpass.notion.site/zkPass-in-a-nutshell-af219eaf49be41448b9dc8db0a9edaf3
Integrating zkPass with Cardano brings a unique approach to expanding data oracle capabilities. Unlike traditional oracles that rely on multi-signature processes, zkPass employs Multi-party Computation (MPC) to enhance security, uniformly treating all data retrieved via HTTPS protocols. Regardless of its source, each piece of data is processed consistently within the zkPass network, ensuring comprehensive security and data integrity and setting it apart from conventional oracles.
This approach not only enables better security but is also much more robust and universal. While traditional oracles deal with publicly available data and rely on the existence of multiple sources of the same data, zkPass lets users verify their own data. More precisely, any HTTPS-based communication, such as API calls to a trusted data source, can be processed with zkPass and verified on the Cardano blockchain.
The impact on Cardano from the implementation of this proposal will include
ZKFold is the company that works on L1 and L2 scaling for Cardano using zero-knowledge proofs. It aims to release the first version of zkFold Symbolic (the zero-knowledge smart contract language) in Q3 2024. The zkFold team consists of expert Haskell, Rust, and ZKP developers. The founder of zkFold, Vladimir Sinyakov, previously completed a Project Catalyst Fund 6 grant leading the ENCOINS team. ENCOINS is a DApp on Cardano that has been recently launched on the mainnet. Also, zkFold is consistently delivering Fund 11 proposals' milestones.
Create documentation
Implement a smart contract prototype
Implement off-chain code prototype
Generate JS code for building transactions
Generate JS code for querying blockchain attestations
Finalize smart contract and the JS library
The zkFold team consists of expert Haskell, Rust, and ZKP developers. ZKFold's team members participated in the development of several successful projects on different blockchains, including Cardano, Polkadot, and Near. The zkFold team won the EMURGO BUILD Hackathon on the zero-knowledge track and took 3rd place in the Battle of the Builders at the Cardano Summit 2023 in Dubai. Also, all of zkFold's Fund 11 proposals have been accepted by the community.
Vladimir Sinyakov
Founder and CTO,
https://www.linkedin.com/in/vladimir-sinyakov/
Founder and protocol architect of ENCOINS. Ph.D. in Computational Mathematics. Prior experience includes five years of postdoc in applied mathematics (Control Theory), publishing in top journals in the field. Previously completed a Project Catalyst Fund 6 grant leading the ENCOINS team. ENCOINS is a DApp on Cardano that has been recently launched on the mainnet.
Stanislav Marycev
Co-founder, Business Development.Â
https://www.linkedin.com/in/stanislav-marycev/
Bachelor degree in Business Management. Cardano Blockchain Certified Associate (CBCA). PMP and agile professional with 12+ years of experience in worldwide IT and blockchain projects. Stanislav has experience in leading multicultural international teams (30+ countries) and working closely with top level stakeholders in finance.
Ilya Eriklintsev
ZKP researcher,
https://www.linkedin.com/in/ilya-eriklintsev-3a296852/
Techlead at vSelf, an SSI solution on NEAR blockchain. More than six years of experience in the blockchain industry. Former researcher in Computational Fluid Dynamics.
Eitan Chatav
Developer
PhD in mathematics, expert in advanced mathematics and physics; probability and statistics, algebra, real and complex analysis. 5+ years of experience with blockchain, NFT, Haskell
Vladimir Morozov
Developer
B.Sc. in Applied Mathematics and Computer Science, PhD in Computational Biology. 6+ years of experience with Haskell and Python
Other zkFold developers will contribute to this proposal on request.
Documentation and project management: 56,000 ADA
1 technical writer @ $3,000 per month for 4 months = $12,000 (~25,000 ADA)
1 software developer @ $3,000 per month for 2 months = $6,000 (~13,000 ADA)
1 project manager @ $2,100 per month for 4 months = $8,400 (~18,000 ADA)
Implement a smart contract prototype: 51,000 ADA
3 software developers @ $3,000 per month for 2 months = $18,000 (~38,000 ADA)
1 ZKP researcher @ $3,000 per month for 2 months = $6,000 (~13,000 ADA)
Implement off-chain code prototype: 54,000 ADA
2 software developers @ $3,000 per month for 3 months = $19,000 (~41,000 ADA)
1 software developer @ $3,000 per month for 2 months = $6,000 (~13,000 ADA)
Generate JS code for building transactions: 32,000 ADA
2 software developers @ $3,000 per month for 2 months = $12,000 (~25,000 ADA)
1 software developer @ $3,000 per month for 1 months = $3,000 (~7,000 ADA)
Generate JS code for querying blockchain attestations: 45,000 ADA
2 software developers @ $3,000 per month for 3 months = $18,000 (~38,000 ADA)
1 software developer @ $3,000 per month for 1 months = $3,000 (~7,000 ADA)
Finalize smart contract and the JS library: 12,000 ADA
1 software developer @ $3,000 per month for 2 months = $6,000 (~12,000 ADA)
Total: $117,000 = ~ 250,000 ADA
The project requires a deep understanding of Cardano smart contracts and blockchain backend infrastructure, as well as expertise in zero-knowledge cryptographic protocols. As we pay competitive salaries to our developers and researchers, we've arrived at the budget breakdown above. Ultimately, the project's cost is comparable to other Cardano projects of similar scale.