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

与ZKSNARKS和密码学原语一起工作终极指南 - 从可信设置到工作流自动化

本文详细介绍了 ZKSNARK 技术，尤其是如何进行信任设置、设计零知识电路（如乘法电路）以及使用 Groth16 和 PLONK 协议进行相关的 ZKSNARK 操作。内容涵盖了电路的编写、编译、验证，以及如何处理非二次约束的问题。最后，作者提供了使用节点js 和 snarkjs 进行证明生成和验证的详细步骤。
zkSNARK  零知识证明  信任设置  Groth16  PLONK  电路设计 
  • thogiti
  • 发布于 2023-11-04
  • 阅读 ( 579 )

构建Uniswap V2克隆的清单

in  Uniswap V2 之书
文章提供了使用现代Solidity或Huff从头重建Uniswap v2的详细指南，涵盖了多个优化建议和注意事项。

闪电通道 “拼接” 的原理

in  BTCStudy 精选
“拼接（splicing）” 是一个简单的概念，就是指重设闪电通道大小的能力。但随着时间推移，越来越显而易见的是，这种重设闪电通道大小的能力，将给我们带来许多额外的好处，这些好处往往在意料之外，而且从根本上提高了闪电网络的可用性。
闪电网络  通道  比特币 
  • BTCStudy
  • 发布于 2023-11-03
  • 阅读 ( 2900 )
  • ( 6 )

比特币 - Simplicity：超越 Miniscript

Christian Lewe 在 Advancing Bitcoin 2023 大会上介绍了 Simplicity，这是一种新的区块链编程语言，它吸取了 Miniscript 的优点，并具备任意计算和形式化验证能力，旨在解决 Bitcoin Script 的复杂性问题，并支持通用签名哈希模式、零知识证明验证器以及定制化的密码学，最终目标是集成到比特币和 Liquid 网络中。
Simplicity  Miniscript  Bitcoin Script  形式化验证  Taproot  Liquid 

零知识证明的力量：深入理解zk-SNARK

zk-SNARK，即“零知识简洁非交互式知识论证”，使得一名验证者 能够确认一名证明者 拥有某些特定知识，这些知识被称为 witness，满足特定的关系，而无需透露关于见证本身的任何信息。
零知识证明  zkSNARK 

Solidity开发者应掌握的十个智能合约

Solidity开发者应掌握的十个智能合约: ERC-20 合约，ERC-721 合约，简单拍卖合约，众筹合约，托管合约，多签钱包合约，投票合约，域名注册合约，预测市场合约，游戏合约
Solidity  智能合约 

加密朋克宣言 - 中英双语

经典读物《加密朋克宣言》 - 中英双语版
加密思想  隐私  加密朋克 

Circom 语言教程与 circomlib 演示

Circom 语言教程与 circomlib 演示
circom  zkSNARK  零知识证明 

每周以太坊进展 2023/10/28

每周以太坊进展 2023/10/28
每周以太坊 
  • EthWeekly
  • 发布于 2023-10-29
  • 阅读 ( 3029 )
  • ( 48 )

Solidity 0.8.22 发布

Solidity 0.8.22 发布, 改进点包含：文件级事件定义、`unchecked` 循环增量优化、支持导入 EVM 汇编 JSON 等等。
Solidity 

starknet智能合约编写、部署和调用-基于cairo2.3.0

starknet智能合约编写、部署和调用
Starknet  Cairo 
  • Dec-15th
  • 发布于 2023-10-28
  • 阅读 ( 3825 )
  • ( 24 )

GCD - 数论中基本概念的深入探讨

本文详细介绍了最大公约数（GCD）的定义与计算方法，包括欧几里得算法及其扩展算法。通过具体示例与证明，阐述了如何有效地计算GCD及其在数论和密码学中的应用，同时探讨了共质数和 Bézout 定理的理论基础。
最大公约数  欧几里得算法  扩展欧几里得算法  共质数  Bézout 定理 
  • thogiti
  • 发布于 2023-10-27
  • 阅读 ( 626 )

比特币钱包找回指南

in  BTCStudy 精选
了解助记词和钱包背后的基本原理
比特币  钱包  助记词 

每周以太坊进展 2023/10/21

每周以太坊进展 2023/10/21
每周以太坊 
  • EthWeekly
  • 发布于 2023-10-23
  • 阅读 ( 2913 )
  • ( 23 )

optimism sequencer背后的魔法（五）：L2派生（derivation）原理

我们都知道layer2的运行节点是可以从DA层（layer1）中获取数据，并且构建出完整的layer2区块数据的。今天我们就来讲解一下这个过程中是如何在`codebase`中实现的。
Optimism  sequencer  Layer2 
  • joohhnnn
  • 发布于 2023-10-23
  • 阅读 ( 3738 )
  • ( 51 )

optimism sequencer背后的魔法（三）：libp2p在op-stack中的使用

在本节中，主要用于讲解optimism是如何使用libp2p来完成op-node中的p2p网络建立的。 p2p网络主要是用于在不同的node中传递信息，例如sequencer完成unsafe的区块构建后，通过p2p的gossiphub的pub/sub进行传播。
Optimism  sequencer  Layer2 
  • joohhnnn
  • 发布于 2023-10-23
  • 阅读 ( 3810 )
  • ( 48 )

optimism sequencer背后的魔法（二）：op-stack中区块的传递

区块的传递是整个optimism rollup系统中较为重要的概念，在这一章节，我们将从介绍optimism中多种sync方式的原理，来揭开整个系统里区块的传递过程。
sequencer  Layer2  Optimism 
  • joohhnnn
  • 发布于 2023-10-23
  • 阅读 ( 4576 )
  • ( 61 )

用四种不同语言编写零知识证明和电路 - 两个向量的点积

本文详细介绍了如何通过Circom和Halo2等库实现两个向量的点积计算，并利用零知识证明（ZKP）进行证明和验证。文章还讨论了零知识证明的流程，安装所需的工具，以及在不同环境中实现相应电路的代码示例。此外，文章解释了什么是可信设置以及它在现实应用中的重要性。
零知识证明  circom  Halo2  点积  电路设计  可信设置 
  • thogiti
  • 发布于 2023-10-19
  • 阅读 ( 582 )

ERC4337 工具包 Account Kit, 零摩擦引导用户

Account Kit 基于账户抽象（ERC-4337），使得构建的产品在体验上感觉像 web2 一样构建 web3 应用，功能包括社交登录、gas 抽象、批量交易等。
钱包  账户抽象  ERC4337 

掌握椭圆曲线算术 - 带有 SageMath 示例的综合指南

这篇文章详细介绍了椭圆曲线及其在现代加密中的应用，尤其是椭圆曲线密码学（ECC）。文章涵盖了椭圆曲线的基本概念、算术运算、在SageMath中的实现以及ECC在通信安全、数字签名和密钥交换中的应用。通过丰富的代码示例和可视化图表，读者可以深入理解椭圆曲线加密的理论基础和实践应用。
椭圆曲线  椭圆曲线密码学  ECC  SageMath  数字签名  密钥交换 
  • thogiti
  • 发布于 2023-10-19
  • 阅读 ( 927 )