Solana文章 - 第39页

宣布 sec3 Premium：Solana 智能合约的自动审计工具

本文介绍了 sec3 X-Ray Premium，这是一个针对 Solana 智能合约的自动审计服务，能够检测超过 50 种常见的安全漏洞。该服务支持 Anchor 和非 Anchor 基于的项目，能快速生成报告，并提供友好的 web 界面，旨在提高智能合约的安全性。文章详细列出了各种漏洞、使用指导，以及与完整审计服务的关系。

Solana 智能合约安全漏洞自动审计 Rust sec3

Sec3dev
发布于 2022-03-01
阅读 ( 389 )

Solana内部结构第4部分：Bank - 关键组件

本文深入探讨了Solana区块链中的Bank模块，重点介绍其在账户和程序状态管理、交易执行和程序调用验证中的关键角色，详述了Bank的生命周期、InvokeContext的处理以及与计算资源的管理等技术细节。

Solana bank InvokeContext BPF cross program invocation 系统调用

Sec3dev
发布于 2022-01-31
阅读 ( 464 )

Solana内部详解第三部分：交易处理单元（TPU）

本文详细介绍了Solana中的交易处理单元（TPU）的设计和工作原理，分析了在网络拥堵期间TPU性能下降的原因，并探讨了如何通过去重和过滤冗余数据来提高交易处理效率。文章对TPU的三个主要处理阶段进行详尽讲解，包含大量示意图和代码示例，使读者能够深入理解Solana事务处理的内部机制。

Solana TPU 交易处理网络拥堵性能优化链上验证

Sec3dev
发布于 2022-01-24
阅读 ( 597 )

Solana内部解析第1部分：什么是本地链上程序及其重要性？

这篇文章详细介绍了Solana的本地链上程序，包括其作用、系统程序、代币程序、质押程序等的具体功能和调用方式。同时探讨了跨程序调用的机制以及安全性考量，提供了程序ID一览和相关代码示例，是对Solana链上程序的深度解析。

Solana native programs cross program invocation system program SPL Token stake program

Sec3dev
发布于 2022-01-01
阅读 ( 400 )

部署Solidity智能合约到Solana

利用 Solang 部署Solidity智能合约到Solana

Solana Solidity 智能合约

翻译小组
发布于 2021-12-26
阅读 ( 9986 )
( 84 )

Solana 质押池：X-Ray 发现的语义不一致性漏洞

本文揭示了在Solana官方stake-pool程序中发现的语义不一致性漏洞，并讨论了漏洞的性质、发现过程及其利用方式。文章详细介绍了带来的风险及安全审计的重要性，强调需要更全面的审计流程。

Solana Stake Pool 语义不一致性漏洞安全审计渗透测试

Sec3dev
发布于 2021-12-18
阅读 ( 386 )

如何审计Solana智能合约第四部分：Anchor框架

本文深入探讨了Solana中Anchor框架的内部机制，介绍了其编程模型、代码生成和常用宏的工作原理，以及在智能合约审核过程中需要注意的陷阱。通过实例，详细阐述了Anchor如何简化智能合约的开发，但同时指出在使用Anchor时可能出现的潜在问题。

Anchor框架 Solana智能合约 Rust编程代码生成审计宏定义

Sec3dev
发布于 2021-12-17
阅读 ( 440 )

如何审计Solana智能合约第三部分：渗透测试

本文介绍了如何审计Solana智能合约中的漏洞，重点是使用渗透测试工具检测Rust程序的安全性。详细说明了Solana PoC框架、fuzz测试工具及代码覆盖率工具的使用，通过具体实例展示了如何利用已知漏洞构建PoC进行攻击，以及进行正常用户交互的步骤，帮助读者理解智能合约的安全评估。

Solana 智能合约渗透测试 PoC框架 Rust 安全审计

Sec3dev
发布于 2021-12-09
阅读 ( 488 )

本文带你轻松搭建solana验证节点

solana主网 solana验证节点

杰哥的技术杂货铺
发布于 2021-11-17
阅读 ( 10535 )
( 65 )

如何审计Solana智能合约第二部分：自动化扫描

本文介绍了几种自动化扫描工具，帮助审计Solana智能合约。工具包括x-ray、cargo-audit、cargo-clippy、cargo-geiger和cargo-spellcheck，并通过示例展示了如何使用这些工具检测智能合约中的安全漏洞。文章结构清晰，提供了详细的工具描述和实用示例，旨在提高Solana智能合约的安全性。

Solana 智能合约安全审计自动化工具漏洞扫描 cargo

Sec3dev
发布于 2021-11-13
阅读 ( 453 )

如何审计Solana智能合约第1部分：系统方法

本文介绍了对Solana智能合约进行审计的系统方法，强调了与以太坊相比，Solana在编程语言和代码与数据分离上的独特之处。文章详细列出了攻击者可能的动机以及智能合约的攻击面，并探讨了一些常见漏洞和审计时应考虑的逻辑和经济错误。

Solana 智能合约审计 Rust 安全漏洞经济攻击

Sec3dev
发布于 2021-11-12
阅读 ( 518 )

Solana 开发学习笔记(一)——从 Hello World 出发

本章对 Solana 区块链的基本概念进行了简要介绍，并介绍了开发 Solana 链上程序必须安装和配置的编程环境。通过对 Hello World 这个官方演示项目源码的解读，了解如何使用 Rust 开发链上程序，并使用 Solana CLI 来构建与部署，以及使用 Solana JavaScript SDK 与链上程序进行交互。

Rust Solana

anray
发布于 2021-11-01
阅读 ( 36925 )
( 767 )

使用X-Ray进行Solana漏洞赏金狩猎

本文讲述了使用X-Ray工具在Solana的一个智能合约中发现和报告漏洞的过程，包含了对X-Ray工具的介绍，以及在智能合约审计过程中如何快速识别潜在安全问题的案例。这篇文章对于开发者进行合约安全审计具有重要参考价值。

Solana X-Ray 智能合约漏洞检测安全审计 bug bounty

Sec3dev
发布于 2021-10-24
阅读 ( 736 )

理解Rust和Solana智能合约中的整数溢出和下溢问题

本文探讨了Rust和Solana智能合约中的整数溢出和下溢问题，解析了这些问题的根源以及对区块链安全的影响，并讨论了如何在Solana智能合约中有效预防这些问题。文章强调Rust在调试模式和发布模式下的不同表现，可能导致对安全性的误解。

Rust Solana 智能合约整数溢出区块链安全编程错误

Sec3dev
发布于 2021-10-15
阅读 ( 497 )

X-Ray：Solana智能合约的漏洞扫描器

本文介绍了X-Ray，一个用于自动扫描Solana智能合约的安全工具，旨在检测常见安全隐患。文章中列出了Solana智能合约中常见的五类问题，并通过代码示例说明了如何检测和修复这些问题。最后，文章还提供了X-Ray的使用和安装方式。

Solana X-Ray 智能合约安全工具漏洞扫描 Rust

Sec3dev
发布于 2021-10-09
阅读 ( 433 )

从以太坊智能合约到Solana程序：两种常见的安全陷阱及其挑战

本文讨论了以太坊智能合约与Solana程序之间的关键区别，特别是在代码与数据的耦合与解耦方面，并介绍了Solana程序中常见的两种安全漏洞。这些问题的存在使得Solana程序在性能与安全性之间面临挑战，同时提供了相关的解决建议和资源。

Solana程序以太坊智能合约安全漏洞性能 Rust

Sec3dev
发布于 2021-10-08
阅读 ( 366 )

Solana交易深度分析

本文记录了一位以太坊开发者深入了解Solana交易过程的经历，特别是创建和铸造代币的细节。通过对Solana交易结构的分析，文章详细介绍了交易中涉及的账户、签名、元数据和指令，并对与以太坊的不同之处进行了比较。最后，作者总结了在此过程中学到的关于Solana的知识。

Solana 交易结构代币铸造账户程序区块链

asmiller1989
发布于 2021-09-15
阅读 ( 681 )

使Solana成为首个网络规模区块链的8项创新

本文介绍了Solana区块链的8项创新技术，重点说明了这些创新如何使Solana达到每秒50000笔交易的性能。通过Proof of History、Tower BFT等技术，Solana成功地实现了高效的交易处理和区块传播，使其成为首个真正的网络规模区块链。

Solana 区块链交易处理 Proof of History 高性能 Tower BFT

anatoly_3185
发布于 2021-05-20
阅读 ( 493 )

Tower BFT：Solana实现的高性能PBFT算法

本文详细介绍了Solana区块链中的Tower BFT技术，它是一种基于PBFT的高性能实现，利用Proof of History（PoH）作为共识前的时钟，减少消息传递开销和延迟。文章还探讨了Tower BFT的工作原理、时间管理机制及其在Solana网络中的实际应用。

Tower BFT Solana Proof of History PBFT 区块链共识机制

anatolyyakovenko
发布于 2020-02-25
阅读 ( 706 )

Solana中的流水线：交易处理单元

本文深入探讨了Solana网络在实现快速交易确认和高效事务复制过程中的技术细节，重点介绍了采用了流水线设计的交易处理单元（TPU），以及其在网络节点间高效传播区块的策略（Turbine）。此外，文中还提及Solana的其他关键创新，如历史证明（Proof of History）和并行处理能力等，进一步阐释了其成为web级区块链的可行性与技术优势。

Solana 交易处理单元流水线区块传播历史证明高性能区块链

andrewhyde
发布于 2020-02-25
阅读 ( 613 )