Delphinus lab provides solutions for trustless computation and application SDK based on ZKWasm virtual machine.

ZK-WASM: A web assembly virtual machine that emulates the web assembly and generates a ZKSNARK proof for the emulation so that the execution result can be synchronized to layer1 blockchains (https://github.com/DelphinusLab/zkWasm).

ZK-Relayer: Compile attestation protocol into WASM and run it in ZK-WASM to create a trustless message communication relayer.

ZK-WASM-SDK: A develop kit that leverages the power of ZK-WASM virtual machine which supports generic programming primitives: File, Database, ML, etc.