From aafb5e60abc6e7aa64c2f35b4af6bdc20370fa2f Mon Sep 17 00:00:00 2001 From: Brett Carter Date: Mon, 27 Feb 2023 16:05:48 -0600 Subject: [PATCH 1/2] 'motivation' first draft --- MIPS/mip-zkapps.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/MIPS/mip-zkapps.md b/MIPS/mip-zkapps.md index 58f096f..4c54828 100644 --- a/MIPS/mip-zkapps.md +++ b/MIPS/mip-zkapps.md @@ -16,6 +16,12 @@ This MIP proposes adding programmable smart contracts, called zkApps, to the Min ## Motivation +The zkApps protocol aims to add a smart contract layer to Mina which extends the potential of zero knowledge cryptography by enabling the following characteristics while preserving the succinctness of Mina:
+ **General programmability** - able to execute and settle arbitrary programs, not constrained to a particular VM model, but instead flexibly designed to support any number of execution models, VM-like or otherwise
+ **Programmable privacy** - the privacy of both inputs to smart contracts and their state can be programmed by their developers
+ **Constant in verification time** - individual transactions are executed, or more accurately “proven” asynchronously off-chain and verified on chain in constant time, independent of computational complexity
+
+This MIP represents the first iteration of such a protocol. ## Specification From ef7a27deda4475ddb5fc2f825dd07d48fd6d5285 Mon Sep 17 00:00:00 2001 From: Brandon Kase Date: Tue, 28 Feb 2023 22:45:43 +0800 Subject: [PATCH 2/2] Prefer newlines to
s --- MIPS/mip-zkapps.md | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/MIPS/mip-zkapps.md b/MIPS/mip-zkapps.md index 4c54828..3a12e67 100644 --- a/MIPS/mip-zkapps.md +++ b/MIPS/mip-zkapps.md @@ -16,11 +16,16 @@ This MIP proposes adding programmable smart contracts, called zkApps, to the Min ## Motivation -The zkApps protocol aims to add a smart contract layer to Mina which extends the potential of zero knowledge cryptography by enabling the following characteristics while preserving the succinctness of Mina:
- **General programmability** - able to execute and settle arbitrary programs, not constrained to a particular VM model, but instead flexibly designed to support any number of execution models, VM-like or otherwise
- **Programmable privacy** - the privacy of both inputs to smart contracts and their state can be programmed by their developers
- **Constant in verification time** - individual transactions are executed, or more accurately “proven” asynchronously off-chain and verified on chain in constant time, independent of computational complexity
-
+The zkApps protocol aims to add a smart contract layer to Mina which extends the potential of zero knowledge cryptography by enabling the following characteristics while preserving the succinctness of Mina: + + + **General programmability** - able to execute and settle arbitrary programs, not constrained to a particular VM model, but instead flexibly designed to support any number of execution models, VM-like or otherwise + + **Programmable privacy** - the privacy of both inputs to smart contracts and their state can be programmed by their developers + + **Constant in verification time** - individual transactions are executed, or more accurately “proven” asynchronously off-chain and verified on chain in constant time, independent of computational complexity + + This MIP represents the first iteration of such a protocol. ## Specification