...f06103aab74943e190dccfb44903fc87?pvs=4 **Qizhou**: 通过两阶段欺诈证明和 FlatKV，来加速 L2 EVM 的执行效率（我刚刚写的拙作） ### AI 搜索引擎 Devv https://github.com/devv-ai/devv/releases/tag/v0.1.0 **Nicole**: 一个很懂程序员的 AI 搜索引擎，使...
.../github.com/succinctlabs/sp1 **liquan.eth**: sp1 是一个 zkVM，能够证明任意 rust 程序的执行。相比于 halo2 等需要手动写复杂的电路的 zk 框架，sp1 能够更方便普通开发者使用 zk 技术。 ### Plonky3 https://github.com/Plonky3/Plonky3 **Harry**: Plo...
### 详解 Circle STARK 和 Stwo：证明器性能提升百倍 https://mp.weixin.qq.com/s/74SDZdg162FD6qGkT5noaQ **张晓**: 推荐 Circle STARK 的详细解析。 ### Bitcoin Script Debugger https://github.com/bitcoin-core/btcdeb **Shooter**: 使用 btcdeb 探索 btc 脚本是如何...
R1CS是零知识证明技术中电路约束表示形式
DIZK，Distributed Zero Knowledge，分布式的零知识证明系统。
...不到的后果，例如为泄露的私人通信提供无可辩驳的来源证明。更好的方法是使用简单的共享密文方案，如 HMAC 或通过 X25519 验证的 KEM，生成共享密文，并将其与 HMAC 一起用于验证信息。
...，可以顺带了解下Solana的涅槃之路，Solana正在用实际数据证明，归零到顶峰，Only Possible On Solana
阿剑：比特币源起与现在， 大纲： 1.密码朋克运动与电子货币 2.工作量证明与中本聪共识 3.比特币的价值
Cairo 是一种编程语言， 用于编写可被证明程序，使得其他验证者确信该程序被正确执行。在 Starknet 和 StarkEx 上使用 Cairo编写智能合约 。
本期视频是 从0到1: 掌握零知识证明与 zkMIPS 开发实战 系列课程的第四课，本课通过 zkMIPS project template 实战帮助大家更好的了解和掌握 zkMIPS 相关知识点。
本期视频是 从0到1: 掌握零知识证明与 zkMIPS 开发实战 系列课程的第三课，本课主要包括：zkMIPS简介，构建通用结算层，zkVM概括，zkMIPS设计思想等内容。
ZKMIPS 1.0 介绍 大纲 - zkMIPS 1.0 指令集介绍 - zkMIPS 1.0 证明优化以及性能分析 - zkMIPS 1.0 生态项目介绍 > 分享时间：2025-05-13
大纲： 1. zkmips基本介绍 2. Plonky2优化策略（Plonky3) 3. FRI与多项式承诺 4. Logup实现lookup 5. ZKM Prover证明过程 6。ZKM2进展 相关资料：https://learnblockchain.cn/column/99 分享人： Daniel, ZKM Reasearcher >分享时间：2025-03-13