Skip to content

Commit

Permalink
Merge pull request #28 from o1-labs/brett-motivation
Browse files Browse the repository at this point in the history
'motivation' first draft
  • Loading branch information
bkase authored Feb 28, 2023
2 parents a12b686 + ef7a27d commit 17ded3e
Showing 1 changed file with 11 additions and 0 deletions.
11 changes: 11 additions & 0 deletions MIPS/mip-zkapps.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,17 @@ 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

Expand Down

0 comments on commit 17ded3e

Please sign in to comment.