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

SPL Token 2022的形式验证

本文介绍了如何使用Solana Certora Prover工具验证SPL Token 2022中的Mint操作的正确性。文章探讨了Mint操作的实现细节，如何编写验证工具，以及如何设置验证环境和条件。最后，通过示例代码展示了验证过程中所需的步骤与关键检查。
Solana  SPL Token  Mint操作  Certora Prover  验证工具  Rust 

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

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

实时追踪 cNFT 市场事件

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

Solana 开发 101 - 文件系统钱包 + 如何创建自定义钱包

本文介绍了Solana的文件系统钱包，包括其定义、创建方法和使用方式。文中提供了详细的步骤和命令示例，强调用户对私钥的控制和安全性。此外，文章还讲解了如何生成特定字符开头的自定义钱包地址。整体内容结构清晰，适合开发者学习和实践。
Solana  文件系统钱包  密钥对  钱包地址  Solana-CLI  JavaScript SDK 
  • Helius
  • 发布于 2023-08-16
  • 阅读 ( 758 )

Solana智能合约的形式化验证

本文介绍了Solana合约的验证工具及其在SPL Token 2022中的应用，详述了Mint操作的正确性证明，展示了如何编写验证工具和预后条件，并总结了验证过程的步骤与结果。
Solana  SPL Token 2022  验证工具  Mint操作  Rust语言  合约安全 
  • Certora
  • 发布于 2023-08-14
  • 阅读 ( 682 )

如何在 Solana 中解析原始交易

本文介绍了如何使用 Anchor 框架编写的 Solana 程序的 IDL 来解析原始交易。通过加载 IDL 文件，可以解码交易指令数据，并格式化为人类可读的格式，包括函数名称、参数和涉及的账户信息。Shyft 提供的 Transaction API 可以简化解析过程。
Solana  Anchor框架  IDL  交易解析  BorshCoder  Shyft API 

使用Shyft API构建Discord机器人：及时了解压缩NFT！

本文介绍了如何使用Shyft API创建一个Discord机器人，以便实时接收Solana区块链上压缩NFT的铸造、转移和销毁的更新。通过设置Shyft API的回调，并配置Discord Webhook，可以轻松地将链上事件推送到Discord频道，并格式化显示NFT的相关信息，例如名称、符号、描述和图像。
Solana  NFT  压缩NFT  Discord机器人  Shyft API  Webhook 

Solana 开发基础 101 - 在 Solana 上反序列化账户数据

本文详细介绍了如何在Solana网络中反序列化代币账户数据，应用Borsh序列化方法。读者将学习如何设置环境、提取账户信息，以及将原始数据转换为可读格式的步骤，适合对Solana开发有基础的开发者。最后提供完整代码示例和资源链接。
解序列化  Solana  Borsh  Typescript  Token Program  NFT 
  • Helius
  • 发布于 2023-07-30
  • 阅读 ( 945 )

如何使用 TypeScript 转移 Solana 代币

本文讲解了如何使用TypeScript在Solana区块链上转移NFT。重点包括创建新关联代币账户（ATA）、进行NFT转移的步骤及相关代码示例，适合初学者理解Solana的token管理和转移过程。
Solana  Typescript  NFT  代币转移  区块链  Associated Token Account 
  • Helius
  • 发布于 2023-07-26
  • 阅读 ( 987 )

在Solana上使用压缩NFT

本文介绍了Solana上的压缩NFT，它通过压缩格式来减少文件大小和铸造成本。文章详细说明了如何使用SHYFT API来创建Merkle树、铸造、查看、转移和销毁压缩NFT，并提供了相关的代码示例和交易签名链接，方便开发者理解和实践。
压缩NFT  Solana  Shyft API  Merkle树  NFT铸造  NFT转移  NFT销毁 

如何使用新的DAS API创建SvelteKit应用程序

本文详细介绍了如何使用 Digital Asset Standard API (DAS) SDK 和 SvelteKit 创建一个应用程序，通过 getAssetsByGroup 方法在网页上显示 NFT 集合的图像。文章涵盖了所需的环境设置、代码实现的各个步骤以及示例代码，适合希望在 Solana 上开发 NFT 应用的开发者。
SvelteKit  DAS SDK  NFT  Helius  Solana  JavaScript 
  • Helius
  • 发布于 2023-07-24
  • 阅读 ( 688 )

如何将文件上传到Solana上的Shadow Drive

这篇文章提供了在Solana上使用TypeScript将文件上传至Shadow Drive的详细教程，介绍了通过获取SHDW代币创建存储账户的步骤，并展示了完整的代码实现过程。文章还提到了一些前提条件和必要的设置，适合开发者学习如何利用Shadow Drive进行去中心化存储。
Solana  Shadow Drive  Typescript  文件上传  去中心化存储 
  • Helius
  • 发布于 2023-07-24
  • 阅读 ( 933 )

Syndica 推出 Sig：一个用 Zig 编写的以 RPS 为中心的 Solana 验证器客户端

Sig 是一个用 Zig 语言编写的 Solana 验证器客户端，旨在优化读取性能（RPS），解决 Solana 网络中常见的 slot lag 问题。Sig 通过提高客户端多样性、提供更易读的代码库和利用 Zig 语言的技术优势，旨在提升 Solana 的用户体验和网络稳定性，并提供前所未有的可访问性。
Solana  验证器  Zig语言  RPS  客户端多样性  Gossip协议 
  • syndica
  • 发布于 2023-07-21
  • 阅读 ( 451 )

Solana - DAO动态： - Pineanalytics

本文深入探讨了 Marinade Finance 及其原生代币 MNDE，重点分析了 mSOL 流动性质押代币的运作机制、市场表现以及在 Solana DeFi 生态系统中的作用。文章还考察了 MNDE 的代币经济学，强调 DAO 治理在代币分配和价值获取方面的重要性，并展望了 Marinade 在 Solana 生态系统中增长的潜力。
Solana  DeFi  流动性质押代币  mSOL  MNDE  DAO治理 

Solana - 鉴别器 Discriminator

本文介绍了 Anchor 框架中 Discriminator 的概念、作用和必要性。Discriminator 作为唯一标识符，用于区分不同类型的数据和账户结构，确保程序在运行时能够正确处理数据，防止类型相关的错误，增强程序的健壮性和安全性。
Discriminator  Anchor框架  账户结构  数据类型  唯一标识符  序列化 

Solana RPC 和 Helius

本文介绍了Helius团队从最初对运行RPC节点的顾虑，到因现有RPC服务不够可靠而决定自行构建RPC服务的过程。文章深入探讨了他们如何解决RPC性能、成本及可靠性问题，并展示了他们所提供的高性能、低成本的RPC解决方案。最后，读者被邀请免费体验这些RPC服务。
RPC节点  Solana  Helius  性能  可靠性  数据解析 
  • Helius
  • 发布于 2023-07-02
  • 阅读 ( 722 )

顶级 Solana RPC - Helius与其他节点提供者的比较

本文介绍了RPC节点在区块链开发中的重要性，重点阐述了高性能、可靠性和成本效益之间的平衡（即RPC三难问题）。Helius RPC被设计为同时满足这三个关键标准，并提供了一系列功能，如增强API和Webhooks，以支持Solana开发者。最后，作者总结了Helius RPC的优势，鼓励读者尝试其服务。
RPC节点  区块链开发  Helius  Solana  性能  可靠性 
  • Helius
  • 发布于 2023-06-29
  • 阅读 ( 1061 )

Solidity在Solana上 — 什么是Solang？

Solang 是一个为 Solana 设计的 Solidity 编译器，旨在帮助以太坊开发者更容易地迁移到 Solana 平台。它允许使用 Solidity 语言开发智能合约，从而降低学习曲线，减少开发时间。文章详细介绍了编译器的工作原理、Solang 的优势、对 Solana 程序的影响以及如何入手使用 Solang。
Solang  Solidity  Solana  编译器  智能合约  开发者 
  • Helius
  • 发布于 2023-06-23
  • 阅读 ( 750 )

Solana 开发 101 - 在 Solana 上铸造 SPL 代币

本教程介绍了如何使用Solana命令行界面（CLI）铸造自定义Solana代币，包括创建代币、创建代币账户和铸造代币供应的三个主要步骤。此外，还介绍了其他几种简单快速的铸造代币方法，适合不同用户需求。
Solana  代币铸造  命令行接口  CLI  Token Program  开发者工具 
  • Helius
  • 发布于 2023-06-21
  • 阅读 ( 932 )

Solana 开发 101 - 为 dApp 开发电子邮件通知

这篇文章详细介绍了如何构建一个基于Solana的实时电子邮件通知系统，利用Helius的网络Hook接收区块链交易数据，并使用Node-mailer发送邮件。本指南涵盖了所需的依赖项安装、服务器配置、Gmail API的设置以及如何在Replit和Vercel上部署该项目，适合开发者了解Solana应用的实际应用。
Solana  Webhook  Node.js  Email Notifications  Gmail API  Replit 
  • Helius
  • 发布于 2023-06-21
  • 阅读 ( 792 )