Last updated 5 months ago

ReasonChain: ZK-Attested AI Chain-of-Thought Oracle

Problem

Without verifiable AI reasoning, Cardano dApps face risks in governance, compliance, and real-world adoption.

Solution

ReasonChain enables Cardano dApps to verify AI outputs via ZK proofs of model version, input/output integrity, policy safety, and CoT commitments with optional identity credentials.

75,000 $ADA
Total funds requested

About this idea

Team

Project Lead / ZK & Cryptography Engineer - (Eldana Getachew and Kirubel W.)

The Project Lead takes care of the overall ReasonChain design, implementation, and delivery, and have special expertise in zero-knowledge proofs, cryptography, and blockchain integration. The otrascribed activities for them are the design of zkML circuits, implementation of Halo2/PLONK style off-chain proving pipelines, and ensuring that all proof verifications are in accordance with Cardano's Plutus V3 cryptographic standards. They would also be engaging in architectural decisions regarding how commitments, Merkle roots, and attested inferences are stored and verified on-chain. The lead would be reviewing the code contributions of other members of the team, managing GitHub repositories, and liaising with ecosystem partners to coordinate on standards such as CIP-31/32/33.

Plutus Smart Contract Engineer (Ermias Andarge)

Spent with Plutus-V3, Cardano transaction building, and smart contract deployment, development, and maintenance of ReasonChain's on-chain validator scripts, reference scripts, inline datums, integration with oracle UTxOs; integration of the zk proofs into Plutus V3, gas optimization and enabling cheap verification; and working with the ZK engineer to ensure that the on-chain validation logic matches the off-chain proof structures.

Privacy & Data Protection Engineer - (Kirubel W.)

Privacy Engineer implements secure storage and selective reveal using the Midnight Network. The implementation is for encrypted storage of sensitive chain-of-thought data, managing permissions, and allowing optional identity verification via Identus/Atala PRISM. This ensures that ReasonChain complies with data privacy while still maintaining verifiable commitments on-chain. Design off-chain workflows for auditors or counterparties to access encrypted CoT data under predefined terms; ensure privacy best practices are met.

SDK & Developer Tools Engineer – (Eldana Getachew)

Building TypeScript and Plutus SDKs, developer-friendly APIs, and integration tools is the responsibility of this engineer. The dApp developer should find it easy to access ReasonChain oracle outputs to verify proofs and interact with CoT commitments. This individual will proceed to produce exemplar apps, tutorials, and integration guides to provide means for accelerating the adoption on the Cardano side. CI/CD pipelines for testing and publishing SDK updates will also be maintained.

DevOps & Security Engineer - (Eldana Getachew)

For deploying, monitoring, and securing ReasonChain infrastructure, including off-chain oracle nodes, proof servers, and integration with Hydra channels, this position is responsible. Reproducible builds, automated test suites, and security audits must be implemented by the incumbent. Performance benchmarking, uptime maintenance of oracle feeds, and ensuring the resilience of all nodes to attacks or downtimes are their responsibilities. They also organize external audits for smart contracts and zkML circuits.

Ecosystem & Community Liaison - (Eldana Getachew)

The Ecosystem Liaison is an interface for community engagement, outreach, and developer adoption. They establish communication lines with pilot dApps, coordinate workshops, and work on educational material in English and regional languages like Amharic and Afan Oromo. Feedback from developers and partners should be incorporated into the project while on the other hand, the position facilitates new users in onboarding onto ReasonChain. Marketing is also supported in organizing AMA sessions, blog writing, and social media updates to boost visibility.

Research Advisor – (Edilawit Getachew)

The Research Advisor is tasked with overseeing zkML, chain-of-thought processes, and AI verifiability. The said person aims to ensure systems comply with academic best practices and cutting-edge research, while reviewing design decisions and validating approaches about correctness of proofs and integrity. They also interpret results and make security trade-offs while liaising into broader research communities of ZK and AI.

Optional Partners/Pilot Integrators

ReasonChain may partner with select dApps in the DeFi, governance, or RWA spaces for a pilot integration. These partners will be trying out the oracle outputs; providing feedback on the usability; and confirming the real-world working of the system-at-hand. For instance, these could be Orcfax for market feeds, governance tools for verified AI analysis, and RWA platforms requiring verifiable risk assessments. They are not considered part of the full-time internal team but are crucial for proving feasibility and adoption.

Team capabilities and Synergy

The team is structured such that all technical and operational aspects-the cryptography, smart contracts, privacy, developer tooling, infrastructure, research, and community adoption-are covered. The members of the team possess well-defined accountabilities, ensuring the workstreams are as non-overlapping as practically possible while remaining tightly integrated. The use of sprints, version control on GitHub, milestone-based reports, and reviews will hold the team accountable for its deliverables, maintain transparency, and keep track of progress. Weekly stand-up meetings, coupled with milestone reviews, would keep the project on track with Fund 14 timelines.

Experience and Credibility

• Combined blockchain-wise experience: 15+ years working on Plutus development, Cardano integrations, and Layer 2 solutions.

• ZK/AI research-wise experience: 10+ peer-reviewed publications and contributions to open-source zk frameworks.

• DevOps & community-wise experience: Deployed many Cardano testnet/mainnet dApps and led educational workshops.