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

实用工具 - OpenZeppelin 文档

本文档是 OpenZeppelin 合约库中 Utilities 模块的 API 文档，介绍了各种实用合约和库，包括数学运算、安全类型转换、ECDSA 签名、哈希函数、Merkle 证明、EIP712 签名、可重入保护、可暂停功能、计数器、ERC165 接口检测、位图、可枚举的 Map 和 Set、双端队列、环形缓冲区、检查点、堆、Merkle 树、CREATE2 部署、以及 address、arrays、bytes、strings 相关的实用函数。
OpenZeppelin  合约  安全  实用工具  数据结构  加密 

Ordinals Inscription

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

Bitcoin Script

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

Mina Learning - Polynomial commitment

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

EIP7480 EOF - 数据部分访问指令

本文介绍了四条在EOF1引入的新指令：`DATALOAD`、`DATALOADN`、`DATASIZE`和`DATACOPY`，旨在对EOF容器的数据部分进行读取。新的指令设计遵循现有数据读取指令的模式，并在保持向后兼容的情况下，优化了数据的访问和复制方式。
EOF1  EVM  DATALOAD  DATACOPY  数据部分  EIP7480 

通过多维EIP-1559优化以太坊的Gas效率

本文深入探讨了多维EIP-1559费用市场的概念及其对以太坊可扩展性的重要性。多维 gas 定价通过将资源成本分开来优化以太坊的资源利用效率，从而提高平台的交易管理能力。文章分析了实施多维定价的挑战和不同方案，并结合实例阐明其潜在优势，最后指出这一模型在提升网络效率和安全性方面的必要性。
EIP-1559  多维定价  以太坊  费用市场  可扩展性  资源优化 

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

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

连续只读内存约束：一个使用Lambdaworks的实现

本文深入探讨了STARKs中约束的概念，并通过Lambdaworks库，以Cairo的非确定性连续只读内存的约束实现为例，详细解释了如何使用多项式来总结trace values之间的高度复杂关系。文章详细介绍了连续只读内存的定义，以及如何通过引入排序和辅助列，将验证内存属性简化为验证连续性约束、单值约束和排列约束。
STARKs  约束  Cairo  只读内存  多项式  Lambdaworks  密码学  零知识证明 

SOL链网络参数是什么？SOL链网络配置?

SOL链已经从FTX暴雷影响中逐步回温，其生态仍然繁荣，尤其是PoH的应用，让SOL链领跑高性能公链，基本触及了无分片公链可长期维持的TPS瓶颈。另外，SOL链还推出了一系列技术更新，对部分安全问题提供了针对性的修复方案，显示出良好的安全意识、发展性的技术能力和较强的可持续性，从种种迹象表明，SOL
  • 想样
  • 发布于 2024-12-03
  • 阅读 ( 1384 )
  • ( 34 )

Sui Move 调试Debugging和test_scenario单测工具使用

熟练掌握 debug 和 test_scenario 这两个工具包，开发者在 Move 开发中遇到问题时，便能够高效地进行调试与模拟测试，极大提升开发效率与代码质量。
Sui Move 

区块链基础

文章介绍了区块链技术的起源、基本原理及其对社会的潜在影响，包括去中心化、数据不可篡改和消除中间人等特性。
区块链  去中心化  共识机制  比特币  以太坊  智能合约 

汇编回滚

in  代理模式与 Delegatecall 规范手册
本文详细介绍了如何通过内联汇编更高效地实现 Solidity 中的回滚操作，深入探讨了 `mstore` 和 `mstore8` 操作码的使用方式，并通过示例代码展示了如何在汇编中实现无消息回滚、自定义错误回滚以及带有原因字符串的回滚。
Solidity  回滚  汇编  mStore  mstore8  gas优化 

Solidity语言 - Yul是什么？ - Quicknode

这篇文章详细介绍了Yul语言，作为以太坊上智能合约的低级语言，具有更高的代码执行效率。文章包括Yul的语法、数据类型、控制流、函数以及Yul和Solidity的对比，并提供了一些示例代码和编译工具的推荐，以帮助开发者理解和应用Yul语言。文章结构清晰，内容丰富，有助于熟悉低级编程概念的开发者进行智能合约优化。
Yul  智能合约  以太坊  低级编程  代码优化  代币 

每周以太坊进展 2024/11/30

Tornado Cash 合约在现行法律下无法被制裁，Pectra 升级中的 blob 增加，以及以太坊协议攻防赛
每周以太坊 
  • EthWeekly
  • 发布于 2024-12-02
  • 阅读 ( 1448 )
  • ( 55 )

使用 OpenZeppelin Defender 自动化智能合约交易以实现每小时活动

本文介绍了如何使用 OpenZeppelin Defender 自动化智能合约的交易。通过创建一个每小时执行一次的 Action，该 Action 会向指定合约发送交易，从而实现自动向 Box 合约中添加对象并增加对象数量的功能。
OpenZeppelin Defender  自动化  智能合约  交易  定时任务  Relayer  Action 

Solana集群和公共 RPC 端点

Solanablockchain有几个不同的验证组，被称为[Clusters]。每个集群在整体生态系统中担任不同的目的，并包含专用的api节点来满足其各自集群的JSON-RPC请求。集群中的各个节点由第三方拥有和运营，每个都有一个公共端点可用。Solana公共RPC
  • 想样
  • 发布于 2024-12-02
  • 阅读 ( 1981 )
  • ( 54 )

MEV机器人：如何保护自己 - CoW DAO

本文介绍了MEV（最大可提取价值）及其对以太坊交易者的影响，特别是MEV机器人如何通过利用价格差异和交易机制来获取利润。文章还提供了多种保护措施，包括使用低滑点、在高流动性池中交易、安装MEV保护RPC（如MEV Blocker）以及使用基于意图的交易解决方案（如CoW Swap），以最大限度地减少MEV机器人的负面影响。
MEV  MEV 机器人  三明治攻击  前置交易  后置交易  滑点 
  • CowSwap
  • 发布于 2024-12-02
  • 阅读 ( 256 )

FLock.io：人工智能民主化的基础层

文章探讨了当前AI行业缺乏透明度和信任，以及高准入门槛限制了AI应用扩展的问题。为了解决这些挑战，文章介绍了FLock.io，一个旨在通过将区块链元素与联邦学习方法相结合，实现AI模型生命周期民主化的平台，目标是创建一个更具创造性和可信赖的AI行业。
联邦学习  区块链  人工智能  数据隐私  模型训练  FLock.io 

Rust循环引用与多线程并发

in  Rust语言开发基础到通关
目录循环引用与自引用Weak与循环引用结构体中的自引用多线程并发并发和并行使用多线程线程同步：消息传递线程同步：锁、Condvar和信号量线程同步：Atomic原子操作与内存顺序基于Send和Sync的线程安全循环引用与自引用循环引用的概念循环引用指的是两
Rust  rust基础 

Mina 上的 STO 和现实世界资产

RWA和STO连接传统金融和区块链，在1860亿美元的市场中实现有形资产和金融工具的代币化所有权，并增强流动性、透明度和监管合规性。什么是STO和RWA？现实世界资产代币（RWAs）和证券型代币发行（STOs）将传统金融与区块链技术相结合。RWAs是代表有形资产（
Mina  OpenBuild 
  • King
  • 发布于 2024-12-02
  • 阅读 ( 1516 )
  • ( 9 )