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

Plonky2 论文翻译

本文是 [Plonky2: 使用 PLONK 和 FRI 的快速递归论证](https://docs.rs/crate/plonky2/latest/source/plonky2.pdf) 论文中文翻译.
zk  Plonky2 
  • longerd
  • 发布于 2024-12-04
  • 阅读 ( 1115 )
  • ( 29 )

什么是区块链未确认交易？

区块链未确认交易是指已发送到网络但尚未被纳入区块的交易。交易可能因未被节点选择或处于分叉链中而未确认。交易在生命周期中经历多个阶段，最常见的原因是低交易费用或网络分叉，最终确认需要等网络达成共识。
未确认交易  区块链  交易费用  分叉  确认  mempool 
  • cyfrin
  • 发布于 2024-12-04
  • 阅读 ( 423 )

零知识证明基础知识

本文介绍了零知识证明（ZKP）的基本概念、原理、类型及其应用。零知识证明是一种密码学技术，允许一方（证明者）在不透露数据内容的情况下，向另一方（验证者）证明该数据的真实性。文章详细解释了交互式和非交互式零知识证明，并探讨了它们在身份验证、金融、电子投票、供应链等多个领域的应用。
零知识证明  密码学  zk-SNARK  zk-STARK  Bulletproofs  交互式零知识证明 

使用单向支付通道的 ecash 铸币厂：无节点的闪电钱包

本提议介绍了一种自主保管的积分系统，可以安装在现有的 ecash 铸币厂的前置位置。用户的余额保管在一个免信任的积分合约中，可以随时（比如在支付的时候）在链下换成 ecash token。
Ecash 

Schnorr 簽名：透過 ecrecover 實現高效驗證

本文深入探讨了椭圆曲线密码学（ECC）和Schnorr签名的运作原理，特别是如何通过聚合和批量验证来提升效率。同时，文章与其他数字签名算法（如ECDSA）进行了对比，分析了它们的优劣，以及Schnorr签名在区块链上的实际应用，尤其是在以太坊中的整合。
数字签名  椭圆曲线密码学  Schnorr签名  ECDSA  区块链  以太坊 

什么是 Dino Coins 以及DeFi OGs的演变

本文探讨了DeFi OG（老牌项目）及新兴项目的代币经济学演变，尤其是像MakerDAO、Aave、Compound等传统协议如何适应新的市场环境。文章分析了各项目的代币机制及治理结构的变化，并指出传统DeFi的复杂性与新兴项目的简单化之间的矛盾，同时强调了市场情绪在代币成功中的重要性。
Tokenomics  DeFi  治理  代币机制  Aave  Makerdao 

透明代理 vs UUPS：智能合约升级模式全景解析与实用指南

in  Web3
透明代理vsUUPS：智能合约升级模式全景解析与实用指南随着区块链技术的不断发展，智能合约的升级能力成为项目长期发展的关键需求。其中，透明代理（TransparentProxy）和UUPS（UniversalUpgradeableProxyStandard）是两种主流的升级模式。本文
合约  合约升级  Web3  Solidity  UUPS  透明代理 

sui move实现股票分红的一种实现

1.需求:使用suimove实现购买股票，根据股票分红sui支持把钱转给一个对象地址，提供一种机制，将对象地址拥有的钱，提取到这个对象的owner的钱包。如下图,12:用户A发布合约,拥有分红权限34:用户B花钱购买了股票,合约里面增加了钱5:将股票自由转移
Sui Move 

Cashu：开端中总蕴藏着魔力

在 90 年代，新旧世界交替，一开始是缓慢的，但突然就加速了；技术人员、社会活动家、政策制定者，甚至哲学家，都明白了，随着互联网的壮大 —— 以及我们每日花在网络世界中的时间增加 —— 政府和企业建造终极全景监狱（panopticon）的能力会变成对现代社会的最大威胁之一。他们当然是对的。
Ecash 

实用工具 - 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
  • 阅读 ( 1114 )
  • ( 43 )

Bitcoin Script

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

Mina Learning - Polynomial commitment

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

EIP7480 EOF - 数据部分访问指令

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

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

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

以太坊中的带宽可用性：区域差异与网络影响 - 网络

本文由 ProbeLab 团队发布，旨在评估以太坊网络在 Dencun 升级后，特别是引入 Blob 交易后，对于增加 Blob 数量的承受能力。通过对以太坊主网上大量节点的带宽测量，分析了不同地区、不同基础设施和不同客户端的带宽可用性，以及在不同slot时间段内的带宽变化。研究表明，当前网络状态可以合理支持将 blob 目标值/最大值从 3/6 增加到 6/9。
以太坊  Dencun 升级  blob 交易  带宽测量  网络性能  gossipsub 

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

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

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

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

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

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

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

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