Discussion Details

Core
Type
ACTIVE

Extended UPLC Converter

3 comments
Submitted: 15 Apr 2025, 16:19 UTC (Epoch 552)
Updated: 16 Apr 2025, 23:50 UTC (Epoch 552)
ID:424
zk

zkfold

Budget$180,000 (242,639 ADA)
ADA Rate$1.35
Preferred CurrencyUnited States Dollar (USD)
Contract TypeMilestone Based Fixed Price

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

  1. Advanced CLI documentation
  2. Advanced CLI: ZK script generation from UPLC. Outputs: the CLI command and examples.
  3. Advanced CLI: Backend server generation from a ZK on-chain script. Outputs: the CLI command and examples.

Cost Breakdown

Budget for 12 months:

  1. Project maintenance. 1 developer at 10k $ per month - 120k$

  2. Advanced CLI. 0.5 developer at 10k $ per month - 60k$

Resourcing & Duration

Budget for 12 months:

  1. Project maintenance. 1 developer at 10k $ per month - 120k$
    1. Bug fixes
    2. Test coverage
    3. Basic performance optimization
    4. Code refactoring
    5. Updates follow the development of Plutus
  2. Advanced CLI. 0.5 developer at 10k $ per month - 60k$
    1. Ready-to-use ZK smart contracts from a UPLC script file or Aiken project
    2. 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

Company

Social Handles

https://x.com/zkFold

Key Dependencies

None

Supporting Links

No supporting links provided
Created:4/15/2025
Last updated:4/16/2025
ID:424

Cast Your Vote

Coming Soon!

Comments (3)

Apr 16, 2025, 11:50 PM UTC

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.

Apr 15, 2025, 10:31 PM UTC

You have recived funding from catalyst here in for the same thing? https://projectcatalyst.io/funds/12/cardano-open-developers/zkfold-uplc-converter

Apr 15, 2025, 04:19 PM UTC

Costing is innacurate -

If ADA to USD conversion is 0.74, then USD cost is $179,553

Governance Space on Cardano Blockchain

Are You Ready to Participate?

Building Together to Drive Cardano Forward.