全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

NOVA from scratch

写在前面的时隔两个多月终于有机会给NOVAresearch做个了结，期间一直没有机会读revisitingnova，认真读完之后感触比较深，写点儿东西记录下来，也算给自己之前的research一个交待。当然期间也不乏出现hypernova/protostar这些可能更接近“真实战场”的
Nova  folding  zkSNARK 
  • 白菜
  • 发布于 2023-08-21
  • 阅读 ( 5339 )
  • ( 19 )

形式化验证 第 3 部分 - Solana SPL 隐私性扩展的形式化验证

本文介绍如何使用Solana Certora Prover (SCP)在SPL Token 2022的隐私扩展中发现错误，特别是关于`process_withdraw`函数的验证过程。通过使用零知识证明，SCP能够验证是否满足特定的正确性属性，从而确保账户安全性，文中还探讨了当前的挑战与未来的方向。
SPL Token  零知识证明  Solana  安全性  正式验证  程序分析 
  • Certora
  • 发布于 2023-08-21
  • 阅读 ( 875 )

Web3 极客日报 #1295

Web3 极客日报 #1295
  • rebase
  • 发布于 2023-08-21
  • 阅读 ( 1791 )

每周以太坊进展 2023/8/19

每周以太坊进展 2023/8/19
每周以太坊 
  • EthWeekly
  • 发布于 2023-08-21
  • 阅读 ( 3927 )
  • ( 14 )

SharkTeam：Exactly Protocol攻击事件原理分析

in  智能合约安全
8月18日，Exactlyprotocol遭遇黑客攻击，攻击者已获利约1204万美元。SharkTeam对此事件第一时间进行了技术分析，并总结了安全防范手段，希望后续项目可以引以为戒，共筑区块链行业的安全防线。一、事件分析攻击者地址：0x3747dbbcb5c07786a4c5988

Solidity学习笔记一：基础语法与remix的使用

越学越迷糊，于是准备再学一遍，进行总结。Solidity学习笔记一：基础语法与remix的使用
solidity 编程  区块链 
  • Yuanwai
  • 发布于 2023-08-21
  • 阅读 ( 4854 )
  • ( 19 )

Sui 上简单 Swap 的实现 | Move dApp 极速入门（拾玖）

in  狗哥区块链与AI精品内容集@NonceGeek
合约liquidity实现了一个在sui公链上的 DEX模式的swap案例,默认在此案例中交互的两种 Coin 交换汇率为1：1，在其中没有设置交易手续费，也没考虑其中一种 Coin 的增加或减少所带来的流动损失。
Move  DApp 

后 Verkle 状态过期

该项目提出了一种新的基于 Verkle 树的状态过期方案，用于解决以太坊的状态膨胀问题。该方案将过期不活跃的状态值（如账户余额、nonce、合约代码等），并通过提交 Verkle 证明来恢复它们。该方案旨在减少节点存储需求，提高网络性能，并促进以太坊的无状态性和状态过期。
verkle 树  状态过期  状态膨胀  以太坊  EVM  witness 

去中心化金融笔记（三）—— Uniswap V3 详解

B站梁培利老师《区块链金融》课程笔记 完整笔记请查看 Notion 链接：https://dune-marten-78b.notion.site/85b1d29c86344112a886fcfb2ea1c44c?pvs=4
V3 
  • 0xHowe
  • 发布于 2023-08-21
  • 阅读 ( 4898 )
  • ( 7 )

DeCert.me 申请了 Gitcoin Grant，请支持我们

DeCert.me 申请了Gitcoin 第18轮捐赠。
Gitcoin 
  • dwong
  • 发布于 2023-08-21
  • 阅读 ( 3991 )
  • ( 36 )

用 Elixir 交互 Aptos | Move dApp 极速入门（拾捌）

in  狗哥区块链与AI精品内容集@NonceGeek
函数式语言 <> Move
Aptos  Move  狗哥 

Sui 链上数据查询 | Move dApp 极速入门（拾柒）

in  狗哥区块链与AI精品内容集@NonceGeek
如何查询 Sui 的链上数据？
Sui  Move  DApp 

SUI 合约测试攻略 | Move dApp 极速入门（拾陆）

in  狗哥区块链与AI精品内容集@NonceGeek
在 Sui 上进行合约测试
Move  DApp 

跨域(Cross-Domain) 论文第一部分：搭建舞台

本文深入探讨了区块链生态系统中流动性聚合的重要性以及分散流动性的问题。文章详细分析了应用链和Rollup的增量发展及其面临的挑战，如流动性碎片化、跨Rollup通信问题等。通过讨论IBC（区块链间通信）中的路径解开和数据包转发中间件，展示了如何改进跨链应用的用户体验。整体上，文章为开发者和行业从业者提供了丰富的技术细节和未来发展趋势。
流动性聚合  审计链  跨链通信  数据包转发  IBC  EIP-4844 
  • maven11
  • 发布于 2023-08-19
  • 阅读 ( 1055 )

Chisel ： Foundry 提供的 Solidity 交互式命令工具

Chisel是随Foundry提供的高级SolidityREPL（交互式命令工具）。它可用于在本地或Fork网络上快速测试Solidity片段。
Solidity  Chisel  Foundry 
  • Tiny熊
  • 发布于 2023-08-19
  • 阅读 ( 5119 )
  • ( 18 )

实时追踪 cNFT 市场事件

本文介绍了如何使用 Shyft API 搭建一个简单的网站，以实时跟踪 Solana 链上压缩 NFT (cNFT) 市场的事件，例如新的铸造、转移、燃烧以及挂单、竞标和销售等市场操作。通过注册回调 API 监听 Merkle Tree 地址的事件，并将数据存储在 Supabase 数据库中，最终在前端实时展示这些事件。
Solana  压缩NFT  cNFT  Shyft API  Supabase  回调 

Web3 极客日报 #1294

Web3 极客日报 #1294
  • rebase
  • 发布于 2023-08-19
  • 阅读 ( 1580 )

如何从零开始编写FRI代码

本文深入探讨了FRI（快速Reed-Solomon交互式Oracle证明）协议，该协议用于证明某个函数接近于低阶多项式，这在构建STARKs等证明系统中非常有用。文章详细解释了FRI协议的原理、实现过程，包括多项式的随机折叠、使用Merkle树进行承诺，以及验证过程，并讨论了该协议的安全性依赖于有限域的大小、哈希函数的安全性以及查询的数量。
FRI  STARKs  Reed-Solomon  Merkle树  密码学证明  零知识证明 

构建一个 Gasless 交易 DApp

本文介绍了如何使用 Gelato Relay SDK 和 Thirdweb 的 React SDK 构建一个 gasless 应用。
Gelato Relay  gasless 交易  Thirdweb  React SDK  1Balance  NFT 
  • gelato
  • 发布于 2023-08-19
  • 阅读 ( 780 )

群体的智慧：社区驱动的安全性

本文讨论了区块链安全的生命周期及其在社区驱动安全服务中的转变，强调了在开发早期发现安全问题的重要性。通过与传统审计公司相对比，探讨了漏洞奖励和竞争审计平台的市场发展和潜力，认为社区驱动的审计模式可以与传统审计共同为区块链安全提供有效保障。
区块链  安全生命周期  社区驱动  漏洞奖励  竞争审计