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

Gear 月度更新｜2022 年 10 月

让我们共同回顾10月的进展吧！

每周以太坊进展 2023/1/14

每周以太坊进展 2023/1/14
每周以太坊 
  • EthWeekly
  • 发布于 2023-01-16
  • 阅读 ( 4347 )
  • ( 19 )

跨链桥是如何工作的？以Wormhole为例（第三部分）

in  跨链桥是如何工作的 - Wormhole
本文详细介绍了Wormhole跨链桥如何确保桥接代币的正确性，包括代币信息验证、注册流程、代币数量的处理等核心机制。通过阐述Token Attestation和相关智能合约函数，文章深入解析了Wormhole确保不同链之间代币一致性的技术原理。
跨链桥  Wormhole  代币正确性  Token Attestation  代币数量处理  区块链技术 
  • Sec3dev
  • 发布于 2023-01-15
  • 阅读 ( 1354 )

ZK-SNARKs 的算术化方案

本文介绍了零知识证明（ZKP）中将计算转换为多项式的过程，即算术化。文章详细讲解了三种主要的算术化方案：R1CS、AIR 和 Plonkish，以及它们在电路计算和机器计算中的应用。此外，文章还提到了为优化算术化过程而提出的多种技术，如查找表、SNARK 友好的密码学原语、并发证明生成和硬件加速。
零知识证明  算术化  R1CS  AIR  Plonkish  多项式 

如何将代码转换为算术电路

本文介绍了如何将计算问题转化为算术电路，从而利用zk-SNARKs进行高效验证。文章详细解释了算术电路和R1CS（Rank-One Constraint System）的概念，以及如何使用编译器将高级代码转换为算术电路。同时，讨论了非原生数据类型和操作在算术电路中的表示方法，以及SNARK友好的密码学原语的重要性。
zk-SNARKs  算术电路  R1CS  编译器  NP完全问题  密码学原语 

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

本文详细探讨了Oasis网络如何利用受信执行环境（TEE）来实现智能合约的私密执行，尽管TEE存在漏洞的风险。文章阐述了TEE的灵活性、可用性和保密性，并分析了Oasis的安全防护措施，确保不会因TEE漏洞而造成数据泄露或资金损失。同时，作者比较了TEE与其他隐私保护技术的优缺点，强调了TEEs在Web3隐私应用中的实际优势。
Oasis网络  受信执行环境  TEE漏洞  智能合约  隐私保护  区块链 

Solidity中的默尔克树终极指南

全面了解默尔克树，默尔克树使用场景，构建原理，如何构造默尔克树，如何在 Solidity 里验证默尔克树，以及 默克尔的未来...
默克尔树 

谈谈 LayerZero

本文探讨了 L2BEAT 对于跨链应用共享安全模型与孤立安全模型的分析与实验结果，指出孤立安全模型可能带来的安全风险。通过实验证明，如果应用程序可以随意定义安全政策，将给用户带来额外的风险。结尾提到 L2BEAT 将对使用 LayerZero 的每个应用进行安全风险警告，并呼吁更广泛的安全模型讨论。
L2BEAT  LayerZero  安全模型  跨链应用  孤立安全  共享安全 

渐进式去中心化：一个高级框架

这篇文章深入探讨了去中心化在Web3及传统商业中的重要性与挑战，阐述了如何规划未来的去中心化，并提供了渐进式去中心化的框架和具体指导。作者指出，去中心化并非“一刀切”，而是可以在不同维度和时间上逐步实施，以确保在保持有效决策和产品市场适应力的同时，逐渐实现更高的社区参与度和自我管理。
去中心化  Web3  自我管理组织  产品市场适应  社区参与  技术堆栈 

BRA事件 漏洞分析

BRA事件 漏洞分析
BRA  逻辑漏洞 
  • Archime
  • 发布于 2023-01-14
  • 阅读 ( 4286 )
  • ( 2 )

RoeFinance事件 漏洞分析

RoeFinance事件 漏洞分析
RoeFinance  价格操纵 
  • Archime
  • 发布于 2023-01-14
  • 阅读 ( 3939 )
  • ( 2 )

匹诺曹虚拟机：接近实用的可验证计算

本文深入探讨了零知识证明（zk-SNARKs）中的Pinocchio协议，通过将程序转化为算术电路，利用多项式编码和Schwartz-Zippel引理，实现了简洁的电路执行证明。文章详细解释了如何构造多项式来表达正确的电路执行，以及如何使用隐藏技术和算法来保证证明的有效性和安全性，最终给出了Pinocchio协议的完整流程。
zk-SNARKs  Pinocchio协议  零知识证明  算术电路  多项式编码  Schwartz-Zippel引理  R1CS 

去中心化隐私计算：ZEXE 和 VERI-ZEXE

本文介绍了ZEXE协议及其改进版本VERI-ZEXE，ZEXE旨在解决去中心化账本的隐私和可扩展性问题，允许用户在公共账本上运行私有应用程序。VERI-ZEXE通过改进证明系统和密码学原语，如使用PLONK作为PIOP、轻量级验证电路、实例合并、批量证明等，显著提升了性能并降低了计算成本。
ZEXE  VERI-ZEXE  zk-SNARKs  PLONK  多标量乘法  累积方案 

UFDao 漏洞分析

RoeFinance事件 漏洞分析
UFDao  安全事件分析 
  • Archime
  • 发布于 2023-01-14
  • 阅读 ( 4010 )
  • ( 2 )

提议：网络升级元线程 - Magicians / 流程改进

文章提出了引入“网络升级元线程”（Network Upgrade Meta Threads）的概念，旨在改进以太坊网络升级的规划过程。这些线程将在Ethereum Magicians论坛上创建，用于讨论升级的范围、目标和优先级，为AllCoreDevs会议提供输入，以期提升升级决策的质量和效率。
以太坊  网络升级  EIP  AllCoreDevs  Ethereum Magicians  元线程 

Eth-staking-smith深度解析

本文介绍了Chorus One团队开发的以太坊密钥生成工具Eth-staking-smith，该工具旨在解决大规模生成以太坊验证者密钥时面临的安全性、性能和依赖性问题。文章详细描述了该工具的架构、功能、用法以及安全性改进措施，并展示了如何使用该工具生成密钥、keystore和存款数据，以及如何将BLS提款地址转换为执行地址。
以太坊  密钥管理  验证者  BLS签名  Eth-staking-smith  信标链 
  • jenpaff
  • 发布于 2023-01-14
  • 阅读 ( 331 )

ChatGPT Solidity 智能合约

OpenAI 的最新版本 GPT-3.5 或 ChatGPT 为语言翻译、文本摘要和文本生成等任务的自然语言处理提供了显着改进。开发人员开始探索请求 ChatGPT 协助编写、审查或重构代码以及为开发任务提供技术信息的潜力。
编程 

EVM 上的 Panic 与 Error：开发者的朋友与敌人

“Error”指的是合约遇到无法处理的问题的情况。这可能是由于无效输入、意外状态或合约未设计处理的其他问题导致的。“Panic”指的是EVM遇到无法处理的问题的情况。
错误处理  Solidity 
  • prady
  • 发布于 2023-01-14
  • 阅读 ( 1566 )

在区块链上进行去中心化何时是有价值的？

本文探讨了在构建新型社交网络或搜索引擎时，是否应依赖区块链实现去中心化。文章深入分析了用户被锁定效应的经济理论，论证了在被锁定效应显著时，通过区块链去中心化网络可以为商家创造信任及价值，避免未来对用户的潜在剥削。
去中心化  博弈论  治理模式  经济理论  加密思想 

Rust每日一题(14)--实现数据结构--删除链表的倒数第 N 个结点

Rust每日一题(14)--实现数据结构--删除链表的倒数第 N 个结点
Rust 
  • Po
  • 发布于 2023-01-14
  • 阅读 ( 3096 )
  • ( 3 )