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

盲化的 Diffie-Hellman 密钥交换

本文介绍了一个由 Ruben Somsen 提出的基于盲化 Diffie-Hellman 密钥交换的协议，该协议允许 Bob 与 Alice 进行盲化密钥交换。Alice 验证解盲后的数值是否来自自身。文中还讨论了该协议的起源、优缺点以及一个潜在的弱点，并提出了使用离散对数相等证据（DLEQ）来解决该弱点的方法。
盲签名  Diffie-Hellman密钥交换  椭圆曲线  离散对数  密码学  盲化 

Anoma架构概述

本文深入探讨了Anoma协议的架构与工作原理，介绍了其独特的意图（intents）概念、匹配机制（matchmakers）、状态机设计、有效性谓词（validity predicates）和隐私特性等，展示了Anoma如何在众多协议中实现去中心化的事务协调和执行，同时维持安全性和用户隐私。文章不仅详细阐述了技术实现，还提供代码示例，适合有一定基础的读者。
Anoma  意图  匹配机制  有效性谓词  隐私保护  区块链架构 

PeerDAS——一种使用经过实战检验的P2P组件的更简单DAS方法 - 网络

PeerDAS 旨在利用以太坊现有的 P2P 组件，在不依赖高级 DHT 解决方案的前提下，扩展数据可用性（DA）的规模。该方案通过节点分片存储和 gossip 协议，允许节点只下载少量数据（<1MB/slot），同时通过模拟不同网络配置（节点数量、容量分布等）来评估其有效性，以达到在保证安全性的前提下实现数据可用性的扩容。
数据可用性  P2P网络  节点分片  Gossip协议  PeerDAS  以太坊 

每周以太坊进展 2023/9/2

每周以太坊进展 2023/9/2
每周以太坊 
  • EthWeekly
  • 发布于 2023-09-04
  • 阅读 ( 4627 )
  • ( 26 )

Web3 极客日报 #1307

Web3 极客日报 #1307
  • rebase
  • 发布于 2023-09-04
  • 阅读 ( 1722 )
  • ( 3 )

关于 solidity storage layout 的理解

solidity storage layout
StorageSlot 

学习Compound的笔记

Compound的学习笔记
Compound 

关于Solana RPC的所有信息（2023年）

本文介绍了RPC在区块链应用中的重要性，特别是在Solana平台上的应用。详细讨论了RPC与API的区别，Solana的主网和开发网RPC请求的示例，以及对比了Solana与以太坊在RPC节点的工作方式。文章还提到Helius作为一个提供高效RPC服务的公司，着重强调了开发者如何利用Helius的服务。
RPC  Solana  区块链  json-rpc  API  Helius 
  • Helius
  • 发布于 2023-09-03
  • 阅读 ( 1539 )

柴犬币 vs. 狗狗币：对比分析

本文对比分析了柴犬币（Shiba Inu Token）和狗狗币（Dogecoin）的历史、技术特点、社群、应用场景、价格波动等。柴犬币通过ShibaSwap等平台扩展其生态，并进军NFT市场。狗狗币则在现实世界中获得应用，社群活跃，曾用于慈善事业。两者的未来发展都受到技术进步、监管环境和社群参与的影响。
柴犬币  狗狗币  加密货币  ShibaSwap  NFT  社群 

不要信任，要去验证，或者说为什么你应该关注基准测试

文章讨论了零知识证明系统中FRI和KZG等不同方案的优劣，以及Folding schemes、Lookup singularity和STARKs等新兴策略。强调工程实践中，除了理论计算，还需要考虑内存、硬件加速、代码维护等多种因素。同时，提倡通过基准测试和开源代码来促进零知识证明技术的发展，并鼓励社区对不同方案进行优化和比较。
零知识证明  SNARK  STARK  FRI  KZG  基准测试 

快速了解 uniswap_v4

快速了解uniswap_v4
uniswap v4 
  • 33357
  • 发布于 2023-09-03
  • 阅读 ( 2861 )
  • ( 7 )

Web3 极客日报 #1306

Web3 极客日报 #1306
  • rebase
  • 发布于 2023-09-02
  • 阅读 ( 1828 )
  • ( 3 )

Groth16 详解

in  零知识证明之书
本文详细介绍了Groth16零知识证明算法的原理、实现及其应用，包括可信设置、证明生成和验证的步骤，并讨论了防止伪造证明的方法以及算法中的安全问题。
Groth16  零知识证明  椭圆曲线  可信设置  验证算法 

Nautilus Chain 介绍：Web3 中最快的模块化 EVM 链

Nautilus Chain是由 Zebec 基金会创建的 L3 模块化链，旨在加速 Web3 的普及。它通过模块化架构，允许开发者根据需求定制执行、结算和数据可用性层。Nautilus 链具有高 TPS，可以支持实时支付等新型应用，并已吸引了 70 多个项目部署。
Nautilus Chain  模块化区块链  实时支付  EVM  Solana  Celestia 

零知识入门：ZK领域的引导之旅，第二部分

本文深入探讨了零知识证明（ZKP）的不同应用，包括ZK支付、ZK硬件加速和zkVMs，强调了如何通过ZK技术提升区块链交易的隐私性和效率。文章详细介绍了ZK支付中的私密交易机制、使用特定硬件加速证明生成的优势，以及zkVM的通用性和实现原理，展现了零知识技术的广泛应用潜力。
零知识证明  ZK支付  zkVM  Zcash  硬件加速  区块链 
  • zellic
  • 发布于 2023-09-02
  • 阅读 ( 1035 )

带错误的学习

本文深入浅出地介绍了格密码学的基本概念，包括格的定义、格中的难题（最短向量问题和最近向量问题），以及如何利用格构造加密方案——“带错误的学习”（LWE）。文章还解释了LWE方案的安全性与格的难题之间的联系，并简要提及了Kyber等实际应用方案。
格密码学  最短向量问题  最近向量问题  带错误的学习  LWE  格 

Poseidon哈希作为EVM预编译合约的计算成本分析

本文分析了将Poseidon哈希函数作为EVM预编译合约的计算成本。EIP-5988提议将Poseidon哈希函数添加为预编译合约，但其在实施前还需要更多的论证。本文提出了一个项目，旨在设计和实施基准测试，以评估Poseidon在不同轮常量、安全级别和S盒下的运行情况，并与现有的预编译哈希函数进行比较，同时用Solidity实现智能合约以进行gas成本估算。
Poseidon哈希函数  EVM预编译合约  EIP-5988  零知识证明  ZK-Rollups  基准测试 

为OP Stack的故障证明系统设计模块化争议游戏

本文介绍了OP Stack的Fault Proof System (FPS) 中的 dispute games，阐述了其在去中心化故障检测中的作用，以及如何在dispute协议之上构建fault proof dispute game。
OP Stack  Fault Proof System  dispute games  bisection game  去中心化  Fault Proof Program 

社会去中心化与OP Stack的故障证明虚拟机 - Optimism

本文探讨了Optimism Collective如何在L2架构中实现社会去中心化，通过OP Stack的模块化设计和开放规范，引入proof多样性和client多样性来增强安全性。文章深入分析了L2架构的各个层面，包括共识层、执行层和证明层，并详细介绍了Fault Proof VM的结构和功能，以及如何通过解耦VM和程序来实现与ZK validity-proofs的兼容，鼓励外部贡献。
OP Stack  社会去中心化  Fault Proof VM  ZK validity-proofs  client多样性  proof多样性 

使用hardhat验证合约时，网络超时

在hardhat中加入hardhat.config.js中加入如下代码即可。出处https://github.com/lxdao-official/gclx-contracts/issues/2const{setGlobalDispatcher,ProxyAgent}=require("u
Hardhat 
  • 志辉
  • 发布于 2023-09-02
  • 阅读 ( 3962 )
  • ( 8 )