Detalhes da Discussão
Extended UPLC Converter
zkfold
Descrição
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.
Declaração do Problema
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.
Benefício da Proposta
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.
Principais Entregas da Proposta
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.
Detalhamento de Custos
Budget for 12 months:
-
Project maintenance. 1 developer at 10k $ per month - 120k$
-
Advanced CLI. 0.5 developer at 10k $ per month - 60k$
Recursos & Duração
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.
Experiência
zkFold team has successfully completed the first part of the project. The zkFold team consists of expert Haskell, Rust, and ZKP developers.
Manutenção & Suporte
We have included maintenance costs into the projects´s budget
Endosso Suplementar
Main milestones of the initial development have been completed and shared with the community: https://milestones.projectcatalyst.io/projects/1200257
Alinhamento com o Roadmap
Sua proposta se alinha com algum dos Comitês da Intersect?
Open Source Committee
Esta proposta está alinhada com o Roadmap do Produto e os Objetivos do Roadmap?
Developer / User Experience
Administração e Auditoria
Você gostaria que a Intersect fosse seu Administrador designado, incluindo atuar como auditor, conforme a Constituição Cardano?
Sim
Informações de Propriedade
Enviado em Nome de
CompanyPerfis Sociais
https://x.com/zkFoldPrincipais Dependências
None
Links de apoio
Comentários (6)
Too many different smaller proposals from this company, so I'm voting NO sorry...
Relationship with Previous Catalyst Funding ・Could you provide detailed information about the outcomes and current status of the similar project funded through Catalyst Fund 12? ・How does this current proposal evolve from the previous project?
Clarification on Technical Details ・Could you provide more specific explanations about how ZK smart contracts will bring value to the Cardano ecosystem? ・What are the strengths of this approach compared to other ZK technologies (e.g., Mina Protocol)?
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
Você está pronto para participar?
Construindo juntos para impulsionar a Cardano.