We are thrilled to introduce Blockless ZK — a zk-SNARK “prover as a service” feature for WASM executions deployed on Blockless.
The vision for Blockless is to create a future where developers can easily build and ship performant and trustless applications on a decentralized global network. With this goal in mind, the team and the community have constantly researched and thought about ways to accelerate the trajectory toward this future.
While Blockless Functions was announced in October 2022 and continues to be perfected, the general-purpose execution platform has allowed us to introduce solution products that directly address developers’ needs.
Among the requested features from the developer community, a better way to generate zk-SNARK proofs is at the top of the list.
Currently, in the industry, there are two major pain points that developers are facing that need to be addressed:
1. Building a zero-knowledge service or application today requires extensive manual labor and domain expertise. As a builder, you have to convert legacy business logic and code bases into ZK circuits in languages such as Circom, Halo2, and Cario.
2. zk-SNARK proofs are computation-intensive and often require special and expensive hardware for execution. Managing such specialized hardware is distracting teams from focusing on their core business logic.
Today, we are thrilled to introduce Blockless ZK — a zk-SNARK “prover as a service” feature for WASM executions deployed on Blockless, that solves the aforementioned hurdles for all builders building on top of Blockless.
As a developer, you can now create zk-powered services and applications in your favorite languages just as you normally would via Blockless Functions. Simply turn-on ZK prover feature via Blockless Dashboard or Blockless CLI while you deploy your WASM function binary. When your function receives requests, while the function executes, Blockless workers will simulate the function with the associated input and generate a zk-SNARK proof that guarantees the execution correctness. The zk-SNARK proof can then be aggregated and sent to any destination L1 or data availability layer for verification.
In the background, Blockless ZK leverages zkWASM, a zk-SNARK circuit/proof generator, to allow developers to create ZK-enabled dApps whose execution can be verified on demand. Your WASM execution can still be written in multiple languages, and while the function executes on Blockless, a ZK proof will automatically be generated. This powerful zero knowledge circuit generation engine can translate your WASM bytecode in any WASM-compatible language and generate ZK circuits with CPU or GPU. In the future, performance enhancement SDK will also be released to better assist builders to develop and ship verifiable dApps with optimized proof-generating performance and minimal cost of operation.
We are extremely excited to bring the Blockless ZK feature to our developer community with the exclusive partnership between Blockless and Delphinus Lab, the creator of zkWASM. To find out more about this collaboration, see this post.
Blockless and Delphinus Lab are excited to first present a zkWASM playground by the end of Q4 2022. A public version of Blockless ZK will be released in Q1 2023. The teams believe Blockless ZK brings a world of opportunities for the Web3 community. At the same time, the wider WASM and Web2 developer community can also use Blockless ZK as an entry point to directly participate in the zk-powered Web3 movement.
Join us and be part of the journey.
Blockless is a WASM-based, customizable execution layer that powers decentralized serverless applications.
As a permissionless network, Blockless allows network participants to contribute a variety of hardware resources, ranging from Android devices to high-performance servers. Developers can build on Blockless with unparalleled scale, reliability, and security.