Tiny熊的文章 - 登链社区

一键转载

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

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

Nova

Po 更新于2023-07-03 09:27 阅读(1836) 点赞(1) ( 11 )

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

Slither 漏洞分析漏洞检测

小驹更新于2023-06-28 16:23 阅读(1684) 点赞(1)

02.slither基本使用

02.slither基本使用参数解析

Slither 漏洞分析漏洞检测

小驹更新于2023-06-28 15:22 阅读(2948) 点赞(2) ( 8 )

01_Cairo1.0中的变量

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

Starknet

0xSH 更新于2023-06-27 12:27 阅读(1294) 点赞(1) ( 3 )

00_Cairo1.0程序的入口

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

Cairo Starknet

0xSH 更新于2023-06-27 12:22 阅读(1269) 点赞(1) ( 3 )

【三】NOVA系列之RecursiveSNARK

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

Nova zkSNARK folding

白菜更新于2023-06-21 22:04 阅读(2247) 点赞(1) ( 14 )

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

CREATE2 Solidity

认知那些事更新于2023-06-17 20:52 阅读(4043) 点赞(4) ( 18 )

怎么从Ordinals NFT 铭文的原始交易数据解析出NFT图片？

Oridinals NFT

石Tou 更新于2023-06-17 00:06 阅读(2286) 点赞(5) ( 24 )

NFTScan 将为由 Coin98 提供支持的 Dagora NFT Marketplace 和 Coin98 Wallet 提供专业的多链 NFT 数据支持！

NFT Research 更新于2023-06-16 16:50 阅读(3127) 点赞(1) ( 3 )

【二】NOVA 系列之circuit

近期NOVA作为当前ZK领域热门的FoldingScheme解决方案，备受工业界追捧，该系列专题将逐一拆解它：PedersonandPoseidonR1CSNIFSCircuitRecursiveSNARKCompressedSNARK希望通过详尽且直白的逻辑能够把NOVA

Nova zkSNARK folding

白菜更新于2023-06-19 23:13 阅读(2205) 点赞(2) ( 17 )