...## Awesome-ZKP-Security 帝国理工博士 Stefanos Chaliasos 整理的零知识证明安全性研究的博客，播客，披露，审计，访谈，CTF，和谜题，论文，工具列表。 A curated list of awesome ZKP Security resources, papers, tutorials, and tools. - ### An Introducti...
...—哪怕只是有上传、下载而不能修改的权力（比如某些零知识证明的链下撮合），也是中心化的，因为你可以拒绝履约。 用第一原理去要求当前的去中心化世界，似乎有点过于“残酷”（除了公链本身，其他项目都不满足）...
...可验证数据解决方案的可能性。 ## 4\. zkTLS **zkTLS**（零知识传输层安全）是一个多方协议（通常涉及三个方），建立了 Web2 私有数据与 Web3 生态系统之间的门户。zkTLS 是一个混合协议，将 **ZKP（零知识证明）** 与 **TLS 加密系统*...
...) 过去一年，我们一直在探索一个大问题：AI 真的能在零知识电路和应用中发现好的 bug 吗？如果可以，这对我们审计员意味着什么？我们的工作是否安全，还是我们正处于更快、更便宜、由 AI 驱动的审计的边缘？在 [戛纳 EthCC]...
...于通过设计水平可扩展的模块化智能合约系统，并使用零知识证明（zk-proofs）来放宽未来的依赖集约束，从而实现更广泛的可扩展性。我们的目标是用丰富的区块空间来应对当前区块空间的稀缺，为应用程序开发者提供大量机会...
...ch/t/zkopru-zk-optimistic-rollup-for-private-transactions/7717)：使用零知识证明的 optimistic rollup 方案，每秒可处理 100 笔隐蔽交易。已上线测试网，支持 ETH、ERC20 和 ERC721 代币 * [反对在 Rollup 中使用 PoS 来选举领袖](https://ethresear.ch/t/against-pro...
...送给Dan - Eve将2 ETH发送给Fabian 顺序器生成有效的零知识证明，证明这些交易的正确性，并在以太坊上发布。然而，顺序器没有在链上或链外公开实际的交易细节。在没有底层数据的情况下，用户无法验证其余额或已执行的...
...以在选择显示其已签名身份的部分时，创建关于签名的零知识证明。 这样，Alice可以控制她透露自己身份的哪个部分。 例如，如果她只需要透露他的电话号码才能申请信用卡，她可以有选择地只透露那部分，但其余部分被屏蔽...
...95)。虽然这种方法不太可能影响到当前的路线。更多背景知识，可听 [Justin Drake 和 Vitalik Buterin 讨论零知识证明的播客](https://www.zeroknowledge.fm/120) ## 开发者材料 * Solidity [v0.6.4](https://github.com/ethereum/solidity/releases/tag/v0.6.4), [中...
...一个尊贵的工具链列表，该列表构建了可扩展的和/或零知识 (ZK) 证明的一般计算。所有以前在测试网或主网部署的系统都可以被分类为“写电路的库”³。这些也可以被视为为特定计算创建“ASIC”的工具链的等效物。Cairo 是一...
...复杂化了监管环境。 另一个重大挑战是拥有区块链专业知识的 **网络安全人才短缺**（[‘Top blockchain attacks, hacks and security issues explained \| TechTarget’](https://www.techtarget.com/searchsecurity/tip/Top-blockchain-security-attacks-hacks-and-issues)）。...
...块链交易签名、TLS签名、可信执行环境（TEE）证明以及零知识证明等各种工具为预言机服务提供加密证明。 * **计算** ——对数据进行运算，比如基于多个预言机提交的数据计算出中位数，或基于不同类型的数据（如：个人风险...
...ce Generation）**、**约束检查（Constraints Evaluation）** 和 **零知识证明电路生成（ZK Circuit Evaluation）** 三个部分。整个过程的核心目标是 **确保内存访问操作是按时间和地址顺序进行的，并且读取的值与之前写入的值一致。** 具体...