- 博客(10)
- 收藏
- 关注
原创 ZKNARK零知识证明方案的构造
ZK-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) 是一种非交互式的零知识证明,它具有证明简洁和验证快速的特点,但是它需要一个被称为“信任设置”(trusted setup)的过程。
2024-01-26 16:11:28
969
1
原创 什么是零知识证明
零知识证明(Zero-Knowledge Proof,ZKP)是密码学中的一个重要概念,它允许一方(证明者)向另一方(验证者)证明他们知道某个特定的信息,而不需要透露任何关于这个信息的具体内容。它有完全知识提取的属性,即从一个可交互的证明者那里可以提取出私钥 x。模拟器是在证明零知识性时用到的一个理论构造,它可以在不知道证明者的秘密知识的情况下,模拟出看上去和真实的交互证明一样的对话。验证者是零知识证明过程中的另一个角色,他们会接收并检查证明者提供的证明,以确定证明者是否真的知道某个特定的信息。
2024-01-26 16:03:59
621
1
原创 对中西方的同时代人物进行一个简单的对比
亚伯拉罕和黄帝都是传说中的人物,他们是西方和中国的人文始祖,亚伯拉罕建立了一神教,将信众从多神教中区分了出来,他们很多会称呼自己为上帝的选民。强大的家族,统治了欧洲和中国很长时间。苏格拉底是西方的哲学之父,通过反解诘法来让对方对已有的理念产生质疑和思考,号称思想的助产士。是古代的贤君,周文王结束了商朝的人祭,是中国的第一次人文启蒙,国家开始依靠礼仪来治理。黄帝是中国的道家和儒家等诸子百家都会追溯的思想来源,是一个塑造了中国文化的部落首领。建立了罗马帝国,汉武帝塑造了汉帝国,是两个帝国最重要的人物。
2023-10-03 00:48:48
498
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人