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

深入解析polygon zkEVM(二)

我们将依托上篇文章建立的框架，深入polygon zkEVM关于Sequencer和Bridge更多的技术细节，同时也探讨未来潜在的去中心化Sequencer架构的不同特点。
zkEVM  Polygon zkEVM 
  • 0xhhh
  • 发布于 2023-04-13
  • 阅读 ( 4605 )
  • ( 5 )

如何利用 RGB 在闪电网络上转移另类资产

一旦闪电网络上有了稳定币和其它资产，就有可能直接在闪电网络上实现去中心化交易所功能，即，两个节点能够点对点完成比特币与其它资产的互换，不仅在交易速度和成本上比肩闪电网络付款，而且无需担心对手方风险。
比特币  闪电网络  RGB 

解析 Polygon zkEVM #1

PolygonzkEVM系列文章的第一篇，简要的阐述了polygonzkEVM的的整体架构和交易执行流程，并且分析了polygonzkEVM是如何实现计算扩容的同时继承以太坊的安全性的。
zkEVM  Polygon zkEVM 
  • 0xhhh
  • 发布于 2023-04-10
  • 阅读 ( 4597 )
  • ( 6 )

比特币钱包备份方案简史

采用更高级的锁定策略（哪怕只是基础的多签设置，不依赖于隐性排序密钥）有可能通过设置超时时间、门限签名方案和额外的解锁路径为用户带来更高的安全性。
比特币  钱包 

科普: 零知识证明与zkRollup的基础知识

科普零知识证明，为什么需要零知识证明
零知识证明 

关于 Anchor 账户大小的所有信息

本文对 Rust 中 Anchor 智能合约的账户大小计算进行了比较，分析了使用 _std::mem::size_of_ 与 Anchor 官方空间参考之间的异同。尽管 _std::mem::size_of_ 在大多数情况下准确，但在处理某些数据类型，如 Vec 和 Enum 时可能导致不一致的结果，因此建议开发人员根据 Anchor 文档手动计算账户大小。
智能合约  Rust  Anchor  数据结构  序列化  Solana 
  • Sec3dev
  • 发布于 2023-04-07
  • 阅读 ( 730 )

Solidity 精度损失错误

本文深入探讨Solidity编程中数值运算可能导致的精度损失问题，包括除法后乘法、向下取整至零、未进行精度缩放、过度精度缩放、精度缩放不匹配、向下转型溢出以及协议价值因四舍五入而泄露等，并提供了避免这些问题的实用建议和代码示例。
Solidity  精度损失  数值运算  智能合约  漏洞  安全 
  • Dacian
  • 发布于 2023-04-05
  • 阅读 ( 145 )

使用Automation、Gelato和Defender 进行合约自动化执行

ChainLink Automation、Gelato Network 和OpenZeppelin Defender 三个自动化合约执行工具对比。
Chainlink  Gelato  智能合约 

Snapshot - 技术架构

本文介绍了 Snapshot 投票平台的架构。Snapshot 是一个开源的投票平台，允许组织轻松且无需 gas 费地进行投票。文章详细描述了 Snapshot 的技术架构，包括用户界面、后端逻辑（Sequencer、投票和验证策略、Score API），以及数据层（IPFS和MySQL数据库），并解释了投票过程中各组件的交互。
Snapshot  投票平台  DAO治理  IPFS  sequencer  链下投票 

科普：零知识证明、ZKRollup 与 zkEVM

译者语：2023 年将迎来 zkEVM 大发展，让我们看看有哪些项目在进行 zkEVM 的研究，zkEVM 可以做什么
zkEVM  ZK Rollup 

PoS 系列 #2-Epoch，Slot 与信标区块

in  以太坊中文 · ETH
本文将介绍 PoS 机制下的时间表、验证者委员会的分配过程以及信标区块的组成。
PoS  信标链  共识层 

签名重放攻击

本文深入探讨了以太坊交易中签名验证的潜在安全漏洞，包括重放攻击（缺失 Nonce、跨链重放）、缺少参数、签名过期、未检查 ecrecover() 返回值以及签名可延展性。文章通过具体的代码示例和漏洞案例，强调了智能合约开发者在签名实现中必须注意的关键安全问题和防范措施。
签名重放攻击  nonce  跨链攻击  ecrecover  ECDSA  EIP-712 
  • Dacian
  • 发布于 2023-03-29
  • 阅读 ( 51 )

stark 证明实操 python 实现 04

通过stark证明实操python实现04
Python  zkSTARK 

SuperNova

IVC 是一种强大的密码原语，它使我们能够以增量方式证明计算的完整性。 该策略非常适合虚拟机执行和具有动态控制流的通用程序.
密码学 
  • XPTY
  • 发布于 2023-03-27
  • 阅读 ( 3211 )

探索 Solana 上的 NFT 压缩技术

本文探讨了Solana上的NFT压缩技术，降低了NFT在区块链上的存储成本，并通过Merkle树确保数据完整性，使得大规模NFT铸造成为可能。
NFT  Solana  Merkle Tree  压缩  区块链 
  • Helius
  • 发布于 2023-03-26
  • 阅读 ( 839 )

用Hardhat在zkEVM上部署一个动态NFT

如何使用Hardhat将ERC721 NFT合约部署到zkEVM Testnet上
zkEVM 

进阶篇-多线程

in  Rust入门基础到进阶教程
多线程的使用
  • 木头
  • 发布于 2023-03-22
  • 阅读 ( 2856 )
  • ( 7 )

分析0xSplits - 收入拆分协议

0xSplits 是一个收入拆分协议，为低 Gas 实现收入拆分提供了很好的实现思路。
Gas  协议 

进阶篇-智能指针

in  Rust入门基础到进阶教程
Box，Deref和Drop trait，Rc<T>和Arc<T>，Cell<T>和RefCell<T>
  • 木头
  • 发布于 2023-03-16
  • 阅读 ( 3063 )
  • ( 5 )

Foundry 开发框架 - Solidity开发教程连载

Foundry是一个Solidity框架，用于构建、测试、模糊、调试和部署Solidity智能合约，Foundry的优势是以Solidity作为第一公民。
Foundry  DeCert 
  • DeCert.me
  • 发布于 2023-03-16
  • 阅读 ( 8242 )
  • ( 98 )