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

Solana笔记 09.详解 IDL

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

稳定币项目构建 (二）

基础测试编写，加深对该项目的理解 对应代码库：https://github.com/langjiyunmie/Defi-stablecoin/

move泛型个人理解

in  sui_从task到实战
个人对泛型概念的一点理解
  • obj3ct
  • 发布于 2025-03-04
  • 阅读 ( 930 )
  • ( 9 )

比特币 - 模拟 OP_RAND

本文提出了一种在比特币上模拟 OP_RAND 操作码的方法，通过交易对手方之间一种免信任的交互式游戏实现。该协议允许双方以概率性方式进行交互，且任何一方都不能欺诈或影响胜率。协议对外部参与者不可分辨，并且不需要比特币协议和脚本的升级。文章还以 Thimbles 游戏为例，展示了该协议的工作原理。
OP_RAND  模拟  免信任  交互式协议  Thimbles 游戏  零知识证明 

Tensor：由巅峰维度锻造

本文介绍了 Tensor 团队及其在 Solana 生态系统中构建的两个主要产品：NFT 市场和社交交易平台 Vector。Tensor 的目标是成为用户进入链上金融的入口，通过不断创新和优化用户体验，以及构建可持续的社区激励机制，旨在创建一个多维度的生态系统，提高 TNSR 持有者的价值，实现所有参与者的共同增长。
Tensor  vector  NFT 市场  社交交易平台  Solana  TNSR 

多标量乘法的带符号桶索引

本文介绍了带符号桶索引的多标量乘法（MSM）技术，也称为NAF方法。该方法通过将桶索引视为带符号整数，减少了桶的数量和内存使用。文章详细解释了如何将标量切片映射到新的范围，并提供了伪代码算法。同时讨论了处理最高切片溢出的问题，并提出了一种改进的技巧来避免最终进位。
多标量乘法  MSM  NAF方法  带符号桶索引  标量  桶 

安全 - 持续性TRAIL

本文档介绍了如何在软件开发生命周期（SDLC）中持续维护和更新威胁模型，以便更准确地反映系统的安全风险。本文详细说明了如何调整、维护和使用威胁模型，包括确定需要更新的关键组件、新增风险的跟踪，以及如何将威胁模型集成到SDLC的各个阶段，从而创建一个威胁和风险分析信息生命周期TRAIL。
威胁建模  软件开发生命周期  安全风险  安全控制  威胁分析  风险评估 

加密货币中的“惩罚（Slashing）”是什么？PoS安全

本文深入探讨了权益证明（PoS）区块链中的“惩罚（Slashing）”机制。Slashing是PoS区块链为确保网络安全和激励良好行为而实施的关键措施，通过对验证者（Validator）的恶意行为或不当操作处以罚款，从而保证网络的正常运行。文章还分析了不同区块链网络中Slashing机制的具体实现方式，并提供降低Slashing风险的最佳实践。
权益证明  惩罚  验证者  区块链安全  staking  委托人 
  • DAIC
  • 发布于 2025-03-04
  • 阅读 ( 40 )

什么是智能账户？

MetaMask 扩展程序 v12.17.0 及更高版本现已提供“智能账户”功能。智能账户是一种可编程账户，它比传统的 EOA 具有更多的可定制性和功能，例如交易批处理、Gas 费抽象、订阅、限价单、多重签名、社交恢复和自动批准等。通过EIP-7702 使 EOA 能够继承一些智能账户功能，例如原子批处理交易和以任何代币支付 gas 费用！
MetaMask  智能账户  EOA  EIP-7702  交易批处理  Gas 费抽象 

Optimism 中文周刊 #51

in  Optimism 中文周刊
😎✨关键信息，唾手可得；最新动态，尽在掌握；英明决策，水到渠成！

【zkMIPS系列】zkVM 中的离线内存检查

in  zkMIPS解读
在 zkVM 中，离线内存检查用于验证内存读/写的正确性，而无需每次读取时立即验证。它通过构建读集合 (RS) 和写集合 (WS)，在所有操作完成后一次性检查一致性。 为此，本文提出 **Multiset Hashing** 和 **LogUp** 两种方法。
  • ZKM
  • 发布于 2025-03-04
  • 阅读 ( 1178 )
  • ( 6 )

BitVM：通过电路抽象解锁比特币上的任意计算 - ZKSECURITY

本文深入探讨了BitVM及其变体如何通过在比特币的UTXO模型上构建电路抽象，实现对比特币上任意计算的验证。通过模拟 covenant、利用一次性签名实现状态性，以及结合时间锁等技术，BitVM 在不修改比特币核心协议的前提下，扩展了其功能，并为高效验证复杂计算开辟了道路。
BitVM  UTXO模型  电路抽象  一次性签名  Covenant  Taproot 

如何成为区块链开发者-7：复杂数据类型

本文介绍了Solidity中的两种复杂数据类型：结构体（Struct）和映射（Mapping）。结构体用于创建自定义数据类型，类似于面向对象编程中的类，而映射则类似于字典，用于存储键值对。文章通过代码示例详细解释了它们的用法，并结合一个账户管理的智能合约，展示了如何在实际应用中同时使用结构体和映射，最后还简单介绍了storage, memory, calldata。
Solidity  结构体  映射  智能合约  数据类型  storage  memory  Calldata 

EVM详解之memory

文章旨在记录过去所学知识，若文章内容存在不当，欢迎指出。EVM详解之memory
EVM  Memeory 
  • KEN
  • 发布于 2025-03-04
  • 阅读 ( 1141 )
  • ( 11 )

如何成为区块链开发者-8：继承

本文介绍了Solidity中的继承概念，包括如何使用`is`关键字实现合约继承。文章详细讲解了`virtual`和`override`关键字在函数重写中的作用，以及`internal`关键字在控制函数可见性方面的应用。最后，通过OpenZeppelin的Ownable合约示例，展示了继承在实际开发中的应用，例如权限控制。
Solidity  继承  智能合约  OpenZeppelin  virtual  override  internal 

十大智能合约审计公司与服务

本文介绍了十大智能合约审计公司及其服务，详细说明了智能合约审计的重要性，以及如何选择适合的审计服务。文章涵盖了不同公司提供的技术和专业知识，体现了在区块链项目中进行审计的必要性和益处。
智能合约审计  区块链安全  DeFi  审计公司  漏洞检测  技术评估 
  • Cyfrin
  • 发布于 2025-03-04
  • 阅读 ( 3035 )
  • ( 36 )

Vyper编程语言指南：特性、安全性与应用场景

本文详细介绍了Vyper编程语言，在智能合约开发中的安全性和简洁性，强调了其设计原则与核心特性。通过比较Vyper和Solidity，指出Vyper在安全优先和易审计性方面的优势，同时提供了安装Vyper的步骤和最佳实践，适合需要高安全性的区块链项目开发者。
Vyper  智能合约  安全性  EVM  区块链  DeFi 
  • Cyfrin
  • 发布于 2025-03-04
  • 阅读 ( 1416 )
  • ( 23 )

Go 并发编程实战：从互斥锁到 Goroutine 的优雅之道

in  Go 语言
Go并发编程实战：从互斥锁到Goroutine的优雅之道你是否曾在并发编程中被数据竞争困扰？或者为如何优雅地实现长时间运行的任务而挠头？Go语言以其简洁的并发模型闻名，goroutine和通道让复杂的并发变得直观易懂。在这篇文章中，我们将从基础的互斥锁开始，逐步深入到Go如何替代事件

Web3 极客日报 #1689

  • rebase
  • 发布于 2025-03-04
  • 阅读 ( 798 )
  • ( 8 )

揭示zkTLS的现实：基准测试与密码分析报告

本文介绍了一种开源的基准测试框架，用于比较现有开源zkTLS库的性能。研究表明，Primus提出的garble-then-prove系统在速度上领先于其他MPC-TLS解决方案，同时发现一些Proxy-TLS实现存在安全缺陷。此外，文章详细探讨了zkTLS的TLS协议概述、两种主要方法（MPC-TLS和Proxy-TLS）的实现细节及其性能测试。
zkTLS  MPC-TLS  Proxy-TLS  基准测试  安全漏洞  加密技术