Notes

icon picker
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函数求解


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.