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

深入研究椭圆曲线（第四部分）

in  密码学101
本文深入探讨了椭圆曲线上的函数与映射，包括群的同态、同构、扭曲及其在密码学中的应用。作者解释了如何通过这些概念构建更复杂的算法，以及它们在有限域上的数学特性和意义。文章结构清晰，逻辑严谨，为读者提供了深入的技术理解。
椭圆曲线  函数  同态  同构  扭曲  密码学 

[转] Web3 Frontline 专访登链社区创始人Tiny熊

转载一篇 Web3Frontline对我的访谈，算是登链简单总结和思考。
Tiny熊 
  • Tiny熊
  • 发布于 2025-03-05
  • 阅读 ( 1884 )
  • ( 8 )

AI Agent框架指南 [2]：实现类似DeepSeek R1的推理模型

该文将会引导用户一步一步实现AI Agent中有趣的功能，Thinking。
  • BoxChen
  • 发布于 2025-03-05
  • 阅读 ( 1116 )
  • ( 22 )

比特币 - bips/bip-tap.mediawiki，位于Roasbeef/bips - Roasbeef

该文档描述了TAP，一种构建在比特币区块链之上的Taproot原生资产协议。Taproot Assets允许在比特币上表示任意资产，而不会使基础链膨胀。该协议设计使得与Taproot Assets交互的交易与普通交易无区别。Taproot Assets 通过一个嵌套的资产脚本树扩展了基础 Taproot 脚本树，资产脚本树提交到有效的见证作为结构化元数据，允许跨交易图移动资产的证明。
Taproot  资产协议  比特币  Merkle树  资产发行  资产转移 

合约测试 - 如何定义不变性

本文深入探讨了不变性（invariants）在智能合约安全中的重要性，特别是如何在ERC4626金库中定义不变性。作者详细阐述了不变性定义的过程，并介绍了四种属性类型，帮助开发者理解如何构建安全的智能合约。文章结构清晰，包含丰富的示例和图示，适合有一定基础的开发者阅读。
不变性  智能合约  ERC4626  安全性测试  属性定义  正式验证 
  • Recon
  • 发布于 2025-03-05
  • 阅读 ( 1143 )
  • ( 39 )

延迟执行设计权衡

本文分析了三种延迟执行的设计方案，包括Proposer的延迟执行状态根包含、通过跳过交易的延迟执行以及通过Payload和区块分离的延迟执行。文章从区块准备时间、传播时间、验证时间以及实现复杂性等方面，对这些方案进行了对比分析，旨在理解不同设计在特定复杂性下如何实现所需的协议属性。
延迟执行  EIP-7862  EIP-7886  EIP-7732  状态根  区块传播 

通过Ethers.js 库进行合约交互

前言本文通过Ethersjs库实现和智能合约的交互全流程流程；工具前端项目引入ethersjs库给浏览器安装一个钱包插件例如：MetaMaskopenzeppelin库编写合约合约部分合约//SPDX-License-Identifier:MITpragmasolid
  • 木西
  • 发布于 2025-03-05
  • 阅读 ( 861 )
  • ( 10 )

Fragmetric：再质押的新标准，只有在 Solana 上才有可能

Fragmetric 是 Solana 上的原生流动性再质押协议，它利用 Solana 的 Token-2022 标准和 Transfer Hook 功能，实现了链上奖励分配机制，解决了以太坊再质押生态系统中存在的扩展性问题、奖励计算复杂以及 AVS 代币的抛售压力等问题。通过链上追踪用户贡献并直接分配奖励，Fragmetric 有望为再质押生态系统树立新标准。
再质押  流动性再质押  Solana  Token-2022  Transfer Hook  AVS 

Bybit 14 亿美元盗窃案：黑客如何利用 Safe 基础设施实施攻击

这篇文章详细分析了Bybit交易所创下的14亿美元黑客事件，揭示了Safe基础设施被攻击的过程。文章通过提供攻击细节、技术分析以及安全建议，强调了多签名钱包在安全验证中的重要性，以及在面对精明的攻击者时保持高标准的操作安全（OpSec）的必要性。
黑客  多签名  安全分析  Bybit  Safe  操作安全 
  • Cyfrin
  • 发布于 2025-03-05
  • 阅读 ( 1076 )
  • ( 11 )

Solana 钱包简介

本文介绍了Solana钱包的概念和功能，重点阐述了如何安全存储私钥、发送和接收Solana及SPL代币、与Solana去中心化应用互动等多种功能，此外还列举了一些常见的Solana钱包以及相关链接以供深入了解。
Solana  钱包  加密货币  私钥  去中心化应用  DeFi 

Solana笔记 09.详解 IDL

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

稳定币项目构建 (二）

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

move泛型个人理解

in  sui_从task到实战
个人对泛型概念的一点理解
  • obj3ct
  • 发布于 2025-03-04
  • 阅读 ( 742 )
  • ( 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。
威胁建模  软件开发生命周期  安全风险  安全控制  威胁分析  风险评估 

什么是智能账户？

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
  • 阅读 ( 835 )
  • ( 6 )