零知识证明
关注
分享
扫一扫
文章平均质量分 84
mutourend
mutourend2010@gmail.com
展开
-
GKR协议示例
GKR协议示例原创 2025-03-08 22:47:36 · 974 阅读 · 0 评论 -
区块链机密计算七大要点
区块链机密计算七大要点原创 2024-12-28 22:24:02 · 1140 阅读 · 0 评论 -
熊出没之小素数域大集锦
熊出没之小素数域大集锦原创 2024-12-17 19:31:06 · 904 阅读 · 0 评论 -
当今SNARKs全景
当今SNARKs全景原创 2024-10-08 12:06:21 · 1305 阅读 · 0 评论 -
零知识证明奇点即将到来
零知识证明奇点即将到来原创 2024-10-02 22:31:02 · 1326 阅读 · 0 评论 -
Binius：基于binary域的超高效ZK证明系统（含解读）
Binius：基于binary域的超高效ZK证明系统（含解读）原创 2024-09-03 18:08:48 · 1356 阅读 · 0 评论 -
ZaKi：Ingonyama的Prover market基础设施
ZaKi：Prover market基础设施原创 2024-08-29 11:57:45 · 1391 阅读 · 0 评论 -
空间最小、速度最快：内存高效ZKP原理
空间最小、速度最快：内存高效ZKP原理原创 2024-08-22 18:48:38 · 942 阅读 · 0 评论 -
Greyhound：基于lattice的快速多项式承诺方案
Greyhound：基于lattice的快速多项式承诺方案原创 2024-08-22 16:37:38 · 1020 阅读 · 0 评论 -
揭秘Circle STARKs——含解读
揭秘Circle STARKs——含解读原创 2024-08-06 11:24:14 · 1153 阅读 · 0 评论 -
Plonky3代码已审计
Plonky3代码已审计原创 2024-07-29 16:23:11 · 1126 阅读 · 0 评论 -
verITAS：大规模验证图像转换
verITAS：大规模验证图像转换原创 2024-07-10 11:21:10 · 671 阅读 · 0 评论 -
ZKP proof聚合技术
ZKP proof聚合技术原创 2024-07-04 22:06:48 · 1049 阅读 · 0 评论 -
Verifieable FHE（VFHE）：使用Plonky2来证明Zama TFHE的“Bootstrapping的正确执行”
Verifieable FHE：使用Plonky2来证明Zama TFHE的“Bootstrapping的正确执行”原创 2024-06-24 11:36:14 · 1039 阅读 · 0 评论 -
FHE入门
FHE入门原创 2024-06-12 16:07:50 · 961 阅读 · 0 评论 -
Ligero 和 Ligetron 中的 MPC 和 ZK
Ligero 和 Ligetron 中的 MPC 和 ZK原创 2024-06-09 18:13:51 · 1359 阅读 · 0 评论 -
Transparent 且 Post-quantum zkSNARKs
Transparent 且 Post-quantum zkSNARKs原创 2024-06-08 22:57:43 · 1364 阅读 · 0 评论 -
Ripple：使用Wavelet Approximations来加速FHE的Programmable Bootstraps
Ripple：使用Wavelet Approximations来加速FHE的Programmable Bootstraps原创 2024-06-06 12:26:33 · 1018 阅读 · 0 评论 -
sonobe：针对IVC的fold arithmetic电路实例
sonobe：针对IVC的fold arithmetic电路实例原创 2024-06-03 15:02:48 · 1326 阅读 · 0 评论 -
Vision Mark-32：基于binary tower fields的ZK友好哈希
Vision Mark-32：基于binary tower fields的ZK友好哈希原创 2024-05-19 18:36:57 · 1221 阅读 · 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 · 633 阅读 · 0 评论 -
Greco：使用ZKP来证明FHE参与方的RLWE密文格式正确
Greco：使用ZKP来证明FHE参与方的RLWE密文格式正确原创 2024-05-19 17:08:27 · 963 阅读 · 0 评论 -
Aligned Layer：trustless应用的通用验证层
Aligned Layer：trustless应用的通用验证层原创 2024-05-18 17:32:10 · 987 阅读 · 2 评论 -
FHE与TEEs区别：Downfall攻击
FHE与TEEs区别：Downfall攻击原创 2024-05-12 22:39:22 · 842 阅读 · 0 评论 -
Plonky1 & Plonky2 & Plonky2.5 & Plonky3
Plonky1 & Plonky2 & Plonky2.5 & Plonky3原创 2024-05-10 11:31:36 · 1299 阅读 · 2 评论 -
FHE全同态加密简介
FHE简介原创 2024-04-08 14:51:11 · 1909 阅读 · 0 评论 -
组合ZKP代价：探索ZKP中non-native域运算 最新进展
组合ZKP代价：探索ZKP中non-native域运算 最新进展原创 2024-04-06 17:08:59 · 1200 阅读 · 0 评论 -
Plonky2.5：在Plonky2中验证Plonky3 proof
Plonky2.5：在Plonky2中验证Plonky3 proof原创 2024-04-03 12:54:53 · 900 阅读 · 0 评论 -
ZKP价值链路的垂直整合
ZKP价值链路的垂直整合原创 2024-04-02 22:38:02 · 1100 阅读 · 0 评论 -
ZK友好代数哈希函数安全倡议
ZK友好代数哈希函数安全倡议原创 2024-03-27 23:50:42 · 1105 阅读 · 0 评论 -
Aztec的客户端证明
Aztec的客户端证明原创 2024-03-20 11:15:35 · 1173 阅读 · 0 评论 -
Circle STARK和Stwo令人着迷之处
Circle STARK和Stwo令人着迷之处原创 2024-03-19 23:38:03 · 1145 阅读 · 0 评论 -
ZK vs FHE
ZK vs FHE原创 2024-03-14 10:18:49 · 980 阅读 · 0 评论 -
Stwo：基于Circle STARK和M31的下一代STARK证明系统
Stwo：基于Circle STARK和M31的下一代STARK证明系统原创 2024-03-02 10:50:15 · 1312 阅读 · 0 评论 -
ZKP历史总览
ZKP历史总览原创 2024-02-18 12:18:32 · 1722 阅读 · 1 评论 -
Binius：基于binary fields的SNARKs（Part 2）
Binius：基于binary fields的SNARKs（Part 2）原创 2024-01-06 13:06:30 · 1809 阅读 · 0 评论 -
Binius：助力ZK行业发展
Binius：助力ZK行业发展原创 2024-01-06 10:41:19 · 1265 阅读 · 0 评论 -
Binius：基于binary fields的SNARKs（Part 1）
Binius：基于binary fields的SNARKs（Part 1）原创 2024-01-01 17:44:37 · 1592 阅读 · 0 评论 -
ShuffleZKP：匿名、不可连接消息的合规证明
ShuffleZKP：匿名、不可连接消息的合规证明原创 2024-01-01 10:56:31 · 708 阅读 · 0 评论 -
Reef：基于正则表达式匹配的ZKP
Reef：基于正则表达式匹配的ZKP原创 2024-01-01 10:42:21 · 701 阅读 · 0 评论