Este site está em constante desenvolvimento, mas gostaríamos de ouvir seu feedback para melhorá-lo. Participe da pesquisa!
logo-iconGOVERNANCESPACE

Detalhes da Discussão

Principal
Tipo
ATIVO

Extended Symbolic

10 comentários
Enviado: 1 Apr 2025, 15:04 UTC (Epoch 549)
Atualizado: 30 Apr 2025, 08:12 UTC (Epoch 555)
# ID:62
zk

zkfold

Orçamento$300,000 (404,338 ADA)
Taxa de ADA$0.74
Moeda PreferidaUnited States Dollar (USD)
Tipo de ContratoMilestone Based Fixed Price

Descrição

Extended Symbolic project aims to develop a new Haskell DSL for writing zero-knowledge smart contracts on the Cardano blockchain. The goal is to simplify the development process by abstracting the complexities of ZK cryptographic protocols, allowing developers to build efficient, scalable smart contracts without requiring expertise in ZK cryptography.

Declaração do Problema

Cardano is capable of verifying zero-knowledge proofs on-chain. This enables more robust and scalable smart contracts. There needs to be a high-level language for such smart contracts.

Benefício da Proposta

The project has the potential to significantly impact the development of smart contracts on Cardano, reducing fees and increasing efficiency.

Providing developers with a proper tool to tap into the power of zero-knowledge protocols enables them to create smart contracts and DApps that are on another level in terms of efficiency and user experience. Moreover, with more developers adopting this approach, we are reducing the on-chain data footprint and compressing user transactions, effectively scaling Cardano on layer one.

Principais Entregas da Proposta

Milestones

  1. Compiler specification. Outputs: specification docs
  2. Integration with the proving backend. Outputs:
    1. a compiler from IR to the proving backend (zkFold’s PlonkUp) format
    2. zkFold’s circuit IR and zkFold’s PlonkUp specs
  3. Export/import to Circom. Output: CLI and usage examples
  4. Optimization of basic types. Output: performance benchmarks
  5. Optimization of cryptographic functions. Output: performance benchmarks

Detalhamento de Custos

Budget for 12 months:

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

  2. Advanced in-circuit optimization. 1 cryptographer at 10k $ per month - 120k$

  3. Advanced tooling and compatibility. 0.5 developer at 10k $ per month - 60k$

Recursos & Duração

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
  2. Advanced in-circuit optimization. 1 cryptographer at 10k $ per month - 120k$
    1. Optimization of the compilation process
    2. Optimization of algebraic and bitwise operations
    3. Optimization of hashing algorithms and elliptic curve cryptography
  3. Advanced tooling and compatibility. 0.5 developer at 10k $ per month - 60k$
    1. Integration with different proving backends
    2. Export/import to and from Circom
    3. Export/import to and from Rust

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

The initial phase of the development has been completed and successfully shared with the community:

  1. https://x.com/zkFold/status/1870155682969706985

  2. Extended video of the functionality: https://www.youtube.com/watch?v=XXNeAGuA0Is

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

Company

Perfis Sociais

https://x.com/zkFold

Principais Dependências

None

Links de apoio

Nenhum link de apoio fornecido
Criado:4/1/2025
Atualizado:4/30/2025
ID:62
Resultados da Pesquisa
Votos: 7
Esta proposta deve ser financiada na próxima rodada do Orçamento Cardano?
SIM
4 (57%)
NÃO
3 (43%)

Comentários (10)

awen
30 de abr. de 2025, 08:13 UTC

The North American Community Hub’s workshop feedback, summarized here, finds zkFOLD’s Extended Symbolic proposal innovative but not critical for Cardano’s core operations. Unclear KPI metrics and lack of urgency suggest Project Catalyst as a better fit to refine scope and prove ecosystem relevance. Signed: North American Community Hub

nagamaru_sasa
DRep: f8d68d00...cff7ab43
30 de abr. de 2025, 08:13 UTC

Hi zkFold team,

Thank you for your proposal. I have a couple of questions to better understand the potential impact and adoption path for Extended Symbolic:

DSL adoption strategy: To maximize the impact of this new Haskell DSL for zero-knowledge smart contracts on Cardano, do you have any plans for collaboration with specific projects or developer communities? How do you envision expanding its adoption within the Cardano ecosystem and beyond?

PlonkUp advantages: Could you explain in more detail what sets PlonkUp apart from other ZKP solutions like Circom, zkSync, or others? Specifically, I’m interested in what makes PlonkUp especially well-suited for Cardano or for certain use cases.

Looking forward to your insights!

sipo
DRep: 53f6a8fa...a117bdb4
30 de abr. de 2025, 08:13 UTC

I have read with great interest the proposal for the "Extended Symbolic" project. The approach of facilitating smart contract development using zero-knowledge proofs has tremendous potential to enhance Cardano's scalability and efficiency.

I would like to ask a few questions:

  1. Open Source Plans: Will the deliverables of this project be released completely as open source? If so, what license do you plan to adopt?
  2. Practical Use Cases: What specific use cases would become feasible by using this zero-knowledge proof language? We would appreciate examples of applications that might be particularly relevant to the Japanese market.
  3. Educational Programs: Do you have plans for educational programs or workshops to promote the adoption of this tool? Please share details about your support system for developers in non-English speaking regions.

I wish you success with your project and look forward to your response.

yuta
DRep: 94f7bb25...7af35e2c
30 de abr. de 2025, 08:13 UTC
  1. What are the main KPIs of this project? Are there clearly defined, measurable indicators to objectively assess development progress?

2 .How will the results of "performance benchmarks" and "compatibility tests" be reported? Will they be publicly available?

  1. What are the specific outputs of "Maintenance" and "Advanced optimization," and are there corresponding KPIs or evaluation criteria for each?

  2. Has this proposal been sufficiently socialized within the Cardano community and received broad support? Are community responses via X, Discord, etc., visible and documented?

  3. Do the shared YouTube video and X post contain meaningful feedback or engagement (e.g., retweets, comments)?

  4. Has the proposal received support or collaboration from third parties (e.g., other developers, researchers, dApp teams)? (In particular, Cardano's ZK-related engineers ENCOIN, STARSTREAM, MIDNIGTH, etc.)

  5. Is the zkFold “PlonkUp” backend open-sourced and maintained? Is it reusable and verifiable by external developers?

  6. How does this new Haskell DSL differentiate itself from existing smart contract stacks (e.g., Plutus, Aiken), and how is coexistence envisioned?

gaia
DRep: cc37fee8...c5e00444
30 de abr. de 2025, 08:13 UTC

Costing is innacurate -

If ADA to USD is 0.74, then USD cost is $299,210

Governance Space na Blockchain Cardano

Você está pronto para participar?

Construindo juntos para impulsionar a Cardano.