找到约 15 条结果

视频 知识证明 - ZKP

...往往被迫透露超出其意愿的数据。为了解决这一问题,知识证明(Zero Knowledge Proof)技术应运而生,它允许用户在不透露具体数据的情况下,向公司证明某些信息的真实性。这种技术在区块链和金融领域有广泛应用,例如,Zcas...

视频 知识证明基本概念

本期视频是 从0到1: 掌握知识证明与 zkMIPS 开发实战 系列课程的第一课,本课主要为大家介绍了知识证明概念,计算复杂度理论,知识证明发展脉络,知识证明流程。

视频 SnarkyJS:TypeScript中的递归知识证明

视频的核心内容是介绍SnarkyJS,这是一个用于知识证明的TypeScript库,旨在简化开发者在Mina区块链上构建应用程序的过程。Brandon和Jack分别介绍了SnarkyJS的背景、功能以及如何使用它来构建知识应用。 关键论据和信息包括:...

视频 科学家用五个难度级别解释知识证明(ZKP)

视频的核心内容是关于知识证明(Zero-Knowledge Proofs, ZKP)的概念及其应用。知识证明是一种允许证明者向验证者证明某个陈述为真,而不透露任何额外信息的技术。视频通过不同的复杂度层次,逐步解释了这一概念,并展示...

视频 初识知识证明

初识知识证明

视频 如何使用Circom和snark.js创建知识证明(ZKP)

视频的核心内容是介绍如何使用Snark.js和Circom框架构建知识证明(ZKP)。Luis Salles通过一个简短的教程,带领观众了解如何进行私密可验证计算,而不暴露敏感输入。 关键论据和信息包括: 1. **知识证明的基本概念**:视...

视频 ZK白板系列 - 模块七:知识虚拟机(zkVM)

本视频讨论了知识虚拟机(ZKVM)的概念及其与传统知识证明方法的区别。以下是视频的核心内容和关键论据总结: 1. **核心内容概括**: - 知识虚拟机(ZKVM)提供了一种便捷的方式,使开发者能够编写高层次程序并执...

视频 Jolt、zkVM 和加速区块链 | Justin Thaler

视频 AI 总结: 该视频介绍了 Jolt,一种新的知识虚拟机(ZKVM),它允许证明证明计算机程序的正确执行。Jolt 基于 RISC-V CPU,通过重复执行 CPU 的取指、解码、执行周期来实现。ZKVM 的优势在于其对开发者友好,无需了解复...

视频 Solana 上的保密代币转账

...额和余额。 * **技术实现:** 该功能利用同态加密和知识证明(ZK proofs)等密码学技术。 * **转账流程:** 用户首先将代币从公共余额存入待处理余额状态(加密),然后将待处理余额应用到可用余额状态。之后,代币可...

视频 ZKP MOOC 第 3 课:ZKP 编程

本视频讲解了如何编程知识证明系统,主要由Pratyush Mishra和Alex Ozdemir主讲。视频的核心内容包括如何将高层次的应用想法转化为知识证明系统可以理解的格式,具体探讨了三种不同的编程方法。 ### 核心内容概述 1. **知...

视频 ZK白板系列S2 - M1:什么是知识(实际上是怎样的)?

视频的核心内容是关于知识证明(ZKP)的理论和实践,特别是如何理解和实现知识属性。主持人Nico和嘉宾David讨论了知识的基本概念、相关的数学原理以及在现代加密协议中的应用,尤其是PLONK协议。 关键论据和信息包...

视频 2分钟内 zkTLS :隐私优先的加密

视频的核心内容是介绍ZKTLS(知识传输层安全协议),旨在解决在线证明个人信息时需要分享过多隐私数据的问题。ZKTLS通过知识证明技术,允许用户在不透露个人信息的情况下,验证特定事实。 关键论据和信息包括: 1. ...

视频 Noir 编程和知识电路完整课程

视频 AI 总结: 该视频是关于使用 Noir 编程语言构建知识电路的课程介绍。Kira Nightingale 介绍了课程内容,包括使用 Noir 构建 ZK 证明,并在链上和链下验证这些证明,从而构建完整的 ZK 应用程序。她还强调了在 Cypher 和 Updraft ...

视频 ZK白板系列 - 第一模块:什么是SNARK?

...息包括: 1. **SNARK的定义**:SNARK是一种简洁的非交互式知识证明,允许证明者生成一个短小的证明,验证者可以快速验证该证明的有效性。 2. **知识SNARK**:这种扩展形式不仅证明了某个陈述的真实性,还确保在证明过程中不...

视频 访谈:与Justin Drake(以太坊基金会)探讨知识研究的未来

视频的核心内容围绕“知识”技术在以太坊中的应用,特别是“秘密领导者选举”(Secret Leader Election,简称SLE)项目。该项目旨在解决当前以太坊信标链中存在的潜在拒绝服务攻击(DDoS)问题,攻击者可以通过识别验证者的...