Input | Output (IO) Partner Chains propose the development of Tachyeon, a Substrate-compatible implementation of the Jolteon consensus protocol – designed to meet the formal verification, performance, and composability demands of zero-knowledge (ZK) systems and next-generation blockchain applications.
Proposal summary
Builds on $1.5M in prior work to advance Jolteon from TRL5 prototype to Substrate TRL7 demonstration in advance of full operational release.
Budget request: $461k USDC – nine-person core team with five engineers, a formal methods specialist, technical architect, DevRel, and PM, including 20% overheads.
Backed by peer-reviewed, mechanized safety and liveness proofs, Tachyeon delivers finality in two rounds under regular network conditions.
The proposal looks ambitious, especially the step from TRL5 to TRL7. Moving toward a Substrate demonstration could be a key milestone for adoption in ZK-heavy applications. Curious to see how Tachyeon handles real-world stress tests once deployed.
The project is ambitious, but our team brings deep expertise in the mechanization of consensus protocols, supported by a risk registry outlined in the full proposal.
Tachyeon provides a verifiable implementation directly tied to the formal specification, while also improving throughput by enabling faster block production under typical network conditions compared with slot-based systems.
Jolteon has already proven this approach in production on Aptos, and Tachyeon will undergo equally rigorous testing after this phase to validate robustness.
We’d welcome any introductions to ZK-focused applications in the Substrate ecosystem, and we’ll also be on The Kus show tomorrow (Thursday) at 3.30pm UTC to share more.
Please don’t hesitate to reach out with any further questions.