MinaWalletMina Token Distribution and Supply
This post intends to help the Mina community understand how the MINA token will be distributed at the launch of Mina’s mainnet and throughout its lifecycle. Last Updated November 4, 2021 Mina is the world’s lightest blockchain. It is a public and decentralized blockchain that is open for anyone in the world to participate in actively or passively. Individuals or companies can help increase the security of the network by becoming nodes or block producers, or they can help lower the cost of tra...
MinaWalletGenerating a Keypair
In order to create a keypair for Mainnet or to fully participate in a Mina test network, the first step is to generate a Keypair, which consists of a Public Key and a Private Key. Currently there are two supported tools for generating keypairs mina-generate-keypair and ledger-app-mina. We also have a tool for validating that your private key is created properly. Note that you may want to generate more than one keypair. For example, if you'd like to run a block producer most securely, you...
MinaWalletMina-Ethereum State Proof Verification Applications.
IntroductionThis is the second post within the series of Mina-Ethereum bridge-dedicated blog posts of ours. The first one is in here. This time a description of how a Mina-Ethereum bridging application based on the in-EVM state proof verification of ours would work.Didn’t you post such a description already?Not really. What we do is not the bridge itself, but a core mechanism, a crucial component to achieving such a bridging. Mina state verification on Ethereum. This will not bring the bridge...
介绍
早在 2021 年 4 月，Mina 基金会与以太坊基金会一起宣布招募设计和实现在以太坊上通过 Pickles SNARK 进行验证机制的提案。最后，经过严格的筛选，=nil; Foundation 的 =nil; Crypto3 团队的提案获得了官方的资助。
本文为此系列博文的第一篇文章，涵盖桥接实现的一些内容。
所以呢？
由于整个 Mina 协议状态（存档节点除外）可以打包在单个 Pickles SNARK 证明中（仅有 22kb 大小），这意味着可以将整个 Mina 协议状态放到以太坊上。此外，这也意味着整个 Mina 协议状态能以合理的 gas 成本在 EVM 中验证。
在 EVM 中完整地验证 Mina 协议状态意味着有可能将 Mina 主网内部发生的一切都同步到以太坊上，包括金融应用、可证明的计算等等。
具体如何实现？
不幸的是，在 EVM 上直接搭建 Pickles SNARK 的验证成本太高。但！设计一个可以对 Pickles SNARK 执行某些预处理的系统看上去是可行的（例如，通过计算一个可以验证 Pickles SNARK 的 STARK，这可能是能够高效率地实现在 EVM 上的有效验证）。
Mina 中使用的 Pickles SNARK 验证器有几个组件：
计算验证证明数据的多组哈希值。这涉及使用波塞冬散列函数在 和 上进行 63 轮完整轮次计算，轮次常数和为 Fp 和 Fq 指定的 MDS 矩阵。这一步的成本相当低，并且很可能在 EVM 上以合理的 gas 成本完成计算。
检查几个算术方程。同样，这一步成本相当低，可以直接在 EVM 上实现。
执行一次 的多标量乘法 (MSM)，其中一些基数是固定值，一些基数是变量。该步骤可能会以合理的效率直接在 EVM 上计算，但它可能比步骤 1 和 2 成本更高。
对于每个 i，执行一次 的 多标量乘法，使用固定的基数组，以及可以从证明中非常有效地计算出的标量。
事实证明，第 4 步不可能直接在 EVM 上进行有效计算，除非将计算拆分为多个块。
这正是我们所采取的方法。
介绍
早在 2021 年 4 月，Mina 基金会与以太坊基金会一起宣布招募设计和实现在以太坊上通过 Pickles SNARK 进行验证机制的提案。最后，经过严格的筛选，=nil; Foundation 的 =nil; Crypto3 团队的提案获得了官方的资助。
本文为此系列博文的第一篇文章，涵盖桥接实现的一些内容。
所以呢？
由于整个 Mina 协议状态（存档节点除外）可以打包在单个 Pickles SNARK 证明中（仅有 22kb 大小），这意味着可以将整个 Mina 协议状态放到以太坊上。此外，这也意味着整个 Mina 协议状态能以合理的 gas 成本在 EVM 中验证。
在 EVM 中完整地验证 Mina 协议状态意味着有可能将 Mina 主网内部发生的一切都同步到以太坊上，包括金融应用、可证明的计算等等。
具体如何实现？
不幸的是，在 EVM 上直接搭建 Pickles SNARK 的验证成本太高。但！设计一个可以对 Pickles SNARK 执行某些预处理的系统看上去是可行的（例如，通过计算一个可以验证 Pickles SNARK 的 STARK，这可能是能够高效率地实现在 EVM 上的有效验证）。
Mina 中使用的 Pickles SNARK 验证器有几个组件：
计算验证证明数据的多组哈希值。这涉及使用波塞冬散列函数在 和 上进行 63 轮完整轮次计算，轮次常数和为 Fp 和 Fq 指定的 MDS 矩阵。这一步的成本相当低，并且很可能在 EVM 上以合理的 gas 成本完成计算。
检查几个算术方程。同样，这一步成本相当低，可以直接在 EVM 上实现。
执行一次 的多标量乘法 (MSM)，其中一些基数是固定值，一些基数是变量。该步骤可能会以合理的效率直接在 EVM 上计算，但它可能比步骤 1 和 2 成本更高。
对于每个 i，执行一次 的 多标量乘法，使用固定的基数组，以及可以从证明中非常有效地计算出的标量。
事实证明，第 4 步不可能直接在 EVM 上进行有效计算，除非将计算拆分为多个块。
这正是我们所采取的方法。
MinaWalletMina Token Distribution and Supply
This post intends to help the Mina community understand how the MINA token will be distributed at the launch of Mina’s mainnet and throughout its lifecycle. Last Updated November 4, 2021 Mina is the world’s lightest blockchain. It is a public and decentralized blockchain that is open for anyone in the world to participate in actively or passively. Individuals or companies can help increase the security of the network by becoming nodes or block producers, or they can help lower the cost of tra...
MinaWalletGenerating a Keypair
In order to create a keypair for Mainnet or to fully participate in a Mina test network, the first step is to generate a Keypair, which consists of a Public Key and a Private Key. Currently there are two supported tools for generating keypairs mina-generate-keypair and ledger-app-mina. We also have a tool for validating that your private key is created properly. Note that you may want to generate more than one keypair. For example, if you'd like to run a block producer most securely, you...
MinaWalletMina-Ethereum State Proof Verification Applications.
IntroductionThis is the second post within the series of Mina-Ethereum bridge-dedicated blog posts of ours. The first one is in here. This time a description of how a Mina-Ethereum bridging application based on the in-EVM state proof verification of ours would work.Didn’t you post such a description already?Not really. What we do is not the bridge itself, but a core mechanism, a crucial component to achieving such a bridging. Mina state verification on Ethereum. This will not bring the bridge...
Share Dialog
Share Dialog
Subscribe to MinaWallet
Subscribe to MinaWallet
<100 subscribers
<100 subscribers
No activity yet