From 4c39aff97d3b0a02ef14bbe13ee80f58be80c63f Mon Sep 17 00:00:00 2001 From: gaoying Date: Mon, 18 Nov 2024 17:43:12 +0800 Subject: [PATCH 1/2] feat: task1 --- learn/vickygaogao/task1/README.md | 23 +++++++++++++++++++++++ learn/vickygaogao/task1/answer.txt | 0 2 files changed, 23 insertions(+) create mode 100644 learn/vickygaogao/task1/README.md delete mode 100644 learn/vickygaogao/task1/answer.txt diff --git a/learn/vickygaogao/task1/README.md b/learn/vickygaogao/task1/README.md new file mode 100644 index 000000000..f9a0ab455 --- /dev/null +++ b/learn/vickygaogao/task1/README.md @@ -0,0 +1,23 @@ +1. 概述Mina所采用的证明系统(包括名称、特点) + kimch + Mina 采用 kimch, 一种基于 zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) | 零知识简洁非交互式知识论证 的实现。 + + 在不透露隐私的情况下,采用非交互的方式高效的证明某个证明者的确拥有某个知识、或者证明证明者确实符合某个门槛某个条件。 + + 它的特点:递归证明、零知识特性、高效验证、安全性 + + +1. 概述 递归零知识证明在 Mina 共识过程中的应用 + + 通过递归证明,可以将区块链状态压缩为固定大小(~11kb)的证明。新区块可以验证之前区块的证明,形成递归证明链。 + + 保护交易隐私。 + 验证成本低,适合轻客户端运行。 + + 步骤如下: + a. 将问题转换成描述。 + b. 编译生成 ProverKey 和 VerificationKey。 + c. 证明者使用 Provy 函数(结合 ProverKey)生成证明 (proof)。 + d. 验证者使用 Verify 函数(结合 VerificationKey)验证 proof 的真假。 + + diff --git a/learn/vickygaogao/task1/answer.txt b/learn/vickygaogao/task1/answer.txt deleted file mode 100644 index e69de29bb..000000000 From c436f8c205d40e85d1c878866d845c36f3c29e86 Mon Sep 17 00:00:00 2001 From: gaoying Date: Mon, 18 Nov 2024 18:01:58 +0800 Subject: [PATCH 2/2] =?UTF-8?q?fix:=20=E5=AE=8C=E5=96=84=20task1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- learn/vickygaogao/task1/README.md | 29 +++++++++++++++-------------- 1 file changed, 15 insertions(+), 14 deletions(-) diff --git a/learn/vickygaogao/task1/README.md b/learn/vickygaogao/task1/README.md index f9a0ab455..846752e70 100644 --- a/learn/vickygaogao/task1/README.md +++ b/learn/vickygaogao/task1/README.md @@ -1,23 +1,24 @@ -1. 概述Mina所采用的证明系统(包括名称、特点) - kimch - Mina 采用 kimch, 一种基于 zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) | 零知识简洁非交互式知识论证 的实现。 + # 概述Mina所采用的证明系统(包括名称、特点) + kimch - 在不透露隐私的情况下,采用非交互的方式高效的证明某个证明者的确拥有某个知识、或者证明证明者确实符合某个门槛某个条件。 + Mina 采用 kimch, 一种基于 zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) | 零知识简洁非交互式知识论证 的实现。 - 它的特点:递归证明、零知识特性、高效验证、安全性 + 在不透露隐私的情况下,采用非交互的方式高效的证明某个证明者的确拥有某个知识、或者证明证明者确实符合某个门槛某个条件。 + + 它的特点:递归证明、零知识特性、高效验证、安全性 -1. 概述 递归零知识证明在 Mina 共识过程中的应用 + # 概述 递归零知识证明在 Mina 共识过程中的应用 - 通过递归证明,可以将区块链状态压缩为固定大小(~11kb)的证明。新区块可以验证之前区块的证明,形成递归证明链。 + 通过递归证明,可以将区块链状态压缩为固定大小(~11kb)的证明。新区块可以验证之前区块的证明,形成递归证明链。 - 保护交易隐私。 - 验证成本低,适合轻客户端运行。 + 保护交易隐私。 + 验证成本低,适合轻客户端运行。 - 步骤如下: - a. 将问题转换成描述。 - b. 编译生成 ProverKey 和 VerificationKey。 - c. 证明者使用 Provy 函数(结合 ProverKey)生成证明 (proof)。 - d. 验证者使用 Verify 函数(结合 VerificationKey)验证 proof 的真假。 + 步骤如下: + a. 将问题转换成描述。 + b. 编译生成 ProverKey 和 VerificationKey。 + c. 证明者使用 Provy 函数(结合 ProverKey)生成证明 (proof)。 + d. 验证者使用 Verify 函数(结合 VerificationKey)验证 proof 的真假。