Tiny熊的文章 - 登链社区

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

从foundry工程化的角度详细解读Openzeppelin中的Arrays库及对应测试。

OpenZeppelin

Michael.W 发布于 2023-07-04 20:51 阅读(2709) 点赞(3) ( 12 )

本文会涉及到slither中几类call的区别，slither遍历node时的常用的递归框架，以及将这两类知识应用到批量函数调用风险的检测中。

Slither 漏洞检测漏洞分析

小驹发布于 2023-07-03 16:15 阅读(2696) 点赞(1) ( 5 )

从foundry工程化的角度详细解读Openzeppelin中的Address库及对应测试。

Address Foundry delegatecall

Michael.W 发布于 2023-07-03 09:45 阅读(3205) 点赞(2) ( 10 )

由于增量验证计算(IVCscheme)中有很多细节在论文中并未展开，本文则是深入解读Nova如何基于Relaxed R1CS构造IVC scheme。

Nova

Po 发布于 2023-07-03 09:27 阅读(2762) 点赞(1) ( 11 )

介绍Slither中Function对象常用的方法及应用示例

Slither 漏洞分析漏洞检测

小驹发布于 2023-06-28 15:42 阅读(2238) 点赞(1)

02.slither基本使用

02.slither基本使用参数解析

Slither 漏洞分析漏洞检测

小驹发布于 2023-06-28 15:22 阅读(3938) 点赞(2) ( 8 )

01_Cairo1.0中的变量

变量是编程语言中最基本的元素。基本使用创建一个变量usedebug::PrintTrait;fnmain(){l

Starknet

0xSH 发布于 2023-06-27 12:27 阅读(1608) 点赞(1) ( 3 )

00_Cairo1.0程序的入口

单文件Cairo程序入口与大多数编程语言类似，单文件的Cairo程序入口是main函数。

Cairo Starknet

0xSH 发布于 2023-06-27 12:22 阅读(1598) 点赞(1) ( 3 )

【三】NOVA系列之RecursiveSNARK

近期NOVA作为当前ZK领域热门的FoldingScheme解决方案，备受工业界追捧，该系列专题将逐一拆解它：Pederson and Poseidon ， R1CS and relaxed R1CS， NIFS， Circuit， RecursiveSNARK， CompressedSNARK。

Nova zkSNARK folding

白菜发布于 2023-06-21 20:25 阅读(2800) 点赞(1) ( 14 )

本文使用create2创建合约、预测合约地址

CREATE2 Solidity

认知那些事发布于 2023-06-17 20:52 阅读(4979) 点赞(4) ( 18 )