Multi-Prover Architecture
W3bstream is a blockchain-orchestrated protocol, which aims to harness the power of a global-scale network of provers to execute the logic of emerging DePIN applications. In a nutshell, W3bstream is a decentralized off-chain computing network that is composed of heterogeneous nodes performing verifiable computations, as illustrated in the figure below:
![](https://docs.iotex.io/~gitbook/image?url=https%3A%2F%2F2460726677-files.gitbook.io%2F%7E%2Ffiles%2Fv0%2Fb%2Fgitbook-x-prod.appspot.com%2Fo%2Fspaces%252FZW4CBgccC3MHFpijZTPu%252Fuploads%252FVxxsIlq0rSIwDYkO7Orf%252Fimage.png%3Falt%3Dmedia%26token%3D53136c41-a69c-47e9-be5e-0d876931405f&width=768&dpr=4&quality=100&sign=5bc2c390&sv=1)
The proofs generated by W3bstream nodes are verified by dedicated verifier contracts on-chain and then consumed by DePIN Dapps. Depending on each DePIN project configuration, W3bstream provers are run by the community and are rewarded for providing their computational resources to process blocks of data for DePIN projects.
Types of W3bstream Provers
Several techniques have been developed in the past to attest integrity of data processing and allow public verifiability, including zero-knowledge proofs (ZKPs), trusted execution environments (TEEs), and secure multi-party computations (SMPCs).
Zero-Knowledge Proof (ZKP) Provers
W3bstream will gradually support the leading zkVM/zkWASM projects (e.g., Risc0, Succinct SP1, Nexus, etc.) as well as popular DSLs (e.g., Circom, Halo2, ZoKrates, Noir, Cairo, etc.) for building customized zk circuits.
Halo2: The Halo2 ZK prover executes Halo2 circuits.
Risc Zero: The Risc Zero prover executes code in a Risc Zero zkVM.
zkWASM: The zkWASM prover executes WASM modules in a zkWASM VM.
Trusted Execution Environment (TEE) Provers
The TEE prover facilitates DePIN developers to utilize state-of-the-art confidential computing technology for performing privacy-preserving off-chain computing. W3bstream will gradually support the development flow of the leading TEE-based hardware platforms such as Intel SGX, Intel TDX, AMD SEV, AMD SEV-SNP, AWS Nitro, Arm CCA, etc.
Secure Multi-Party Computation (SMPC) Prover
An SMPC prover can be realized by following the general development flow of a specific SMPC protocol (e.g., SPDZ). However, efficiently achieving public verifiability is still an ongoing research direction. The SMPC prover allows DePIN developers to employ several nodes in the network to conduct collaborative privacy-preserving off-chain computing in a distributed manner.
Bring Your Own Prover (BYOP)
The BYOP type of prover offers great flexibility for DePIN developers deploying optimized provers that are tailored to specific DePIN projects or exploring new efficient verifiable computation techniques in the context of DePIN.
Integrating your proving technology in W3bstream
DePIN projects or infrastructure builders who are interested in integrating their custom prover must submit a PR with an independent gRPC service that implements two interfaces: CreateRequest
and ExecuteRequest
.
For detailed guidance on integrating your own proving technology into W3bstream, additional information will be available soon.
Last updated