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

同态映射

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

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

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

AOS 2.0 都有哪些让人兴奋的更新（附 Demo）

AOS 2.0 发布更新已经一周时间了。这次更新可谓是研发者的福音，尤其是其中的消息等待机制，让开发者不用再陷入繁杂的异步调用网络中。那么接下来让我们一睹为快吧！

解析 Avail DA

解析 Avail DA
Avail  模块化区块链 

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

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

程序员的基本群论

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

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

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

Solidity常见安全漏洞

本文探讨了Solidity智能合约中常见的安全漏洞，包括访问控制失效、未经验证的外部调用、重入攻击、整数溢出/下溢、Gas耗尽情况、Oracle数据陈旧和操纵等问题。强调了智能合约安全的重要性，并建议开发者在部署前进行代码审计，并使用安全工具来尽早发现和修复漏洞。
Solidity  智能合约  安全漏洞  重入攻击  整数溢出  Gas耗尽  oracle 
  • Dedaub
  • 发布于 2024-08-28
  • 阅读 ( 868 )

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

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

Allora：超越独立系统的去中心化人工智能

Allora是一个去中心化的人工智能网络，它利用点对点的人工智能模型云，通过情境感知和协作推理生成来增强学习。该网络基于Cosmos构建，具有多种用途，包括DeFi、DAO、游戏和可再生能源。Allora还利用zkML来确保人工智能操作的隐私和安全。
去中心化人工智能  机器学习  Cosmos  ZKML  DeFi  DAO 
  • DAIC
  • 发布于 2024-08-28
  • 阅读 ( 18 )

【Solidity Yul Assembly】3.1 | Calldata

in  Solidity Yul Assembly 内联汇编
在 Solidity 中关于 tx.data 有约定俗成的用法。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-08-28
  • 阅读 ( 2334 )
  • ( 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
  • 阅读 ( 1749 )
  • ( 17 )

web3入门3 | 以太坊那些事

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