Minokawa is a domain-specific smart contract language purpose-built for zero-knowledge execution.
Minokawa is composed of three integrated parts:
Language
A TypeScript-like DSL designed for ZK contract development. It supports rich data types, private/public function scopes, modularity, and privacy-safe access to off-chain data.
Compiler
The compiler transforms Minokawa contracts into a bundle of JavaScript modules, TypeScript types, source maps, and ZK proof artifacts. These are optimized for seamless integration into applications.
Runtime
A JavaScript/TypeScript library that executes contracts, manages proofs, and ensures runtime type safety. It bridges the gap between off-chain private data and on-chain logic execution.
This end-to-end pipeline simplifies the development of secure and verifiable privacy workflows, freeing developers to focus on use cases rather than ZK internals.
Minokawa allows developers to:
Build smart contracts where data can remain private unless intentionally disclosed
Rely on native ZK capabilities without writing circuits manually
Compose public and private logic in a single framework
Implement fine-grained compliance with auditable guarantees
Create new user experiences that respect digital agency and privacy