Mina

最大只有22kb的Chain

Uses zk technology as the underlying layer for everything, even block definition

Mina的block只有

一个zk proof of new transaction。验证此zk proof等于验证up until a few block recent的交易

SNARK for transaction in previous block

Recursive zk-SNARK function（用于验证snapshot of state）

Validation Key；用于验证一整个区块的sequence（input for the recursive function)

因为验证函数是recursive zkSNARK，Mina只用保留最近的optimal protocol state便可以去听新的state。过往的state可以通过recursive函数求解

⁠

https://minaprotocol.com/⁠

⁠

Want to print your doc?
This is not the way.

Try clicking the ⋯ next to your doc name or using a keyboard shortcut (

CtrlP

) instead.