Discussion Details
Extended UPLC Converter
zkfold
Description
UPLC Converter transpiles UPLC code to zero knowledge circuits. Developers will continue using their preferred language with minimal disruption to easily create ZK smart contracts on Cardano.
Problem Statement
ZK technology remains inaccessible for most developers as Cardano on-chain languages lack proper support for producing zero knowledge smart contracts, which are crucial for privacy and scalability.
Proposal Benefit
UPLC Converter will significantly support developers and boost the capabilities of the Cardano blockchain, making it more competitive, versatile, and attractive to both developers and users seeking advanced, efficient, and secure blockchain solutions.
By enabling the integration of zero knowledge circuits into smart contracts, the UPLC Converter facilitates the development of applications that can provide stronger privacy guarantees. This is particularly beneficial for applications requiring data sensitivity, such as in finance or personal data management, where users can interact with smart contracts without revealing underlying private information.
Key Proposal Deliverables
Milestones
- Advanced CLI documentation
- Advanced CLI: ZK script generation from UPLC. Outputs: the CLI command and examples.
- Advanced CLI: Backend server generation from a ZK on-chain script. Outputs: the CLI command and examples.
Cost Breakdown
Budget for 12 months:
-
Project maintenance. 1 developer at 10k $ per month - 120k$
-
Advanced CLI. 0.5 developer at 10k $ per month - 60k$
Resourcing & Duration
Budget for 12 months:
- Project maintenance. 1 developer at 10k $ per month - 120k$
- Bug fixes
- Test coverage
- Basic performance optimization
- Code refactoring
- Updates follow the development of Plutus
- Advanced CLI. 0.5 developer at 10k $ per month - 60k$
- Ready-to-use ZK smart contracts from a UPLC script file or Aiken project
- Auto-generation of backend servers for the on-chain scripts.
Experience
zkFold team has successfully completed the first part of the project. The zkFold team consists of expert Haskell, Rust, and ZKP developers.
Maintenance & Support
We have included maintenance costs into the projects´s budget
Supplementary Endorsement
Main milestones of the initial development have been completed and shared with the community: https://milestones.projectcatalyst.io/projects/1200257
Roadmap Alignment
Does your proposal align with any of the Intersect Committees?
Open Source Committee
Does this proposal align to the Product Roadmap and Roadmap Goals?
Developer / User Experience
Administration and Auditing
Would you like Intersect to be your named Administrator, including acting as the auditor, as per the Cardano Constitution?
Yes
Ownership Information
Submitted On Behalf Of
CompanySocial Handles
https://x.com/zkFoldKey Dependencies
None
Supporting Links
Cast Your Vote
Comments (3)
Personally, I would like to see the impact of the Catalyst funded zkFold: UPLC Converter proposal before comitting more funds directly from the Cardano 2025 budget. Maybe there is an opportunity to apply for funding through Catalyst for the additional improvements that you seek.
You have recived funding from catalyst here in for the same thing? https://projectcatalyst.io/funds/12/cardano-open-developers/zkfold-uplc-converter
Costing is innacurate -
If ADA to USD conversion is 0.74, then USD cost is $179,553
Are You Ready to Participate?
Building Together to Drive Cardano Forward.