mutourend-CSDN博客

原创 OP Succinct：OP Stack + Succinct SP1 zkVM

OP Succinct：OP Stack + Succinct SP1 zkVM

2024-09-26 10:27:21 794

原创 Binius：基于binary域的超高效ZK证明系统（含解读）

Binius：基于binary域的超高效ZK证明系统（含解读）

2024-09-03 18:08:48 1101

原创 Jolt-b：改进了Jolt递归友好性的zkVM

Jolt-b：改进了Jolt递归友好性的zkVM

2024-08-30 18:10:52 1137

原创 ZaKi：Ingonyama的Prover market基础设施

ZaKi：Prover market基础设施

2024-08-29 11:57:45 1302

原创空间最小、速度最快：内存高效ZKP原理

空间最小、速度最快：内存高效ZKP原理

2024-08-22 18:48:38 725

原创 Greyhound：基于lattice的快速多项式承诺方案

Greyhound：基于lattice的快速多项式承诺方案

2024-08-22 16:37:38 887

原创 ZK-Rollups测评

ZK-Rollups测评

2024-08-21 19:29:52 351

原创揭秘Circle STARKs——含解读

揭秘Circle STARKs——含解读

2024-08-06 11:24:14 879

原创跨optimistic rollup原子互操作：Shared Validity Sequencing

跨optimistic rollup原子互操作：Shared Validity Sequencing

2024-08-05 15:31:40 823

原创 Schnorr签名 vs. EdDSA

Schnorr签名 vs. EdDSA

2024-08-02 15:58:04 445

原创 Plonky3代码已审计

Plonky3代码已审计

2024-07-29 16:23:11 995

原创 Binius-based zkVM：为Polygon AggLayer开发、FPGA加速的zkVM

Binius-based zkVM：为Polygon AggLayer开发、FPGA加速的zkVM

2024-07-24 12:25:07 1228

原创 PROV（PRovable unbalanced Oil and Vinegar）多变量PQC签名

PROV（PRovable unbalanced Oil and Vinegar）多变量PQC签名

2024-07-22 12:22:04 1084

原创 Jolt路线图

Jolt路线图

2024-07-19 10:30:16 1120

原创 verITAS：大规模验证图像转换

verITAS：大规模验证图像转换

2024-07-10 11:21:10 579

原创 ZKP proof聚合技术

ZKP proof聚合技术

2024-07-04 22:06:48 845

原创 EVM-MLIR：以MLIR编写的EVM

EVM-MLIR：以MLIR编写的EVM

2024-07-04 17:46:29 969

原创 Raccon：更好防侧信道攻击的后量子签名方案

Raccon：更好防侧信道攻击的后量子签名方案

2024-06-30 14:28:14 910

原创 Zama Concrete介绍

Zama Concrete介绍

2024-06-26 14:54:20 782

原创 FHE全同态加密介绍——小白版

FHE全同态加密介绍——小白版

2024-06-24 17:48:36 1388

原创 Verifieable FHE（VFHE）：使用Plonky2来证明Zama TFHE的“Bootstrapping的正确执行”

Verifieable FHE：使用Plonky2来证明Zama TFHE的“Bootstrapping的正确执行”

2024-06-24 11:36:14 863

原创 zkWASM：ZK+zkVM的下一站？

zkWASM：ZK+zkVM的下一站？

2024-06-21 09:37:35 1194

原创 FHE入门

FHE入门

2024-06-12 16:07:50 825

原创 Ligero 和 Ligetron 中的 MPC 和 ZK

Ligero 和 Ligetron 中的 MPC 和 ZK

2024-06-09 18:13:51 1113

原创 Transparent 且 Post-quantum zkSNARKs

Transparent 且 Post-quantum zkSNARKs

2024-06-08 22:57:43 1228

原创 Ripple：使用Wavelet Approximations来加速FHE的Programmable Bootstraps

Ripple：使用Wavelet Approximations来加速FHE的Programmable Bootstraps

2024-06-06 12:26:33 945

原创 Ligetron：Nim Network开发的针对AI的zkVM

Ligetron：Nim Network开发的针对AI的zkVM

2024-06-05 18:27:31 971

原创 sonobe：针对IVC的fold arithmetic电路实例

sonobe：针对IVC的fold arithmetic电路实例

2024-06-03 15:02:48 1222

原创企业软件产品和服务之设计保证安全七项承诺

企业软件产品和服务之设计保证安全七项承诺

2024-06-03 10:02:14 695

原创 Lagrange ZK Coprocessor：革新区块链领域的大数据应用

Lagrange ZK Coprocessor：革新区块链领域的大数据应用

2024-06-02 22:10:37 1015 1

原创 ECDSA vs. EdDSA

ECDSA vs. EdDSA

2024-06-01 23:21:13 1109

原创 Polygon zkEVM 抗故障机制

Polygon zkEVM 抗故障机制

2024-05-27 16:08:27 1117

原创 Vision Mark-32：基于binary tower fields的ZK友好哈希

Vision Mark-32：基于binary tower fields的ZK友好哈希

2024-05-19 18:36:57 1142

原创 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

原创 Greco：使用ZKP来证明FHE参与方的RLWE密文格式正确

Greco：使用ZKP来证明FHE参与方的RLWE密文格式正确

2024-05-19 17:08:27 912

原创 Aligned Layer：trustless应用的通用验证层

Aligned Layer：trustless应用的通用验证层

2024-05-18 17:32:10 847 2

原创 EIP-4844对Polygon的意义

EIP-4844对Polygon的意义

2024-05-16 10:58:08 999

原创 FHE与TEEs区别：Downfall攻击

FHE与TEEs区别：Downfall攻击

2024-05-12 22:39:22 729

原创 Plonky1 & Plonky2 & Plonky2.5 & Plonky3

Plonky1 & Plonky2 & Plonky2.5 & Plonky3

2024-05-10 11:31:36 974 2

原创如何利用RISC Zero zkVM来扩容比特币

如何利用RISC Zero zkVM来扩容比特币

2024-05-09 17:31:47 1175

空空如也

空空如也