零知识证明

夏冰加密软件

零知识证明技术：隐私保护的利器在当今信息时代，数据安全和隐私保护的重要性日益凸显。随着技术的发展，密码学在保障信息安全方面发挥着越来越重要的作用。其中，零知识证明技术作为一种新兴的密码学方法，为隐私保护提供了强有力的支持。本文将简要介绍零知识证明技术的原理、应用及未来发展。

零知识证明： Tornado Cash 项目学习最近在了解零知识证明方面的内容，这方面的内容确实不好入门也不好掌握，在了解了一些基础的概念以后，决定选择一个应用了零知识证明的项目来进行进一步的学习。最终选择了 Tornado Cash 这个项目，因为它著名且精致，适合入门的同学进行学习。

敲厉害的燕宝

软考易错题一.数据库的设计过程，按照规范的设计方法，一般分为以下六个阶段:①需求分析:分析用户的需求，包括数据、功能和性能需求;

从Grafana支持的认证方式分析比较IAM产品现状与未来展望本报告首先概述了评价IAM（Identity and Access Management）产品的主要因素，并基于Grafana支持的认证方式，引出对IAM产品的深入探讨。通过对Grafana认证机制的解析，结合市场上主流IAM产品的对比分析，我们进一步探索了IAM产品的现状与未来发展趋势。

FHE全同态加密简介FHE (Fully homomorphic encryption)：FHE历史演变路径为：FHE可用于：

Plonky2.5：在Plonky2中验证Plonky3 proofPlonky2.5为QED Protocol团队主导的项目，定位为：从而实现Plonky系列的递归证明。开源代码实现见：

ZKP价值链路的垂直整合从ZKP（zero-knowledge proof）生命周期，先看围绕ZKP的价值链路形成：以简单的bridge为例：

ZK vs FHE近期ZAMA获得7300万美金的投资，使得FHE获得更多关注。FHE仍处于萌芽阶段，是未来隐私游戏规则的改变者。FHE需与ZK和MPC一起结合，以发挥最大效用。如：

探析零知识证明高能发展路径：走向更安全、私密且可扩展的 Web3 新时代原文：https://www.coinbase.com/blog/understanding-the-zero-knowledge-landscape

什么是零知识证明？Web3 的核心原则之一——透明度，也可能是其最大的缺点之一。没有人希望他们的所有在线活动（从金融交易到个人身份数据）都可供任何人公开查看。为了使区块链能够扩展并变得更容易访问，隐私必须成为首要任务。

Binius：基于binary fields的SNARKs（Part 2）前序博客有：本文重点关注：之前的 Binius：基于binary fields的SNARKs（Part 1）博客中，已覆盖了对small fields的多项式承诺方案。为开发通用承诺方案，首先需引入：

技术探秘：在RISC Zero中验证FHE——RISC Zero应用的DevOps（2）前序博客：技术探秘：在RISC Zero中验证FHE——由隐藏到证明：FHE验证的ZK路径（1）中，深入研究了RISC Zero中Fully Homomorphic Encryption（FHE）的bootstrapping步骤。基于此，本文专注于性能优化。

Sui受邀参加Builder DAO举办的LeadUp The Night活动，畅谈Sui与Move语言LeadUp the Night是一个定期举办的MeetUp活动，由Builder DAO邀请区块链各方项目开发者、VC担任本活动的讲师。这个活动旨在促进区块链技术的发展和应用，让参与者有机会开发创新的区块链应用，探索区块链技术的潜力。

ZKP11.4 Use CI to instantiate Fiat-ShamirZK-Learning MOOC课程笔记Avoid Bad ChallengesImportant example: SNARGs via IOPs (PCPs)

Sui第七轮资助：八个项目共获得超过50万美元的资助今日，Sui基金会宣布了本月获得资助的项目方，他们将获得超过50万美元的资助金，用于构建项目，推动Sui的采用和发展。要获得资助，项目必须提交提案，详细说明他们正在构建的内容、预算明细、关键里程碑、团队经验以及对Sui社区的预期贡献。

基于Towers of Binary Fields的succinct argumentsUlvetanna团队Benjamin E. Diamond和Jim Posen 2023年论文《Succinct Arguments over Towers of Binary Fields》，开源代码见：

利用多核的Rust快速Merkle tree利用多核的Rust快速Merkle tree，开源代码见：其具有如下属性：cargo test来做测试用例测试。cargo bench来做benchmark。

MoveFunsDAO 星航计划｜从Move入门Web3与深入实践「公益课堂」Move 语言作为最安全的编程语言之一，在资产的安全性和保护方面有着显著优势，被寄予引领 Web3 世界的全新叙事的厚望。

ZKP16 Hardware Acceleration of ZKPZK-Learning MOOC课程笔记The What and Why of Hardware Acceleration