zksecurity 的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

本文介绍了MOCA意大利黑客训练营CTF竞赛中一个名为“2+2=5”的密码学挑战，该挑战利用了修改后的Jolt zkVM。挑战要求参与者构造一个无效的RISC-V程序执行证明，利用Jolt库中的漏洞，使得程序输出错误的结果“5”，从而绕过服务器的验证并获得flag。

Jolt zkVM RISC-V 密码学挑战 ctf 执行证明 R1CS约束零知识证明

发布于 2024-09-25 12:37 阅读(1056) 点赞(0)

Noname 2.0：解锁数字泛型、Folding Scheme以及Playground - ZKSECURITY

本文介绍了noname 2.0预览版的主要更新，包括支持泛型数组、通过Sonobe集成支持folding scheme、交互式在线 Playground、R1CS优化以及社区贡献的bug修复和功能改进。这些更新旨在提高noname语言的灵活性、效率和用户友好性，使开发者能够编写更复杂的ZK电路，并简化IVC应用的开发。

noname ZK电路泛型数组 folding scheme Sonobe R1CS IVC 零知识证明

发布于 2024-08-09 19:48 阅读(951) 点赞(0)

探索Leo：Aleo程序安全入门 - ZKSECURITY

本文介绍了Aleo区块链平台及其上的Leo编程语言，Leo专注于开发具有强大隐私性的应用程序。文章详细阐述了Leo语言的基础知识，包括其语法、记录模型以及与链上状态的交互方式。此外，文章还探讨了Aleo程序中可能存在的潜在漏洞，例如整数溢出、未防护的程序初始化、Record的消费限制以及函数中信息泄露，并提供了避免这些漏洞的最佳实践。

Aleo Leo语言零知识证明隐私保护智能合约安全区块链安全

发布于 2024-08-08 19:58 阅读(1070) 点赞(0)

FRIDA：基于 FRI 的数据可用性抽样 - ZKSECURITY

本文介绍了以太坊通过EIP-4844引入的Proto-Danksharding，旨在降低数据可用性成本。

数据可用性 EIP-4844 Proto-Danksharding FRI Rollup KZG

发布于 2024-06-26 17:35 阅读(729) 点赞(0)

Circle STARKs：第一部分，梅森素数 - ZKSECURITY

本文是关于 Circle STARKs 系列的第一篇文章，主要介绍了 Mersenne 素数域在 STARK 中的应用动机和背景。由于 Mersenne 素数域具有非常高效的模约简算法，但在传统 STARK 中无法有效支持 FRI/STIR，Circle STARKs 解决了这个问题，使得在这些特定域上使用 STARK 更高效。

Circle STARKs Mersenne 素数零知识证明 FRI STARK 模约简

发布于 2024-06-04 17:26 阅读(1721) 点赞(0)

零知识证明安全工具现状 - ZKSECURITY

本文深入探讨了零知识证明（ZKP）中可能出现漏洞的各个层次，包括电路层、前端层、后端层和集成层。重点介绍了用于检测电路漏洞的安全工具的现状，如静态分析、符号执行、动态分析、模糊测试和形式化验证等技术，并强调了在前端和后端层中发现漏洞的重要性，以及zkSecurity在开发相关安全工具上的努力。

零知识证明 SNARK 电路形式化验证静态分析安全工具

发布于 2024-06-03 18:35 阅读(1067) 点赞(0)

noname 邂逅以太坊：与 SnarkJS 集成 - ZKSECURITY

zkSecurity 推出了一种名为 noname 的编程语言，用于编写 ZK 电路，该语言现在支持 R1CS。

零知识证明 ZK 电路 R1CS snarkjs noname 以太坊

发布于 2024-06-02 12:58 阅读(1145) 点赞(0)

ZPrize大赛落幕！谁以及如何赢得了 50 万美元？- ZKSECURITY

zkSecurity 与 ZPrize 合作举办的第三届比赛，目标是找到最快的 ECDSA 签名零知识证明方案。

ZPrize ECDSA 零知识证明 Varuna starky Plonky2 zkLogin

发布于 2024-05-07 17:56 阅读(1066) 点赞(0)

Lighter ZK 电路公开报告 - ZKSECURITY

zkSecurity 团队与 Lighter 合作，审查了其用于可验证订单簿匹配的 ZK 电路。代码组织良好，结构扎实。Lighter 是一种 Layer2 交易所，通过零知识证明在 Layer1 上验证和确认状态转换，从而实现 ZK Rollup。Lighter 有两个主要电路：主操作电路和紧急出口电路，在紧急情况下允许用户退出系统。

ZK Rollup 零知识证明 Layer2 订单簿电路 Merkle树

发布于 2024-04-25 16:40 阅读(1323) 点赞(0)

Aleo合成器的公开报告 - ZKSECURITY

本文是 Aleo synthesizer 的代码审计报告的概述部分，Aleo synthesizer 是在 Aleo 区块链上部署和执行用户程序的核心协议。

Aleo 零知识证明 Varuna Leo编程语言 SnarkVM zk-SNARKs

发布于 2024-01-03 20:34 阅读(800) 点赞(0)