THIS COMPETITION IS NOW CLOSED. WINNERS WILL BE CONTACTED BY 2ND DECEMBER 2021. We were at the TOKEN2049 event last week and managed to come away with some AWESOME Mina goodies and we want to give them away! There are 3 prizes up for grabs, 3rd prize is a pair of Mina socks (my personal favourite) and some cool Mina stickers. 2nd Prize is a limited edition Mina T-shirt, plus some cool Mina Stickers. 1st Prize is a SIGNED cap (courtesy of Evan Shapiro), a Mina T-shirt and some stickers too (se...

THIS COMPETITION IS NOW CLOSED. WINNERS WILL BE CONTACTED BY 2ND DECEMBER 2021. We were at the TOKEN2049 event last week and managed to come away with some AWESOME Mina goodies and we want to give them away! There are 3 prizes up for grabs, 3rd prize is a pair of Mina socks (my personal favourite) and some cool Mina stickers. 2nd Prize is a limited edition Mina T-shirt, plus some cool Mina Stickers. 1st Prize is a SIGNED cap (courtesy of Evan Shapiro), a Mina T-shirt and some stickers too (se...

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...

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...

Mina Client Javascript SDK 允许生成密钥对、签名和验证消息，以及可以将签名交易在网络上进行广播。 该项目包含 Typescript 和 ReasonML 的类型，但也可以从普通的 NodeJS 中使用。有以下几种方法： genKeys - 生成公钥/私钥对。 derivePublicKey - 导出对应私钥的公钥。 signMessage - 对任意消息进行签名。 verifyMessage - 验证签名是否与消息匹配。 signPayment - 使用私钥对支付进行签名。 signstakes delegation - 使用私钥对权益委托进行签名 请注意 客户端 SDK 允许在从不向网络公开私钥的设备上生成和进行交易签名。 安装 yarn add @o1labs/client-sdkor with npm:npm install --save @o1labs/client-sdk 使用 Typescript import * as MinaSDK from "@o1labs/client-sdk"; let keys = MinaSDK.genKeys...

Mina Client Javascript SDK 允许生成密钥对、签名和验证消息，以及可以将签名交易在网络上进行广播。 该项目包含 Typescript 和 ReasonML 的类型，但也可以从普通的 NodeJS 中使用。有以下几种方法： genKeys - 生成公钥/私钥对。 derivePublicKey - 导出对应私钥的公钥。 signMessage - 对任意消息进行签名。 verifyMessage - 验证签名是否与消息匹配。 signPayment - 使用私钥对支付进行签名。 signstakes delegation - 使用私钥对权益委托进行签名 请注意 客户端 SDK 允许在从不向网络公开私钥的设备上生成和进行交易签名。 安装 yarn add @o1labs/client-sdkor with npm:npm install --save @o1labs/client-sdk 使用 Typescript import * as MinaSDK from "@o1labs/client-sdk"; let keys = MinaSDK.genKeys...

加密货币的可延展性和隐私性是所有区块链生态中最紧迫的问题之一，无论是比特币、以太坊还是 DeFi 代币。在本文中，我们将讨论 Snapp 如何解决行业最大的挑战。 什么是 Snapp？ Snapp 是一种新型的去中心化应用程序（dapp），它使用密码学来进行去信任的区块链交易。通过 zk-SNARK 或零知识证明（Succinct Non-interactive Arguments of Knowledge），Snapp 可以在无需公开所有信息的前提下证明知识。只需分享不超过绝对必要的最基本信息，即可完成交易。用户可以完全控制需要进行共享的数据，以及共享的条款或条件。 区块链可延展性需要隐私 在当今数字世界，我们越来越关注隐私因素。很多时候，用户暴露的信息多于交易最基本所需的信息，而我们无法保证这些个人信息会受到保护。事实上，自 2016 年以来，仅在美国，每年发生的数据泄露事件总数就超过 1,000 起 (Statista)。Snapp 让用户对其信用评分和其他敏感信息进行保密，仅需证明它们符合必要的标准，而不需实际共享基础信息。 试想一下：当你申请在线贷款时，你与银行分享了多...

加密货币的可延展性和隐私性是所有区块链生态中最紧迫的问题之一，无论是比特币、以太坊还是 DeFi 代币。在本文中，我们将讨论 Snapp 如何解决行业最大的挑战。 什么是 Snapp？ Snapp 是一种新型的去中心化应用程序（dapp），它使用密码学来进行去信任的区块链交易。通过 zk-SNARK 或零知识证明（Succinct Non-interactive Arguments of Knowledge），Snapp 可以在无需公开所有信息的前提下证明知识。只需分享不超过绝对必要的最基本信息，即可完成交易。用户可以完全控制需要进行共享的数据，以及共享的条款或条件。 区块链可延展性需要隐私 在当今数字世界，我们越来越关注隐私因素。很多时候，用户暴露的信息多于交易最基本所需的信息，而我们无法保证这些个人信息会受到保护。事实上，自 2016 年以来，仅在美国，每年发生的数据泄露事件总数就超过 1,000 起 (Statista)。Snapp 让用户对其信用评分和其他敏感信息进行保密，仅需证明它们符合必要的标准，而不需实际共享基础信息。 试想一下：当你申请在线贷款时，你与银行分享了多...

ACCOUNT 账户Mina 使用帐户模型（公钥）来跟踪账本状态。这与比特币维护账本状态的 UTXO 模型不同。 ARCHIVE NODE 归档节点 默认情况下，Mina 节点是轻量级的，它们不需要维护关于网络、区块或交易的历史信息。归档节点将历史链数据存储到持久数据源，以便日后检索。 BEST TIP 最佳 TIP 最佳 TIP 是具有守护者已知的最高链强度（见下文）的区块链最新区块。 BLOCK 区块 区块中包含了交易集合和网络状态的共识信息。该信息包含一个证明，证明当前网络状态是合法的。 BLOCKCHAIN 区块链 区块链是密码货币中使用的数据结构，用于维护网络中所有账户的一致性状态。 BLOCK CONFIRMATIONS 区块确认 引用区块的后继区块的数量会持续增加，新的区块对于祖先区块的引用意味着对该区块对确认。随着确认的数量增加，重组（见下文）的可能性降低，从而增加了在引用区块中所有交易被确认的可能性。 BLOCK FILL RATE 区块填充率 区块填充率指生成区块的 slot（见下文） 的占总 slot 的比例。有些 slot 故意为空以确保在消息延迟的情况下...

ACCOUNT 账户Mina 使用帐户模型（公钥）来跟踪账本状态。这与比特币维护账本状态的 UTXO 模型不同。 ARCHIVE NODE 归档节点 默认情况下，Mina 节点是轻量级的，它们不需要维护关于网络、区块或交易的历史信息。归档节点将历史链数据存储到持久数据源，以便日后检索。 BEST TIP 最佳 TIP 最佳 TIP 是具有守护者已知的最高链强度（见下文）的区块链最新区块。 BLOCK 区块 区块中包含了交易集合和网络状态的共识信息。该信息包含一个证明，证明当前网络状态是合法的。 BLOCKCHAIN 区块链 区块链是密码货币中使用的数据结构，用于维护网络中所有账户的一致性状态。 BLOCK CONFIRMATIONS 区块确认 引用区块的后继区块的数量会持续增加，新的区块对于祖先区块的引用意味着对该区块对确认。随着确认的数量增加，重组（见下文）的可能性降低，从而增加了在引用区块中所有交易被确认的可能性。 BLOCK FILL RATE 区块填充率 区块填充率指生成区块的 slot（见下文） 的占总 slot 的比例。有些 slot 故意为空以确保在消息延迟的情况下...

介绍 早在 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，这可能是能够...

介绍 早在 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，这可能是能够...

种子对等节点是我们有用的盟友，让其他人更容易连接到网络。 大多数节点通过使用在种子节点上显式运行的种子对等节点连接到 Mina 网络。 运行种子节点 关于种子节点的两个重要事项： 它们的地址应该是静态的 它们需要高运行时间，并且能够支持许多连接 —— 因此，除了“播种”，它们应该尽量避免做更多的事情。 强制发布静态地址 首先，您需要一个用于运行节点的静态主机。最好是使用 DNS 并将种子节点托管在其中，例如： seed.o1test.net 。您也可以配置静态 ipv4 地址，如 82.230.217.200 。 其次，您需要选择节点运行的端口。默认情况下，它在 8302 上。 第三，您需要预先生成 libp2p 密钥对 —— 这是用来在 gossip 网络上识别您的身份的。这样做： mina advanced generate-libp2p-keypair 这将在您的机器上生成 libp2p 密钥对。使用 --discovery-keypair 参数运行您的守护进程： 最后，您会像这样发布您的 DNS 地址： /dns4/seed.o1test.net/tcp/8302/p2p...

种子对等节点是我们有用的盟友，让其他人更容易连接到网络。 大多数节点通过使用在种子节点上显式运行的种子对等节点连接到 Mina 网络。 运行种子节点 关于种子节点的两个重要事项： 它们的地址应该是静态的 它们需要高运行时间，并且能够支持许多连接 —— 因此，除了“播种”，它们应该尽量避免做更多的事情。 强制发布静态地址 首先，您需要一个用于运行节点的静态主机。最好是使用 DNS 并将种子节点托管在其中，例如： seed.o1test.net 。您也可以配置静态 ipv4 地址，如 82.230.217.200 。 其次，您需要选择节点运行的端口。默认情况下，它在 8302 上。 第三，您需要预先生成 libp2p 密钥对 —— 这是用来在 gossip 网络上识别您的身份的。这样做： mina advanced generate-libp2p-keypair 这将在您的机器上生成 libp2p 密钥对。使用 --discovery-keypair 参数运行您的守护进程： 最后，您会像这样发布您的 DNS 地址： /dns4/seed.o1test.net/tcp/8302/p2p...

共识是指网络决定哪些信息将被保留在区块链中的过程。在像区块链这样的系统中，用新信息扩展区块链的责任分布在整个网络的参与节点上。这些节点不能被假定为网络中的“诚实”节点，因此，网络中的“诚实”参与者必须合作，以将各个节点提出的信息进行选择性保留。有许多不同的方法可以实现分布式共识，我们将其称为共识机制。在我们的代码库中，我们建立了一个单一的接口，通过这个接口，共识机制通知协议的其余部分。通过这个接口，共识机制的各种实现可以在编译时交换出来，从而允许我们编写协议的其余部分而不依赖于所选择的共识机制。因此，我们可以将共识机制看作是某种东西，一旦定义，协议的其余部分就可以建立在它之上。 共识机制控制建立在协议之上的许多方面。为了便于讨论，我们将共识机制的规定分为两部分：数据（可用的数据结构和与之可用的交互）和钩子（构建在共识机制之上的协议调用的特定顶级钩子）。由共识机制提供的数据结构对于与之交互的外部系统来说是抽象的，而主要被共识机制的钩子所使用。**数据 ** 本地状态 Local_state 是与共识相关的状态，只存储在本机本地。它为共识提供了一个位置，以便在协议状态的最终点上跟踪本...

共识是指网络决定哪些信息将被保留在区块链中的过程。在像区块链这样的系统中，用新信息扩展区块链的责任分布在整个网络的参与节点上。这些节点不能被假定为网络中的“诚实”节点，因此，网络中的“诚实”参与者必须合作，以将各个节点提出的信息进行选择性保留。有许多不同的方法可以实现分布式共识，我们将其称为共识机制。在我们的代码库中，我们建立了一个单一的接口，通过这个接口，共识机制通知协议的其余部分。通过这个接口，共识机制的各种实现可以在编译时交换出来，从而允许我们编写协议的其余部分而不依赖于所选择的共识机制。因此，我们可以将共识机制看作是某种东西，一旦定义，协议的其余部分就可以建立在它之上。 共识机制控制建立在协议之上的许多方面。为了便于讨论，我们将共识机制的规定分为两部分：数据（可用的数据结构和与之可用的交互）和钩子（构建在共识机制之上的协议调用的特定顶级钩子）。由共识机制提供的数据结构对于与之交互的外部系统来说是抽象的，而主要被共识机制的钩子所使用。**数据 ** 本地状态 Local_state 是与共识相关的状态，只存储在本机本地。它为共识提供了一个位置，以便在协议状态的最终点上跟踪本...

** Snapp = 去中心化应用（Dapps）+ 隐私（隐私）+ 脱链数据（链下数据）+ 可扩展性（可扩展性）** 世界上最轻支持的一个区块链，Mina 是一个全新的应用类别，世界 Snapps3：Snark 化的应用。Snapps 在功能上与以太坊坊上的 Dapp 相似，但由于同一特定的属性，Snapp 更胜一筹：在不披露数据的情况下验证数据的通知。验证使用计算的正确执行。重要的可损害性的好处。这些类型的应用特别是新的，在它们，它们都存在于当今的区块链中：ZCash 伴随着属性 1 的 Snapp，Mina 伴随着属性 2 的 Snapp。 Snapp 也比以太坊上的 Dapp 高效执行。为了让这个坊以太计算机向其用户承诺 Dapp，网络上的节点和矿工必须运行相同的计算。这非常低效。对于 Mina 上 Snapp，Snapp 是由它开发的人员执行一次，之后所有其他节点都可以验证相关的SNARK证明。 人们可以对以太坊上的SNARK驱动的2个Dapp进行同样的演示层，但是这些Dapp仍然受到限制的破坏，而米娜上坊斯内普米娜米娜一点链的特性，具有可开发性的潜力。 一个Snapp上...

** Snapp = 去中心化应用（Dapps）+ 隐私（隐私）+ 脱链数据（链下数据）+ 可扩展性（可扩展性）** 世界上最轻支持的一个区块链，Mina 是一个全新的应用类别，世界 Snapps3：Snark 化的应用。Snapps 在功能上与以太坊坊上的 Dapp 相似，但由于同一特定的属性，Snapp 更胜一筹：在不披露数据的情况下验证数据的通知。验证使用计算的正确执行。重要的可损害性的好处。这些类型的应用特别是新的，在它们，它们都存在于当今的区块链中：ZCash 伴随着属性 1 的 Snapp，Mina 伴随着属性 2 的 Snapp。 Snapp 也比以太坊上的 Dapp 高效执行。为了让这个坊以太计算机向其用户承诺 Dapp，网络上的节点和矿工必须运行相同的计算。这非常低效。对于 Mina 上 Snapp，Snapp 是由它开发的人员执行一次，之后所有其他节点都可以验证相关的SNARK证明。 人们可以对以太坊上的SNARK驱动的2个Dapp进行同样的演示层，但是这些Dapp仍然受到限制的破坏，而米娜上坊斯内普米娜米娜一点链的特性，具有可开发性的潜力。 一个Snapp上...

Mina 是一个通用协议，能够通过驱动的去中心化 Snapp 为各种应用提供支持。的点子，是非常重要的。 有的时候，O(1) Labs 成员与 Mina 社区成员以及一些行业专家启动了 Snapp 工作室，以寻找各种创新应用的案例，并希望能创新发现他们的最爱。 可知由这个集体生成的案例分析，我们的工程师、产品经理列表、业务开发专家和密码专家团队将通过这些建议，找到我们首先关注哪些案例。Snapp快速回顾 **Snapp 是由 zk-SNARK 驱动的 dApp，**具有两个重要的增强功能：隐私：Snapp验证数据真实性，而不用披露数据。可扩展性：Snapp 验证计算是否正确执行，允许扩展和处理器型的计算到下。亮点：使无需许可的应用程序最终无法使用被许可和/或隐私数据。 特别是：Web 2.0 数据可通过公共 API、玛丽 API 程序通过 OAuth 和 HTTPS 网站获得数据。可能来自社交媒体、企业应用、智能手机、可穿戴设备、传统金融系统等众多其他来源。 值得一提的是：Mina Web3.0，可以通过链或开发数据获得（利用任何一种方式演示对地址的控制）。Mina 可以验证来自...

Mina 是一个通用协议，能够通过驱动的去中心化 Snapp 为各种应用提供支持。的点子，是非常重要的。 有的时候，O(1) Labs 成员与 Mina 社区成员以及一些行业专家启动了 Snapp 工作室，以寻找各种创新应用的案例，并希望能创新发现他们的最爱。 可知由这个集体生成的案例分析，我们的工程师、产品经理列表、业务开发专家和密码专家团队将通过这些建议，找到我们首先关注哪些案例。Snapp快速回顾 **Snapp 是由 zk-SNARK 驱动的 dApp，**具有两个重要的增强功能：隐私：Snapp验证数据真实性，而不用披露数据。可扩展性：Snapp 验证计算是否正确执行，允许扩展和处理器型的计算到下。亮点：使无需许可的应用程序最终无法使用被许可和/或隐私数据。 特别是：Web 2.0 数据可通过公共 API、玛丽 API 程序通过 OAuth 和 HTTPS 网站获得数据。可能来自社交媒体、企业应用、智能手机、可穿戴设备、传统金融系统等众多其他来源。 值得一提的是：Mina Web3.0，可以通过链或开发数据获得（利用任何一种方式演示对地址的控制）。Mina 可以验证来自...

** Mina 和 Polygon 将为 DeFi 经济带来增强的可扩展性、隐私性和可验证性。** 加利福尼亚州旧金山/ 2021年9月9日 Mina 基金会 (为全球最轻量区块链 Mina 协议提供服务的非盈利组织) ，与 Polygon (致力于构建并连接与以太坊兼容区块链网络的协议和框架) 合作，努力实现在 Polygon PoS 上对 Mina 的支持。 **该桥将使开发者能够在 Polygon 上通过基于 zk-SNARK 的 Mina 协议获得隐私和可验证性，以构建应用程序。 ** Polygon 的联合创始人 Sandeep Nailwal 分享道： “以太坊是支持 DeFi 经济蓬勃发展的基础区块链，它使任何人，包括没有银行账户的人，都能获得储蓄、贷款和保险等关键金融服务。 但由于手续费居高不下，导致许多用户无法使用以太坊，而 Polygon PoS 正是在这个时候发挥作用 此次与 Mina 的合作标志着 DeFi 发展中极其重要的一步，同时意味着在 Polygon PoS 链上的开发者将可以无缝整合由 Mina 协议提供的增强隐私性和可验证性。” Mina 基金...

** Mina 和 Polygon 将为 DeFi 经济带来增强的可扩展性、隐私性和可验证性。** 加利福尼亚州旧金山/ 2021年9月9日 Mina 基金会 (为全球最轻量区块链 Mina 协议提供服务的非盈利组织) ，与 Polygon (致力于构建并连接与以太坊兼容区块链网络的协议和框架) 合作，努力实现在 Polygon PoS 上对 Mina 的支持。 **该桥将使开发者能够在 Polygon 上通过基于 zk-SNARK 的 Mina 协议获得隐私和可验证性，以构建应用程序。 ** Polygon 的联合创始人 Sandeep Nailwal 分享道： “以太坊是支持 DeFi 经济蓬勃发展的基础区块链，它使任何人，包括没有银行账户的人，都能获得储蓄、贷款和保险等关键金融服务。 但由于手续费居高不下，导致许多用户无法使用以太坊，而 Polygon PoS 正是在这个时候发挥作用 此次与 Mina 的合作标志着 DeFi 发展中极其重要的一步，同时意味着在 Polygon PoS 链上的开发者将可以无缝整合由 Mina 协议提供的增强隐私性和可验证性。” Mina 基金...

“The entire Mina blockchain is about 22kb – the size of a couple of tweets.” To analyze the above statement, first, let us clarify what we mean by “blockchain” here:An unambiguous usable representation (ie. not merely hashes) of the parts of the state a typical user would care about — namely the current balance of their account.The data that a node needs in order to verify that this state is real in a trustless manner.The ability to broadcast transactions on the network to make a transfer.“Bl...

“The entire Mina blockchain is about 22kb – the size of a couple of tweets.” To analyze the above statement, first, let us clarify what we mean by “blockchain” here:An unambiguous usable representation (ie. not merely hashes) of the parts of the state a typical user would care about — namely the current balance of their account.The data that a node needs in order to verify that this state is real in a trustless manner.The ability to broadcast transactions on the network to make a transfer.“Bl...