The Minokawa project, home of the Compact programming language and recently placed under stewardship of the Linux Foundation Decentralized Trust, aims to make zero-knowledge smart contract development accessible, secure, and practical for real-world applications.
Presented by architect and Minokawa maintainer Kevin Millikin during a LF Decentralized Trust-hosted meet-up, the talk outlines the project's foundational goals, which include privacy by default, strong static typing, zero-knowledge proof integration, separation of public and private states, and enhanced developer accessibility.
The webinar follows the structure of its title, covering each topic in order. Highlights include:
- Smart contracts as state transition systems and the challenges posed by their inherently public nature
- How Minokawa addresses these challenges by using ZK proofs to split contract state into public and private components
- The Kachina protocol, how it leverages ZK proofs for off-chain computation and tackles other practical issues.
- The transaction flow within the Midnight network: off-chain and on-chain operations,
- Introduction to the Impact VM
- The Compact programming language, which compiles high-level code into low-level representations suitable for zero-knowledge proofs and on-chain bytecode.
- How the Midnight network architecture implements Compact smart contracts
- How the Compact language can be generalized and applied elsewhere
- Questions, code examples, future development plans, and more.
Watch the video now for the above and more:
https://www.youtube.com/watch?v=AT2eO_8yDz8
Get involved
Would you like to learn more or get involved? Join the Minokawa channel on the LFDT Discord:
https://discord.com/channels/905194001349627914/1426221491833409536