找到约 14 条结果

文章 TFHE-rs v0.6：零知识支持和 GPU 上的有符号整数运算

TFHE-rs v0.6 引入了一种补充 FHE 的密码学技术，称为零知识证明。此外，此版本还增强了对有符号整数运算的 GPU 支持。此外，它还引入了额外的密码学特性，例如加密随机数的生成。 ### **用于紧凑公钥加密的零知识证明** 除...

文章 赋予金融系统中的代理AI需要零知识证明和隐私保护技术

...态系统中，以应对复杂场景的能力。每个代理贡献其专业知识，共同解决单一AI方法无法高效解决的复杂问题。 在金融领域，代理AI可以创建互联系统，其中专业化代理协作处理复杂工作流程。以信用分析过程为例： - 规...

文章 从R1CS构建零知识证明

...是简洁的。本文描述了如何实现这一点。 对于R1CS的零知识证明是通过将见证向量转换为[有限域椭圆曲线点](https://learnblockchain.cn/article/11316)，并将Hadamard乘积替换为每一行的[双线性配对](https://learnblockchain.cn/article/11321)。 给...

文章 构建安全 Noir 电路的开发者指南

目录 - [介绍](#Intro) - [Noir 和零知识系统的核心原则](#NoirandtheCorePrinciplesofZero-KnowledgeSys) - [Noir 电路中常见的安全漏洞](#CommonSecurityVulns) [1. 约束中的逻辑错误](#LogicalErrors) [2. 有限域中的算术陷阱](#ArithmeticPitfalls) [3. 意...

文章 关于Solana v1.16更新的所有内容

... 保密转账 保密转账是由Token2022引入的一项功能，利用零知识证明加密SPL代币的余额和交易金额。此功能的主要焦点是通过强调保密性而非匿名性来改善用户隐私。 保密转账利用 [Twisted ElGamal 加密](https://spl.solana.com/confidential-to...

文章 零知识证明 - Coda SNARK挑战（Stage2）

...以及Groth16算法的验证（10000美金）。 SNARK挑战使用的零知识证明算法是：**BG18**。BG18是Groth16算法的一种变种算法，由Zcash的团队在2018年发表。 https://eprint.iacr.org/2018/187.pdf BG18的证明的生成，比Groth16算法增加了z变量。 ![...

文章 从零开始学习zk-SNARK(一)-多项式的性质与证明

...早接触 zk-SNARK 开始，就断断续续得学习了一些 zk-SNARK 的知识，但对其原理始终存在诸多困惑，没有形成一个完整的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明...

文章 零知识证明 - RISC0 zkVM源代码入门

...，看看RISC0的源代码。zkVM一直是想深入的话题。zkVM将零知识证明技术抽象封装。复杂的业务，通过上层语言描述，经过zkVM的执行，轻松生成证明。可是迟迟看不清，zkVM的需求。只是觉得，复杂的程序也能快速地生成证明是一件...

文章 致混合器及其他：介绍Semaphore，一个基于以太坊的隐私工具

...作加速了隐私解决方案的构思和实施，特别是那些使用零知识证明的解决方案。我们现在正处于一个关键的隐私构件从研究阶段进入生产阶段的时期：[**Semaphore**](https://github.com/kobigurk/semaphore)，一种匿名信号传递的手段。 Semapho...

文章 零知识证明 - zkHack mini挑战赛第一名

...，需要解题者对 STARK 证明的整个逻辑步骤有较为清晰的知识。 来回顾一下题目：Alice使用 STARK 电路写了一个斐波那契数列的计算程序，能够同时生成 STARK 证明并验证。某天她收到了一个错误的证明，计算出数列的第32项等于1...

文章 zkPass：实现可验证的数据可组合性

...变化需求的方法和技术。在现代加密协议如 **zkTLS**（零知识传输层安全）出现之前，隐私和数据验证主要依赖更传统的方法，依靠信任、物理验证和集中系统来处理。 在古代，隐私主要通过物理障碍或社会规范维护。例如，...

文章 什么是同态加密？- Chainlink

...ps://chain.link/use-cases/insurance) 的全新的设计空间，现在 [零知识证明](https://blog.chain.link/what-is-a-zero-knowledge-proof-zkp/) 正在帮助 Web3 生态系统扩展以支持数亿用户。 同态加密不仅可以单独解锁许多令人兴奋的用例，还可以将当今世...

文章 零知识证明的先进形式化验证：如何验证一条ZK指令

...2.png) 为了深入理解形式化验证技术是如何应用于zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。关于ZKP（零知识证明）先进形式化验证的总体情况，请查阅我们同期发布的“零知识证明区块链的先进形式化验证”...

视频 ZK白板系列 - 第四模块：SNARKs 与 STARKs

在这段视频中，Brendan和Boban讨论了Starks（可扩展透明知识论证）这一零知识证明系统的基本概念和技术细节。视频的核心内容包括Starks与Snarks的区别、Starks的工作原理以及其在区块链应用中的重要性。 ### 核心内容概括： 1. **Sta...