全部 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 入门/科普 密码学 存储 其他

从 0 到 1：实现一个基于零知识证明的寻宝游戏

本教程分享基于o1js2.*开发一个去中心化应用（DApp），构建一个基于零知识证明（ZKP）的寻宝游戏。游戏中，玩家扮演精英盗贼，需完成一系列盗宝任务。通过零知识证明，玩家可以向系统展示任务完成的真实性，同时保护任务细节（如密码、路线或地点等）。整个游戏采用去中心化架构，智能合约确保公平性，

Solana笔记 01.安装环境

跟我一起从0开始学习Solana合约开发，一起实操，一起做项目。这是一个系列文章，系统地记录了我的学习笔记。
Solana 入门  Solana  合约 

ethers.js与solidity智能合约交互(hardhat项目)

1、test脚本中如何获取合约中的状态变量//合约中public类型的状态变量支持getter()特性，可以直接使用部署合约的实例调用如：vault.token()contractVault{//这里的token属性是public，自带getter()方法IERC20p
  • zsjayy
  • 发布于 6天前
  • 阅读 ( 202 )
  • ( 10 )

Web3 极客日报 #1634

  • rebase
  • 发布于 6天前
  • 阅读 ( 181 )
  • ( 9 )

Pi Demo App 学习笔记

Demo演示Pi Network项目提供了代码开源的PiDemoApp，它的代码可以通过下面的网址下载https://github.com/pi-apps/demo
Pi Network 
  • powervip
  • 发布于 6天前
  • 阅读 ( 200 )
  • ( 7 )

技术详解 | 链上打新局中局，交税的狙击机器人

in  CertiK 安全知识分享

本文则是以代币“ZhongHua”为例解析该团伙的另一种RugPull手法：用复杂的税收功能逻辑，掩盖可用于RugPull的转账功能。我们通过“ZhongHua”代币案例，分析地址0xdf1a的另一种RugPull手法细节。
骗局案例分析 
  • CertiK
  • 发布于 6天前
  • 阅读 ( 253 )
  • ( 15 )

如何在 Solana上发行代币

如何在Solana上发行代币？代币发行通过以下步骤：1.创建Solana钱包；2.获取SOL；3.编写发行脚本；4.部署合约；5.创建代币账户；6.铸造代币；7.上币。如何在Solana上发行代币步骤1：创建Solana钱包使用Phantom或S
Solana 
  • 想样
  • 发布于 6天前
  • 阅读 ( 386 )
  • ( 25 )

Optimism 与 Uniswap 共同提出的 ERC-7802 是什么？

in  Optimism 中文力量

ERC-7802是一个跨链标准，为现有的ERC-20代币扩展了新特性，调用ERC-7802接口就可以实现标准的跨链功能。01背景
#跨链  Optimism  Uniswap 

【zkMIPS系列】Lookup Argument (Logup)与代码分析

in  zkMIPS解读

通过引入Lookup argument协议，可以有效减小电路的复杂度。
zkVM  zkMIPS 
  • ZKM
  • 发布于 6天前
  • 阅读 ( 230 )
  • ( 12 )

在外部审计前 使用不变性模糊测试之前找到高风险漏洞

在外部审计前 使用不变量模糊测试之前找到高风险漏洞
不变性模糊测试  Foundry 
  • Dacian
  • 发布于 6天前
  • 阅读 ( 267 )
  • ( 17 )

Move on Sui入门 005-在sui链上发布一个猜硬币正反面的小游戏

in  Move on Sui入门

一、游戏思路1、初始化一个游戏池，合约发布者拥有向游戏池存钱和从游戏池取钱的权限2、玩家玩游戏，押注一定额度代币，玩家猜硬币正反面和合约随机生成的boolean值比较，若一致则玩家赢，从游戏池拿出等额代币给玩家，若不一致则玩家输，玩家押注的代币存入游戏池二、代码设置错误码//错误码
Move  Sui Move  Sui 
  • Gavin
  • 发布于 2024-12-04
  • 阅读 ( 249 )
  • ( 13 )

Solidity库 | 双向链表

有时Solidity语言本身的数据结构无法很好地满足开发需求，此时我们需要实现相关库。本文介绍一个双向链表的库合约，在其它合约中引入即可使用。
Solidity  合约  最佳实践 
  • 卡卡
  • 发布于 2024-12-04
  • 阅读 ( 257 )
  • ( 12 )

Plonky2 论文翻译

本文是 Plonky2: 使用 PLONK 和 FRI 的快速递归论证 论文中文翻译.

zk  Plonky2 
  • longerd
  • 发布于 2024-12-04
  • 阅读 ( 233 )
  • ( 19 )

透明代理 vs UUPS：智能合约升级模式全景解析与实用指南

in  Web3

透明代理vsUUPS：智能合约升级模式全景解析与实用指南随着区块链技术的不断发展，智能合约的升级能力成为项目长期发展的关键需求。其中，透明代理（TransparentProxy）和UUPS（UniversalUpgradeableProxyStandard）是两种主流的升级模式。本文
合约  合约升级  Web3  Solidity  UUPS  透明代理 

sui move实现股票分红的一种实现

1.需求:使用suimove实现购买股票，根据股票分红sui支持把钱转给一个对象地址，提供一种机制，将对象地址拥有的钱，提取到这个对象的owner的钱包。如下图,12:用户A发布合约,拥有分红权限34:用户B花钱购买了股票,合约里面增加了钱5:将股票自由转移
Sui Move 

Ordinals Inscription

介绍 Ordinals Inscription
btc  BTC L2  Oradinals 
  • longerd
  • 发布于 2024-12-03
  • 阅读 ( 242 )
  • ( 24 )

Bitcoin Script

介绍 BTC 脚本和 Ordinals 铭文
btc  Script  Oradinals 
  • longerd
  • 发布于 2024-12-03
  • 阅读 ( 227 )
  • ( 24 )

Mina Learning - Polynomial commitment

介绍常见的多项式承诺
Mina  OpenBuild  zk 
  • longerd
  • 发布于 2024-12-03
  • 阅读 ( 234 )
  • ( 20 )

调试 Solana 程序

有许多选项和支持工具可用于测试和调试Solana程序。综述事实表solana-program-test包可以使用基本的本地运行时，在其中可以交互式地测试和调试程序（例如在vscode中）。solana-validator包可以使用solana-test-validator实

技术详解 | 如何对Cosmos SDK标准模块进行形式化验证

in  Web3.0安全开发实践

CertiK完成了针对CosmosSDK形式化验证。形式化验证是一项运用数学逻辑来确保系统符合规范，使其在所有可能的输入和条件下都如预期表现的技术。本文将介绍形式化验证CosmosSDKBank模块的具体步骤，以及一些验证结果。
形式化验证 
  • CertiK
  • 发布于 2024-12-03
  • 阅读 ( 219 )
  • ( 11 )