1 介绍 1.1 zkVM 简要介绍 zkVM，或零知识虚拟机（Zero-Knowledge Virtual Machine），是一种专门的虚拟机，旨在以一种方式执行程序，该方式使用零知识证明（ZKPs）生成可验证的计算证明。它通常在...
我一直在尝试启动这个系列的想法已经有一段时间了。 这个故事始于几个月前，当时我在一次会议上与一位同事交谈。在某个时候，我们开始讨论零知识证明（ZK 证明），特别是从哪里学习它们。 提到了一些不错的材料：例如，Rareskills 的零知...
如果能自信地通过手机投票会怎样？想象一下没有队伍，没有投票站。你的投票完全安全，你的选择绝对保密。没有计票员，因为即使是政府也不允许看到你投了谁。然而，任何地方的任何人都可以独立验证选举结果的合法性，精确到最后一张选票。 对投票系统和...
隐私属于每个人 隐私是选择你分享什么、何时分享以及与谁分享的自由。在日常生活中，我们都认为这是理所当然的：关上房间的门，投一张秘密选票，或者与朋友私下交谈。但是在线上和链上，这些保护措施通常是缺失的。 以太坊的创建是为了成为数字信任...
Kohaku-Roadmap Kohaku 路线图 Kohaku 是一组为钱包提供安全和隐私的原语。Kohaku 的核心目标是： 一个可以暴露强大的隐私/安全原语的 SDK 一个面向高级用户的参考实现钱包，它建立在该 SDK...
翻译自：https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4563364 区块链&Web3技术交流：https://t.me/+PGwDonY3f2o3NDg1 &l...
使用 Circom 编程会遇到相当多的挑战。在审查了大量的 Circom 代码库后，我们发现了一些经常出现的反模式。 在本系列中，我们将全面概述这些问题，以帮助你避免最常见的陷阱。 当然，这不会是所有可能错误的完整列表（Circom...
姚期智 当我读到更多关于姚期智的信息时，我不得不笑了…… “他要求他们使用 LaTeX 编写练习，这是一种专门为撰写论文而设计的软件包。” 我之所以笑，是因为我自己的学生目前也在用 LaTeX 撰写他们的密码学课程作业。...
在 4 月 20 日星期日，以太坊联合创始人 Vitalik Buterin 提议 用性能更高的、使用 RISC-V 指令集的执行环境来替代以太坊虚拟机（EVM）。 在这篇文章中，我将解释该提案对以太坊开发路线图和价值主张的影响。 附：...
用例 基于哈希的签名的聚合 乐观要求：50万个哈希/秒[1] STARKed 二叉哈希树 最坏情况要求：10万个哈希/秒[2] 要求 后量子友好 可证明的可靠性...
区块链技术网
