零知识证明
关注
分享
扫一扫
文章平均质量分 84
mutourend
mutourend2010@gmail.com
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
对比FRI 与 Ligero 证明大小
对比FRI 与 Ligero 证明大小原创 2025-08-11 22:51:01 · 1034 阅读 · 0 评论 -
libZK：Google团队的零知识证明库
libZK：Google团队的零知识证明库原创 2025-08-09 22:45:48 · 994 阅读 · 0 评论 -
MPC-in-the-Head 转换入门指南
MPC-in-the-Head 转换入门指南原创 2025-08-07 22:24:57 · 789 阅读 · 0 评论 -
Metal MSM v2：探索 Apple GPU 上的 MSM 加速
Metal MSM v2：探索 Apple GPU 上的 MSM 加速原创 2025-08-05 22:58:21 · 643 阅读 · 0 评论 -
谷歌采用 Ligero 构建其 ZK 技术栈
谷歌采用 Ligero 构建其 ZK 技术栈原创 2025-07-29 14:50:04 · 1023 阅读 · 0 评论 -
揭露 Halo2 中的查询冲突漏洞：一个额外查询如何破坏可靠性（soundness）
揭露 Halo2 中的查询冲突漏洞：一个额外查询如何破坏可靠性（soundness）原创 2025-07-10 17:58:41 · 763 阅读 · 0 评论 -
初探Succinct Jagged稀疏多项式承诺方案
初探Succinct Jagged稀疏多项式承诺方案原创 2025-06-07 15:38:54 · 665 阅读 · 0 评论 -
zkAt：Sui生态提出的基于Groth16的零知识身份验证器
zkAt：Sui生态提出的基于Groth16的零知识身份验证器原创 2025-05-27 13:13:31 · 478 阅读 · 0 评论 -
BN254 点压缩在 L2 中的应用
BN254 点压缩在 L2 中的应用原创 2025-05-02 18:04:08 · 987 阅读 · 0 评论 -
GKR协议示例
GKR协议示例原创 2025-03-08 22:47:36 · 1112 阅读 · 0 评论 -
区块链机密计算七大要点
区块链机密计算七大要点原创 2024-12-28 22:24:02 · 1314 阅读 · 0 评论 -
熊出没之小素数域大集锦
熊出没之小素数域大集锦原创 2024-12-17 19:31:06 · 956 阅读 · 0 评论 -
当今SNARKs全景
当今SNARKs全景原创 2024-10-08 12:06:21 · 1405 阅读 · 0 评论 -
零知识证明奇点即将到来
零知识证明奇点即将到来原创 2024-10-02 22:31:02 · 1411 阅读 · 0 评论 -
Binius：基于binary域的超高效ZK证明系统（含解读）
Binius：基于binary域的超高效ZK证明系统（含解读）原创 2024-09-03 18:08:48 · 1445 阅读 · 0 评论 -
ZaKi：Ingonyama的Prover market基础设施
ZaKi：Prover market基础设施原创 2024-08-29 11:57:45 · 1413 阅读 · 0 评论 -
空间最小、速度最快：内存高效ZKP原理
空间最小、速度最快：内存高效ZKP原理原创 2024-08-22 18:48:38 · 1031 阅读 · 0 评论 -
Greyhound：基于lattice的快速多项式承诺方案
Greyhound：基于lattice的快速多项式承诺方案原创 2024-08-22 16:37:38 · 1071 阅读 · 0 评论 -
揭秘Circle STARKs——含解读
揭秘Circle STARKs——含解读原创 2024-08-06 11:24:14 · 1229 阅读 · 0 评论 -
Plonky3代码已审计
Plonky3代码已审计原创 2024-07-29 16:23:11 · 1167 阅读 · 0 评论 -
verITAS：大规模验证图像转换
verITAS：大规模验证图像转换原创 2024-07-10 11:21:10 · 707 阅读 · 0 评论 -
ZKP proof聚合技术
ZKP proof聚合技术原创 2024-07-04 22:06:48 · 1152 阅读 · 0 评论 -
Verifieable FHE（VFHE）：使用Plonky2来证明Zama TFHE的“Bootstrapping的正确执行”
Verifieable FHE：使用Plonky2来证明Zama TFHE的“Bootstrapping的正确执行”原创 2024-06-24 11:36:14 · 1109 阅读 · 0 评论 -
FHE入门
FHE入门原创 2024-06-12 16:07:50 · 1010 阅读 · 0 评论 -
Ligero 和 Ligetron 中的 MPC 和 ZK
Ligero 和 Ligetron 中的 MPC 和 ZK原创 2024-06-09 18:13:51 · 1516 阅读 · 0 评论 -
Transparent 且 Post-quantum zkSNARKs
Transparent 且 Post-quantum zkSNARKs原创 2024-06-08 22:57:43 · 1457 阅读 · 0 评论 -
Ripple：使用Wavelet Approximations来加速FHE的Programmable Bootstraps
Ripple：使用Wavelet Approximations来加速FHE的Programmable Bootstraps原创 2024-06-06 12:26:33 · 1051 阅读 · 0 评论 -
sonobe：针对IVC的fold arithmetic电路实例
sonobe：针对IVC的fold arithmetic电路实例原创 2024-06-03 15:02:48 · 1357 阅读 · 0 评论 -
Vision Mark-32：基于binary tower fields的ZK友好哈希
Vision Mark-32：基于binary tower fields的ZK友好哈希原创 2024-05-19 18:36:57 · 1247 阅读 · 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 · 667 阅读 · 0 评论 -
Greco：使用ZKP来证明FHE参与方的RLWE密文格式正确
Greco：使用ZKP来证明FHE参与方的RLWE密文格式正确原创 2024-05-19 17:08:27 · 992 阅读 · 0 评论 -
Aligned Layer：trustless应用的通用验证层
Aligned Layer：trustless应用的通用验证层原创 2024-05-18 17:32:10 · 1038 阅读 · 2 评论 -
FHE与TEEs区别：Downfall攻击
FHE与TEEs区别：Downfall攻击原创 2024-05-12 22:39:22 · 876 阅读 · 0 评论 -
Plonky1 & Plonky2 & Plonky2.5 & Plonky3
Plonky1 & Plonky2 & Plonky2.5 & Plonky3原创 2024-05-10 11:31:36 · 1496 阅读 · 2 评论 -
FHE全同态加密简介
FHE简介原创 2024-04-08 14:51:11 · 2108 阅读 · 0 评论 -
组合ZKP代价：探索ZKP中non-native域运算 最新进展
组合ZKP代价：探索ZKP中non-native域运算 最新进展原创 2024-04-06 17:08:59 · 1228 阅读 · 0 评论 -
Plonky2.5：在Plonky2中验证Plonky3 proof
Plonky2.5：在Plonky2中验证Plonky3 proof原创 2024-04-03 12:54:53 · 933 阅读 · 0 评论 -
ZKP价值链路的垂直整合
ZKP价值链路的垂直整合原创 2024-04-02 22:38:02 · 1145 阅读 · 0 评论 -
ZK友好代数哈希函数安全倡议
ZK友好代数哈希函数安全倡议原创 2024-03-27 23:50:42 · 1130 阅读 · 0 评论 -
Aztec的客户端证明
Aztec的客户端证明原创 2024-03-20 11:15:35 · 1200 阅读 · 0 评论