You are a SaaS developer. You have a cloud service, that stores personal data of your users, and you have just heard about GDPR and all the liabilities it brings. What if there was a way to not store the data in the first place, but still use it in your service?
You are a blockchain project. You have a slow and expensive, computation-heavy smart contract, but Solidity doesn't support the features you need. What if there was a way to scale the execution and use e.g. Rust, but still settle all state transitions on the blockchain?
ZEWA is a verifiably safe, scalable and developer-friendly toolkit to off-load arbitrary computations from blockchains and clouds to practically all environments - simply by running WASM programs that generate unforgeable zero-knowledge proofs of a successful execution.
ZEWA is safe. Offloaded WASM programs are executed in a local sandbox, so you can safely execute an arbitrary program. ZEWA produces a cryptographic zero-knowledge proof as a side product, and with it your counterparty can safely verify the results. With ZEWA's zk-proofs, you can build distributed systems where you can compute over private data which is never shared.
ZEWA is scalable. Executing WASM is designed to be fast and efficient, with low latency. With a state-of-the-art prover and recursive zk-proofs, ZEWA can pack large amounts of computational proofs into a single proof, which is fast to verify and allows provers to scale out.
ZEWA is developer-friendly. WebAssembly is a compilation target for most mainstream programming languages, so there's a ton of tooling available and no need to learn a new language to support verifiable computing. With ZEWA, if you want to bridge the traditional clouds and blockchains, you can extend your existing system instead of rewriting it to a new environment.
ZEWA is open source. Everything will be open sourced with a permissive license.
