零知识证明
文章平均质量分 83
mutourend
Code for ZKP
展开
-
零知识证明奇点即将到来
零知识证明奇点即将到来原创 2024-10-02 22:31:02 · 878 阅读 · 0 评论 -
Binius:基于binary域的超高效ZK证明系统(含解读)
Binius:基于binary域的超高效ZK证明系统(含解读)原创 2024-09-03 18:08:48 · 1112 阅读 · 0 评论 -
ZaKi:Ingonyama的Prover market基础设施
ZaKi:Prover market基础设施原创 2024-08-29 11:57:45 · 1307 阅读 · 0 评论 -
空间最小、速度最快:内存高效ZKP原理
空间最小、速度最快:内存高效ZKP原理原创 2024-08-22 18:48:38 · 730 阅读 · 0 评论 -
Greyhound:基于lattice的快速多项式承诺方案
Greyhound:基于lattice的快速多项式承诺方案原创 2024-08-22 16:37:38 · 891 阅读 · 0 评论 -
揭秘Circle STARKs——含解读
揭秘Circle STARKs——含解读原创 2024-08-06 11:24:14 · 883 阅读 · 0 评论 -
Plonky3代码已审计
Plonky3代码已审计原创 2024-07-29 16:23:11 · 999 阅读 · 0 评论 -
verITAS:大规模验证图像转换
verITAS:大规模验证图像转换原创 2024-07-10 11:21:10 · 583 阅读 · 0 评论 -
ZKP proof聚合技术
ZKP proof聚合技术原创 2024-07-04 22:06:48 · 848 阅读 · 0 评论 -
Verifieable FHE(VFHE):使用Plonky2来证明Zama TFHE的“Bootstrapping的正确执行”
Verifieable FHE:使用Plonky2来证明Zama TFHE的“Bootstrapping的正确执行”原创 2024-06-24 11:36:14 · 867 阅读 · 0 评论 -
FHE入门
FHE入门原创 2024-06-12 16:07:50 · 826 阅读 · 0 评论 -
Ligero 和 Ligetron 中的 MPC 和 ZK
Ligero 和 Ligetron 中的 MPC 和 ZK原创 2024-06-09 18:13:51 · 1114 阅读 · 0 评论 -
Transparent 且 Post-quantum zkSNARKs
Transparent 且 Post-quantum zkSNARKs原创 2024-06-08 22:57:43 · 1229 阅读 · 0 评论 -
Ripple:使用Wavelet Approximations来加速FHE的Programmable Bootstraps
Ripple:使用Wavelet Approximations来加速FHE的Programmable Bootstraps原创 2024-06-06 12:26:33 · 945 阅读 · 0 评论 -
sonobe:针对IVC的fold arithmetic电路实例
sonobe:针对IVC的fold arithmetic电路实例原创 2024-06-03 15:02:48 · 1222 阅读 · 0 评论 -
Vision Mark-32:基于binary tower fields的ZK友好哈希
Vision Mark-32:基于binary tower fields的ZK友好哈希原创 2024-05-19 18:36:57 · 1142 阅读 · 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 · 543 阅读 · 0 评论 -
Greco:使用ZKP来证明FHE参与方的RLWE密文格式正确
Greco:使用ZKP来证明FHE参与方的RLWE密文格式正确原创 2024-05-19 17:08:27 · 913 阅读 · 0 评论 -
Aligned Layer:trustless应用的通用验证层
Aligned Layer:trustless应用的通用验证层原创 2024-05-18 17:32:10 · 847 阅读 · 2 评论 -
FHE与TEEs区别:Downfall攻击
FHE与TEEs区别:Downfall攻击原创 2024-05-12 22:39:22 · 729 阅读 · 0 评论 -
Plonky1 & Plonky2 & Plonky2.5 & Plonky3
Plonky1 & Plonky2 & Plonky2.5 & Plonky3原创 2024-05-10 11:31:36 · 975 阅读 · 2 评论 -
FHE全同态加密简介
FHE简介原创 2024-04-08 14:51:11 · 1652 阅读 · 0 评论 -
组合ZKP代价:探索ZKP中non-native域运算 最新进展
组合ZKP代价:探索ZKP中non-native域运算 最新进展原创 2024-04-06 17:08:59 · 1127 阅读 · 0 评论 -
Plonky2.5:在Plonky2中验证Plonky3 proof
Plonky2.5:在Plonky2中验证Plonky3 proof原创 2024-04-03 12:54:53 · 839 阅读 · 0 评论 -
ZKP价值链路的垂直整合
ZKP价值链路的垂直整合原创 2024-04-02 22:38:02 · 1038 阅读 · 0 评论 -
ZK友好代数哈希函数安全倡议
ZK友好代数哈希函数安全倡议原创 2024-03-27 23:50:42 · 1062 阅读 · 0 评论 -
Aztec的客户端证明
Aztec的客户端证明原创 2024-03-20 11:15:35 · 1123 阅读 · 0 评论 -
Circle STARK和Stwo令人着迷之处
Circle STARK和Stwo令人着迷之处原创 2024-03-19 23:38:03 · 861 阅读 · 0 评论 -
ZK vs FHE
ZK vs FHE原创 2024-03-14 10:18:49 · 874 阅读 · 0 评论 -
Stwo:基于Circle STARK和M31的下一代STARK证明系统
Stwo:基于Circle STARK和M31的下一代STARK证明系统原创 2024-03-02 10:50:15 · 1070 阅读 · 0 评论 -
ZKP历史总览
ZKP历史总览原创 2024-02-18 12:18:32 · 1449 阅读 · 1 评论 -
Binius:基于binary fields的SNARKs(Part 2)
Binius:基于binary fields的SNARKs(Part 2)原创 2024-01-06 13:06:30 · 1738 阅读 · 0 评论 -
Binius:助力ZK行业发展
Binius:助力ZK行业发展原创 2024-01-06 10:41:19 · 1205 阅读 · 0 评论 -
Binius:基于binary fields的SNARKs(Part 1)
Binius:基于binary fields的SNARKs(Part 1)原创 2024-01-01 17:44:37 · 1493 阅读 · 0 评论 -
ShuffleZKP:匿名、不可连接消息的合规证明
ShuffleZKP:匿名、不可连接消息的合规证明原创 2024-01-01 10:56:31 · 664 阅读 · 0 评论 -
Reef:基于正则表达式匹配的ZKP
Reef:基于正则表达式匹配的ZKP原创 2024-01-01 10:42:21 · 635 阅读 · 0 评论 -
技术探秘:在RISC Zero中验证FHE——RISC Zero应用的DevOps(2)
技术探秘:在RISC Zero中验证FHE——RISC Zero应用的DevOps(2)原创 2023-12-23 22:16:22 · 1220 阅读 · 0 评论 -
Sigmabus:将non-native field运算移至电路外,以Sigma protocol证明
Sigmabus:将non-native field运算移至电路外,以Sigma protocol证明原创 2023-12-21 10:14:30 · 1126 阅读 · 0 评论 -
技术探秘:在RISC Zero中验证FHE——由隐藏到证明:FHE验证的ZK路径(1)
技术探秘:在RISC Zero中验证FHE——由隐藏到证明:FHE验证的ZK路径(1)原创 2023-12-15 15:41:52 · 660 阅读 · 0 评论 -
zkSummit10 亮点记
zkSummit10 亮点记原创 2023-12-15 11:37:21 · 407 阅读 · 0 评论