PolkaZK Verifier SDK is a developer-friendly Zero-Knowledge toolkit that eliminates the complexity of zkSNARK implementation by providing a one-command solution for Circom circuit compilation, Groth16 trusted setup, and verifier smart contract deployment on PolkaVM-compatible chains. This SDK enables developers to integrate privacy-preserving zero-knowledge proofs into their applications with minimal to no cryptographic expertise required.
The team recently won first prize at the Polkadot AssetHub Hackathon in Goa for this project's MVP. The SDK suite is built specifically utilising the PolkaVM's advantages over standard EVMs and EVM forks. The platform transforms complex zkSNARK workflows (typically requiring deep knowledge of Circom, SnarkJS, and Groth16 trusted setup ceremonies) into simple CLI commands and JavaScript function calls, making zero-knowledge technology accessible to mainstream developers.
zk-polka-sdk introduces a powerful, frictionless and developer-friendly Zero-Knowledge Proof (ZKP) abstraction layer tailored for all kinds of developers. It integrates the industry-standard Circom and SnarkJS stack to allow developers to compile circuits, generate proofs, and deploy Solidity verifier contracts directly onto PolkaVM-compatible parachains, all with a single command/function call.
Technical Specifications: PolkaZK Verifier SDK: Tech Specifications 👈
| Number | Deliverable | Specification |
|---|---|---|
| 0a. | License | MIT License maintained across all components. |
| 0b. | Documentation | Comprehensive inline documentation and step-by-step tutorial covering circuit compilation, proof generation, and verification processes. Documentation will include API references, troubleshooting guides, and integration examples. |
| 0c. | Testing and Testing Guide | Unit tests covering all core functions with >90% code coverage. Test suite will include circuit compilation tests, proof generation/verification tests, and CLI functionality tests. Guide will detail test execution and CI/CD setup. |
| 0d. | Docker | Dockerfile providing containerized environment with all dependencies (Circom, SnarkJS, Node.js) pre-configured for immediate SDK usage and testing. |
| 0e. | Article | Technical article explaining the SDK's architecture, PolkaVM integration benefits, and practical implementation guide for developers new to zero-knowledge proofs. |
| 1. | ZK Circuit Compiler (CLI) | Command-line tool that compiles .circom files into .wasm, .r1cs, circuit_final.zkey, and verifier.sol files using integrated Circom v2 and SnarkJS. Supports automated trusted setup using pre-generated PTAU files. |
| 2. | Core Architecture & Integration | Foundational TypeScript/JavaScript architecture with modular design supporting plugin-based extensions. Includes error handling, logging, and configuration management systems. |
| 3. | Proof Verifier SDK (JS/TS) | JavaScript/TypeScript SDK providing generateProof() and verifyProof() functions with intuitive API design. Includes type definitions and async/await support for modern development workflows. |
| Number | Deliverable | Specification |
|---|---|---|
| 0a. | License | MIT License maintained across all components. |
| 0b. | Documentation | Complete developer documentation including PolkaVM deployment guides, smart contract interaction examples, and ecosystem integration patterns. |
| 0c. | Testing and Testing Guide | Integration tests for PolkaVM compatibility, end-to-end testing scenarios, and performance benchmarks. Guide includes mainnet/testnet deployment procedures. |
| 0d. | Docker | Production-ready Docker containers with optimized builds for development and deployment environments. |
| 0e. | Article | Case study article demonstrating real-world applications built with the SDK, highlighting privacy-preserving use cases and performance metrics. |
| 4. | PolkaVM Integration | Native integration with PolkaVM architecture enabling seamless deployment of Solidity verifier contracts. Includes gas optimization and multi-dimensional gas metering support. |
| 5. | Solidity Verifier Contract Export | Automated generation of optimized Solidity verifier contracts compatible with PolkaVM's RISC-V architecture. Contracts include gas-efficient verification logic and batch verification capabilities. |
| 6. | Example dApps & Templates | Production-ready example applications including age verification, identity proof, and anonymous voting systems. Templates provide scaffolding for common ZK use cases. |
| 7. | Documentation & Developer Tools | Comprehensive developer portal with interactive tutorials, API playground, and community resources. Includes VS Code extensions and development helpers. |
| Item | Amount | Total Cost | Description |
|---|---|---|---|
| Core Development Team | 616 hours | $36,960 USD | Full-stack development covering CLI tools, SDK architecture, PolkaVM integration, and testing |
| Edgetributor SubDAO Curation | 208 hours | $12,480 USD | Project management, architecture reviews, DevOps, and quality assurance oversight {team of 6, 520 USD per member per month} |
| --- | Total | $49,440 USD |
Address: Ga8F4epsSY8pw3f7Qdjq3T6gjtC28ZnCdHhRykNX85npSkU
Threshold: 3/4 {2 team members and 2 contributors from Edgetributor SubDAO}
Edgetributor SubDAO (6 contributors) will be responsible for the following key operations, corresponding to the development span of 4 months:
{520 USD per contributor per month.}
We are passionate about privacy and accessibility in web3. We've seen how difficult it is for developers, especially newcomers, to use zero-knowledge proofs due to complex tooling and cryptographic knowledge requirements. Through ZK-POLKA-SDK we will democratize access to this powerful technology and make Kusama AssetHub the most developer-friendly hub for zk-based applications. By building this SDK, we aim to empower builders and attract more developers to Kusama through a seamless zk-onboarding experience.