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

零知识编程语言

文章介绍了零知识证明编程语言的工作原理，并列举了几种流行的零知识证明编程语言，如Circom、Zokrates、Noir和Cairo，同时讨论了它们在区块链和隐私保护中的应用。
零知识证明  编程语言  circom  ZoKrates  Noir  Cairo 

ELI5：什么是IBC？

这篇文章深入探讨了跨链通信协议（IBC），介绍了其工作原理、运输层和应用层的结构，以及IBC在解决区块链孤岛问题方面的重要性。通过无缝的数据传输和信任最小化的设计，IBC使得不同区块链之间能够实现安全和可靠的交互，为去中心化金融和其他应用的发展奠定基础。
Inter-Blockchain Communication  IBC  跨链  区块链互操作性  信任最小化  Cosmos SDK 
  • IBCteam
  • 发布于 2022-12-24
  • 阅读 ( 261 )

通道可升级性将如何提升跨链互操作性

这篇文章详细介绍了IBC协议中的通道可升级性特性，解释了它的必要性、设计概述以及访问控制机制。通过通道可升级性，链可以更新其应用模块而无需创建新通道或进行网络升级，从而保持现有通道的状态和流动性。文章结构清晰，内容丰富，适合对区块链通信协议感兴趣的开发者。
IBC  通道可升级性  区块链  Cosmos  应用模块  中继 
  • IBCteam
  • 发布于 2022-12-24
  • 阅读 ( 241 )

Avalanche Warp Messaging（AWM）在 Avalanche 上推出首个原生子网到子网消息……

Avalanche Warp Messaging (AWM) 在 AvalancheGo Banff 5 中推出，为所有 Avalanche 子网带来快速、可靠的本地通信。
Avalanche  子网  Avalanche Warp Messaging  AWM  BLS 多重签名  跨链通信 

什么是 零知识证明：ZK-SNARKs？|Tokenview

零知识证明（Zero-knowledgeproofs）是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK证明也称为有效性证明，最初用于隐藏以隐私为中心的区块链中的交易细节。
zkSNARK  零知识证明 
  • Tokenview
  • 发布于 2022-12-23
  • 阅读 ( 5848 )
  • ( 25 )

Oasis 如何在 TEE 漏洞的情况下保护隐私

本文介绍了Oasis网络如何利用受信执行环境（TEE）技术保护隐私，特别是在面对如Æpic等漏洞时的应对措施。文章详细阐述了Oasis如何通过多层安全机制确保数据完整性并支持灵活的隐私保护解决方案，同时与其他保密计算方法如FHE、MPC和ZKP进行了比较，指出TEE的优越性和实用性。
Oasis网络  受信执行环境  隐私保护  Æpic攻击  智能合约  区块链安全 

如何理解Uniswap v3 流动性头寸的价值

如何理解Uniswap v3 流动性头寸的价值
Uniswap 
  • songmint
  • 发布于 2022-12-23
  • 阅读 ( 4201 )
  • ( 47 )

在SGX中运行Geth：我们的经验、教训和代码

本文详细介绍了Flashbots在SGX中运行Geth的实现过程及所遇到的挑战，包括状态存储、初始同步和信息泄漏等问题，并提供了相应的解决方案和未来的研究方向。文章强调了在可信执行环境中应用Geth的可行性、性能和资源消耗，并呼吁合作和探索此领域的新方法。
SGX  Geth  可信执行环境  加密技术  以太坊主网  Gramine 

2022：22张定义加密货币年度的图表

本文回顾了2022年加密市场的关键图表和趋势，探讨了多种市场指标的变化及其对行业未来的影响。通过22张图表，文章详细分析了加密货币交易量、市场资本化、流动性、投资者信心和DeFi表现等方面，提供了对2023年可能趋势的洞见。
加密货币  市场资本化  流动性  DeFi表现  交易量  2022年回顾 

如何使用DAI稳定币的授权功能

本文深入探讨了以太坊网络的Gas费用及DAI合约中的Permit功能，通过本地搭建示例展示了如何使用该功能，帮助开发者降低交易费用。文章也提供了代码示例及具体操作步骤，附带了图示和测试环境的设置，适合希望了解ERC20Token管理与Gas优化的开发者。
Gas费用  ERC20  DAI合约  Permit功能  智能合约  EIP712 

作为Layer2赛道的领跑者，如何理解 Arbitrum？|Tokenview

上周我们介绍了以太坊L2扩展解决方案Optimism，本周我们继续介绍另一个L2解决方案——Arbitrum。Arbitrum是以太坊的一个OptimisticRollupL2可扩展性解决方案。
Arbitrum 
  • Tokenview
  • 发布于 2022-12-22
  • 阅读 ( 3085 )
  • ( 11 )

关于形式验证智能合约的五个误解

本文深入探讨了形式验证在智能合约中的重要性，驳斥了关于形式验证的多种误解，强调其在代码开发过程中及早介入的重要性，以及如何提高智能合约的安全性。形式验证不仅能帮助发现安全漏洞，还能通过清晰的规范来保障代码的正确性。
形式验证  智能合约  安全性  代码规范  编程错误  去中心化金融 
  • Certora
  • 发布于 2022-12-22
  • 阅读 ( 178 )

解构 Solidity 合约 #3：函数包装器

in  理解 EVM - 探究Solidity 背后的秘密

解构 Solidity 合约 3：函数包装器
EVM  Solidity  智能合约 

Hardhat以太坊智能合约开发框架基础教程

Hardhat以太坊智能合约开发框架基础教程
Hardhat 
  • Chain哥
  • 发布于 2022-12-21
  • 阅读 ( 4945 )
  • ( 13 )

Solidity如何优化Gas费用

Solidity如何优化Gas费用
Solidity  gas优化 

一文解决 web3 合约 ethers 交互基础

一文解决 web3 合约 ethers 交互基础
ethers.js 
  • 1_bit
  • 发布于 2022-12-21
  • 阅读 ( 8470 )
  • ( 24 )

教程：如何在没有 Web 界面的情况下创建 ERC20桥

本篇是关于Node.js脚本管理ERC20桥的一个教程。
ERC20  桥 

每周以太坊进展 2022/12/17

每周以太坊进展 2022/12/17
每周以太坊 
  • EthWeekly
  • 发布于 2022-12-20
  • 阅读 ( 3333 )
  • ( 67 )

深入解读 Uniswap v3 新特性

深入解读 Uniswap v3 新特性
Uniswap V3 
  • EthTaipei
  • 发布于 2022-12-19
  • 阅读 ( 3511 )
  • ( 147 )

Uniswap V3 释疑: 集中流动性, 无常损失和滑点

Uniswap 协议是一组原生的ETH的智能合约，它可以实现 ERC20代币与ERC20代币的交换, 以及ERC20代币与ETH之间的的交换。
Uniswap V3 
  • songmint
  • 发布于 2022-12-19
  • 阅读 ( 7426 )
  • ( 60 )