零知识证明
关注
分享
扫一扫
文章平均质量分 84
mutourend
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
谷歌采用 Ligero 构建其 ZK 技术栈
谷歌采用 Ligero 构建其 ZK 技术栈原创 2025-07-29 14:50:04 · 983 阅读 · 0 评论 -
揭露 Halo2 中的查询冲突漏洞：一个额外查询如何破坏可靠性（soundness）
揭露 Halo2 中的查询冲突漏洞：一个额外查询如何破坏可靠性（soundness）原创 2025-07-10 17:58:41 · 746 阅读 · 0 评论 -
初探Succinct Jagged稀疏多项式承诺方案
初探Succinct Jagged稀疏多项式承诺方案原创 2025-06-07 15:38:54 · 647 阅读 · 0 评论 -
zkAt：Sui生态提出的基于Groth16的零知识身份验证器
zkAt：Sui生态提出的基于Groth16的零知识身份验证器原创 2025-05-27 13:13:31 · 471 阅读 · 0 评论 -
BN254 点压缩在 L2 中的应用
BN254 点压缩在 L2 中的应用原创 2025-05-02 18:04:08 · 982 阅读 · 0 评论 -
GKR协议示例
GKR协议示例原创 2025-03-08 22:47:36 · 1080 阅读 · 0 评论 -
区块链机密计算七大要点
区块链机密计算七大要点原创 2024-12-28 22:24:02 · 1284 阅读 · 0 评论 -
熊出没之小素数域大集锦
熊出没之小素数域大集锦原创 2024-12-17 19:31:06 · 941 阅读 · 0 评论 -
当今SNARKs全景
当今SNARKs全景原创 2024-10-08 12:06:21 · 1390 阅读 · 0 评论 -
零知识证明奇点即将到来
零知识证明奇点即将到来原创 2024-10-02 22:31:02 · 1405 阅读 · 0 评论 -
Binius：基于binary域的超高效ZK证明系统（含解读）
Binius：基于binary域的超高效ZK证明系统（含解读）原创 2024-09-03 18:08:48 · 1434 阅读 · 0 评论 -
ZaKi：Ingonyama的Prover market基础设施
ZaKi：Prover market基础设施原创 2024-08-29 11:57:45 · 1410 阅读 · 0 评论 -
空间最小、速度最快：内存高效ZKP原理
空间最小、速度最快：内存高效ZKP原理原创 2024-08-22 18:48:38 · 1016 阅读 · 0 评论 -
Greyhound：基于lattice的快速多项式承诺方案
Greyhound：基于lattice的快速多项式承诺方案原创 2024-08-22 16:37:38 · 1059 阅读 · 0 评论 -
揭秘Circle STARKs——含解读
揭秘Circle STARKs——含解读原创 2024-08-06 11:24:14 · 1218 阅读 · 0 评论 -
Plonky3代码已审计
Plonky3代码已审计原创 2024-07-29 16:23:11 · 1159 阅读 · 0 评论 -
verITAS：大规模验证图像转换
verITAS：大规模验证图像转换原创 2024-07-10 11:21:10 · 695 阅读 · 0 评论 -
ZKP proof聚合技术
ZKP proof聚合技术原创 2024-07-04 22:06:48 · 1138 阅读 · 0 评论 -
Verifieable FHE（VFHE）：使用Plonky2来证明Zama TFHE的“Bootstrapping的正确执行”
Verifieable FHE：使用Plonky2来证明Zama TFHE的“Bootstrapping的正确执行”原创 2024-06-24 11:36:14 · 1092 阅读 · 0 评论 -
FHE入门
FHE入门原创 2024-06-12 16:07:50 · 1004 阅读 · 0 评论 -
Ligero 和 Ligetron 中的 MPC 和 ZK
Ligero 和 Ligetron 中的 MPC 和 ZK原创 2024-06-09 18:13:51 · 1505 阅读 · 0 评论 -
Transparent 且 Post-quantum zkSNARKs
Transparent 且 Post-quantum zkSNARKs原创 2024-06-08 22:57:43 · 1445 阅读 · 0 评论 -
Ripple：使用Wavelet Approximations来加速FHE的Programmable Bootstraps
Ripple：使用Wavelet Approximations来加速FHE的Programmable Bootstraps原创 2024-06-06 12:26:33 · 1049 阅读 · 0 评论 -
sonobe：针对IVC的fold arithmetic电路实例
sonobe：针对IVC的fold arithmetic电路实例原创 2024-06-03 15:02:48 · 1351 阅读 · 0 评论 -
Vision Mark-32：基于binary tower fields的ZK友好哈希
Vision Mark-32：基于binary tower fields的ZK友好哈希原创 2024-05-19 18:36:57 · 1244 阅读 · 0 评论 -
Last Challenge Attack：KZG-based SNARK中Fiat-Shamir Transform实现漏洞
Last Challenge Attack：KZG-based SNARK中Fiat-Shamir Transform实现漏洞原创 2024-05-19 17:45:42 · 663 阅读 · 0 评论 -
Greco：使用ZKP来证明FHE参与方的RLWE密文格式正确
Greco：使用ZKP来证明FHE参与方的RLWE密文格式正确原创 2024-05-19 17:08:27 · 990 阅读 · 0 评论 -
Aligned Layer：trustless应用的通用验证层
Aligned Layer：trustless应用的通用验证层原创 2024-05-18 17:32:10 · 1033 阅读 · 2 评论 -
FHE与TEEs区别：Downfall攻击
FHE与TEEs区别：Downfall攻击原创 2024-05-12 22:39:22 · 865 阅读 · 0 评论 -
Plonky1 & Plonky2 & Plonky2.5 & Plonky3
Plonky1 & Plonky2 & Plonky2.5 & Plonky3原创 2024-05-10 11:31:36 · 1463 阅读 · 2 评论 -
FHE全同态加密简介
FHE简介原创 2024-04-08 14:51:11 · 2074 阅读 · 0 评论 -
组合ZKP代价：探索ZKP中non-native域运算 最新进展
组合ZKP代价：探索ZKP中non-native域运算 最新进展原创 2024-04-06 17:08:59 · 1223 阅读 · 0 评论 -
Plonky2.5：在Plonky2中验证Plonky3 proof
Plonky2.5：在Plonky2中验证Plonky3 proof原创 2024-04-03 12:54:53 · 931 阅读 · 0 评论 -
ZKP价值链路的垂直整合
ZKP价值链路的垂直整合原创 2024-04-02 22:38:02 · 1137 阅读 · 0 评论 -
ZK友好代数哈希函数安全倡议
ZK友好代数哈希函数安全倡议原创 2024-03-27 23:50:42 · 1126 阅读 · 0 评论 -
Aztec的客户端证明
Aztec的客户端证明原创 2024-03-20 11:15:35 · 1195 阅读 · 0 评论 -
Circle STARK和Stwo令人着迷之处
Circle STARK和Stwo令人着迷之处原创 2024-03-19 23:38:03 · 1211 阅读 · 0 评论 -
ZK vs FHE
ZK vs FHE原创 2024-03-14 10:18:49 · 1011 阅读 · 0 评论 -
Stwo：基于Circle STARK和M31的下一代STARK证明系统
Stwo：基于Circle STARK和M31的下一代STARK证明系统原创 2024-03-02 10:50:15 · 1386 阅读 · 0 评论 -
ZKP历史总览
ZKP历史总览原创 2024-02-18 12:18:32 · 1836 阅读 · 1 评论