Grant Application: Zk-CosmWasm: A Programmable Selective Disclosure WebAssembly Smart Contract Virtual Machine

Community Grants Applications
16

@ZCG zm!

Responding To Meeting Notes

thank you for allowing some time here to provide more clarity on e2e applications, I am a bit embarrassed that this response is just now incoming from last week, but none the less still eager to share some clarity and details

E2E application

The private markets for renting compute/inference hardware is one concrete example that can demonstrate an e2e application.This is not an E2E demo that exists now, but the following do exist, and are exercised and reproducible on 100% locally spawned e2e testing workflows:

private db attestation

This e2e demo exercises the vote-extensions, wasmvm proof verification in the scenario where state transitions within a local db (such as a local business loyalty rewards program, or a pubic blockchain), such that on-chain actions (mint/claim of tokens for our) be gated by zk-inclusion proofs:

private ODIC verification

This example shows the usage of the vm is not limited to just halo2 proof verification through the usage of registering a smart account authenticator that verifies proofs of JWT being eligible to authorize actions through the account.

Social Recovery Primitive Demonstrations

These e2e demonstrates a simple usage of smart accounts to curate recoverable designs in scenarios of losing access to an account. this is done by registering a digest in the authenticator when initially adding it to the account, and then revealing the message hashed to trigger the registration of a new account and digest.

Tokenfactory Module Circuit Breaker

One of the first e2e demos made, this primitive demonstrates the use of smart contracts to automate the management of native token supplies based on results of proof verification.

Community-Led Audit/Bounty & Design Space Hackathon

I must say I am also a bit embarrassed not able to share live front end user demos or videos in respect to providing a visual, interactive demonstration. This grant will provide our team the support to be able to focus completely on this, ensuring that a stable secure usage of the stack is possible.

2 Likes