Language-Agnostic Detection of Bugs in Zero-Knowledge Proof Programs
TL;DR · AI 摘要
微软研究团队提出了一种语言无关的方法来检测零知识证明程序中的错误，该方法提高了检测效率和准确性。
核心要点
- 微软提出语言无关的零知识证明程序错误检测方法。
- 该方法提高了检测效率和准确性。
- 适用于多种编程语言的零知识证明程序。
结构提纲
按章节快速跳转。
思维导图
用一张图看清主题之间的关系。
查看大纲文本（无障碍 / 无 JS 友好）
- 零知识证明程序错误检测
金句 / Highlights
值得收藏与分享的关键句。
微软研究团队提出了一种语言无关的方法来检测零知识证明程序中的错误，该方法提高了检测效率和准确性。
视频笔记
无语言依赖的零知识证明程序漏洞检测
返回 
跳过导航
搜索
用声音搜索
[](https://www.youtube.com/watch?v=pW8yJiXRzXc)
[](https://www.youtube.com/watch?v=pW8yJiXRzXc)
[](https://www.youtube.com/watch?v=pW8yJiXRzXc)
[](https://www.youtube.com/watch?v=pW8yJiXRzXc)
[](https://www.youtube.com/watch?v=pW8yJiXRzXc)
[](https://www.youtube.com/watch?v=pW8yJiXRzXc)
轻触以取消静音
2倍速
无语言依赖的零知识证明程序漏洞检测
微软研究院 262 观看次数 2 天前
[](https://www.youtube.com/watch?v=pW8yJiXRzXc)
搜索
复制链接
信息
购物
如果播放无法立即开始，请尝试重启设备。
•
您已登出
您观看的视频可能会被添加到电视的观看历史中，并影响电视推荐。为了避免这种情况，请取消并使用电脑上的 YouTube 登录。
取消 确认
[](https://www.youtube.com/watch?v=pW8yJiXRzXc)
分享
[](https://www.youtube.com/watch?v=pW8yJiXRzXc "分享链接")- [x] 包含播放列表
检索共享信息时发生错误。请稍后再试。
0:00
[](https://www.youtube.com/watch?v=pW8yJiXRzXc)[](https://www.youtube.com/watch?v=1sd26pWhfmg "下一个 (SHIFT+n)")
0:00 / 0:00
直播
•完整观看视频
•
•
56:20 高效分布式正交优化器用于大规模训练 微软研究院 631 观看次数 • 2 个月前 直播 播放列表 ()混合 (50+) [26:28 Nicholas Carlini - 黑帽 LLMs | [un]prompted 2026 unprompted 330K 观看次数 • 1 个月前 直播 播放列表 ()混合 (50+) ](https://www.youtube.com/watch?v=1sd26pWhfmg)52:29 CROSS — 利用 AI ASICs 进行同态加密 微软研究院 466 观看次数 • 2 个月前 直播 播放列表 ()混合 (50+) 24:36 Anthropic 的 Boris Cherny: 为什么编码已解决，接下来是什么 Sequoia Capital 247K 观看次数 • 5 天前 直播 播放列表 ()混合 (50+) 17:36 为什么 Adam Savage 不信任 USB 密钥 Adam Savage’s Tested 928K 观看次数 • 1 个月前 直播 播放列表 ()混合 (50+) 56:51 图灵奖得主：不同意谷歌、Postgres、未来问题 | Mike Stonebraker Ryan Peterman 279K 观看次数 • 2 周前 直播 播放列表 ()混合 (50+) 6:15 Kavanaugh Hegseth Patel Bar 冷开场 - SNL 星期六夜现场 685K 观看次数 • 6 小时前 直播 播放列表 ()混合 (50+) 32:32 预测几乎所有事物的奇怪数学 Veritasium 11M 观看次数 • 9 个月前 直播 播放列表 ()混合 (50+) 1:03:07 新工程师与健忘专家的现代建筑 101 - Jerry Nixon - NDC 哥本哈根 2025 NDC 会议 151K 观看次数 • 5 个月前 直播 播放列表 ()混合 (50+) 22:25 如何在 2026 年追踪您的手机 - 以及如何阻止它 Rob Braxman Tech 46K 观看次数 • 4 天前 直播 播放列表 ()混合 (50+) 35:53 证明我们仍然不了解磁性的微小甜甜圈 Veritasium 8.2M 观看次数 • 3 个月前 直播 播放列表 ()混合 (50+) 30:41 271 漏洞：Mozilla 的 AI 发现改变了所有事情 AI 新闻与策略每日 | Nate B Jones 29K 观看次数 • 1 天前 直播 播放列表 ()混合 (50+)
1倍速
登录以确认您不是机器人 这有助于保护我们的社区。 了解更多
无语言依赖的零知识证明程序漏洞检测
微软研究院
356K 订阅者
订阅
已订阅
12
分享
保存
下载
下载
262 观看次数 2 天前
262 观看次数 • 2026 年 5 月 7 日
主持人：Greg Zaverucha，微软研究院 演讲者：Arman Kolozyan，马克斯·普朗克安全与隐私研究所 ……更多
……更多
此视频是如何制作的
自动配音
某些语言的音频轨道是自动生成的。 了解更多
字幕
使用字幕跟随
显示字幕
视频关于
显示更少
[](https://www.youtube.com/watch?v=pW8yJiXRzXc)
语言无关的零知识证明程序中的错误检测
262 次观看
2026 年 5 月 7 日
12
分享
保存
下载
下载
0 条评论
排序评论
排序方式
添加评论...