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

同态映射

in  零知识证明之书

本文通过多个例子详细解释了同态映射的概念，并探讨了其在加密技术和零知识证明中的应用。文章结构清晰，分为简单和复杂例子两部分，并附有详细的数学公式和Python代码示例。
同态映射  加密  零知识证明  代数结构  群论  有限域 

多项式承诺通过 Pedersen 承诺实现

in  零知识证明之书

本文详细介绍了多项式承诺机制的原理和实现，特别是如何使用Pedersen承诺和椭圆曲线来验证多项式在特定点的估值，而不泄露多项式本身。文章还讨论了验证步骤的工作原理和为什么验证者无法被欺骗。
多项式承诺  Pedersen Commitment  椭圆曲线  验证  离散对数  证明 

解析 Avail DA

解析 Avail DA
Avail  模块化区块链 

使用 Sway 构建去中心化英式拍卖

本文详细介绍了如何使用 Sway 编程语言构建一个去中心化的英语拍卖合约，包含了拍卖的基本原理、安装工具的步骤、合约的结构与实现细节。通过代码示例，读者能够学习如何创建拍卖、出价、取消拍卖及提取资产，并且文中还强调了对数据结构、错误处理和事件的管理。最后，文章还提到了如何为拍卖应用程序实施测试，确保代码的正常运作。
去中心化拍卖  Sway  合约  区块链  Web3  智能合约 

程序员的基本群论

in  零知识证明之书

本文详细介绍了代数群的基本概念，通过多个例子帮助读者建立对群的直觉，包括群的定义、阿贝尔群、有限群、循环群等，并探讨了这些群在零知识证明中的应用。

永续合约DEX知识科普：从应用模式、生态概览到前景展望

永续合约DEX不仅局限于交易场景，它正在拓宽区块链的应用范畴，为web3的mass adoption铺路
DEX  永续合约 
  • 仙壤
  • 发布于 2024-08-28
  • 阅读 ( 1347 )

在solidity中，函数的四种可见性区别和联系

in  Solidity从入门到进阶

基本概念：在Solidity中，函数的可见性（Visibility）定义了谁可以访问该函数。主要有四种可见性修饰符：private（私有）、internal（内部）、public（公共）和external（外部）。
函数可见性 
  • Louis
  • 发布于 2024-08-28
  • 阅读 ( 1558 )
  • ( 9 )

【Solidity Yul Assembly】3.1 | Calldata

in  Solidity Yul Assembly 内联汇编

在 Solidity 中关于 tx.data 有约定俗成的用法。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-08-28
  • 阅读 ( 1752 )
  • ( 11 )

零时科技 || HFLH 攻击事件分析

我们检测到BnbSmartChain的HFLH项目遭到攻击，攻击者通过此次攻击获利约 9.099 BNB 约为 5300 USD 。
黑客攻击  安全事件  区块链安全 

区块链技术对金融服务影响 - 回顾与展望

本文探讨了区块链技术对金融服务的未来影响，作者从个人经历出发，强调无权限区块链已经改变了全球金融架构，并探讨其为金融基础设施降低建设成本及促进竞争的潜力。文章还指出区块链不仅仅是金融领域的工具，未来还将在更广泛的社会应用中发挥作用。
区块链  金融基础设施  加密技术  去中心化  公共服务  社会现象 

抽象代数

in  零知识证明之书

本文介绍了抽象代数中的基本概念，如群、半群和 Monoid ，并解释了它们在零知识证明中的应用。
抽象代数  群论  半群  零知识证明  二进制运算  Monoid 

从R1CS构建零知识证明

in  零知识证明之书

文章详细介绍了如何通过将Rank 1 Constraint System (R1CS)中的见证向量转换为有限域椭圆曲线点，并使用双线性配对来实现零知识证明。文中还讨论了验证步骤的实现细节，并指出了该算法在实际应用中的低效性。
零知识证明  R1CS  椭圆曲线  双线性配对  见证向量 

ICICLE 案例研究：利用 Brevis 加速 ZK 证明

Brevis 集成了 Ingonyama 的 ICICLE 加速库，显著提升了零知识证明的性能，特别是在多标量乘法（MSM）和数论变换（NTT）等关键操作上，实现了高达 70% 的加速。通过此次集成，Brevis 能够更高效地处理大规模数据集上的复杂计算，并扩展其在区块链领域的应用，例如数据驱动的 DeFi、zkBridges 和 zkDID 等。
零知识证明  ZK证明  zk  ICICLE  Brevis  Groth16 

使用Python实现拉格朗日插值

in  零知识证明之书

介绍了拉格朗日插值法，通过一组点计算一个经过这些点的多项式，并提供了Python代码示例。
拉格朗日插值  多项式  Python  有限域  向量 

可信设置

in  零知识证明之书

文章介绍了ZK-SNARKs中使用的可信设置机制，详细解释了如何在保密值上计算多项式，并提供了Python代码示例。
zk-SNARKs  可信设置  多项式  结构化参考字符串  椭圆曲线群 

web3入门番外篇 | Solidity简明教程

Solidity简明教程本教程适用于有语言基础，速查或者快速入门。
web3入门 
  • netlogs
  • 发布于 2024-08-27
  • 阅读 ( 1280 )
  • ( 17 )

web3入门3 | 以太坊那些事

公链之王以太坊上一期我们介绍了去中心化、区块链，比特币；那为什么还有以太坊呢？它是什么？解决了什么问题？以太坊解决了什么问题？先来看看以太坊对自己的定义：以太坊是新一代的智能合约和去中心化应用看不懂没关系，先不看。回顾比特币，我们可以发现他的去中心化仅仅体现在了交易上，有了比特币，我们
web3入门 
  • netlogs
  • 发布于 2024-08-27
  • 阅读 ( 1027 )
  • ( 11 )

如何开始你的第一个 Uniswap V4 Hook：必备知识、库和风险

本文介绍了如何创建 Uniswap V4 的第一个Hook，包括必需的库、合约结构和安全风险等内容。通过逐步引导，读者可以了解到如何实现自定义流动性池行为以及注意事项，并给出了完整的Hook模板代码。
uniswap v4  钩子  流动性池  智能合约  Solidity  去中心化金融 
  • bloqarl
  • 发布于 2024-08-27
  • 阅读 ( 204 )

深入探讨 Go 语言中的自定义 Zap 日志

in  Go 语言

深入探讨Go语言中的自定义Zap日志zap日志：https://github.com/uber-go/zapzap包提供快速、结构化、分级的日志记录。一、日志写入文件zap.NewProduction、zap.NewDevelopment是预设配置好的。zap.New可自

不标准的 ERC2612：Permit 滥用零地址“僵尸资金”

不标准的 ERC2612 导致可利用 permit 滥用零地址的“僵尸资金”
ERC2612  permit 
  • Q1ngying
  • 发布于 2024-08-27
  • 阅读 ( 1199 )
  • ( 21 )