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

从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
  • 阅读 ( 1431 )
  • ( 17 )

web3入门3 | 以太坊那些事

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

如何开始你的第一个 Uniswap V4 Hook：必备知识、库和风险

本文介绍了如何创建 Uniswap V4 的第一个Hook，包括必需的库、合约结构和安全风险等内容。通过逐步引导，读者可以了解到如何实现自定义流动性池行为以及注意事项，并给出了完整的Hook模板代码。
uniswap v4  钩子  流动性池  智能合约  Solidity  去中心化金融 
  • bloqarl
  • 发布于 2024-08-27
  • 阅读 ( 339 )

深入探讨 Go 语言中的自定义 Zap 日志

in  Go 语言
深入探讨Go语言中的自定义Zap日志zap日志：https://github.com/uber-go/zapzap包提供快速、结构化、分级的日志记录。一、日志写入文件zap.NewProduction、zap.NewDevelopment是预设配置好的。zap.New可自

不标准的 ERC2612：Permit 滥用零地址“僵尸资金”

不标准的 ERC2612 导致可利用 permit 滥用零地址的“僵尸资金”
ERC2612  permit 
  • Q1ngying
  • 发布于 2024-08-27
  • 阅读 ( 1376 )
  • ( 21 )

Nimbus 共识客户端中 `EIP-7732: enshrined Proposer-Builder Separation` 的实现

该项目旨在 Nimbus 共识客户端中集成 proposer-builder 交互，实现 enshrined Proposer-Builder Separation (ePBS)，遵循 EIP-7732 规范，目标是减少对外部 relay 的依赖，提高去中心化程度，增强审查抵抗性，并为未来的 MEV 重新分配机制打下基础。
Proposer-Builder Separation  MEV  EIP-7732  Nimbus Consensus Client  以太坊  共识机制 

掌握TON区块链交易发送：构建交互式React应用与TonConnect集成教程

在本教程中，我们将通过一个React组件TxForm学习如何使用@tonconnect/ui-react库来发送TON交易。我们将使用一个简单的“回声合约”（EchoContract），该合约会将发送的金额返回给发送者，用于测试目的。准备工作在开始之前，请确保你已安装了以下依
TON 
  • King
  • 发布于 2024-08-27
  • 阅读 ( 1924 )
  • ( 26 )

web3入门2 | 人话说去中心化与比特币

由比特币区块链构成的去中心化的电子记账系统，实现了去中心化的功能，如何实现，且看下面：1.比特币和区块链详解比特币数字货币，基于区块链。区块链中本聪提出了一个概念：去中心化的电子记账系统去中心化：每个人的账本公开假设A，B，C，D四个人之间互相交易，每两个人之间的交易记录都会被其他人记
  • netlogs
  • 发布于 2024-08-27
  • 阅读 ( 1508 )
  • ( 13 )

嵌入式操作者-委托者分离（eODS）规范

该项目旨在通过在协议层面分离验证者角色，实现操作者-委托者分离（eODS），从而改进以太坊的委托权益证明机制。具体来说，通过引入委托者角色，允许ETH持有者直接将其权益委托给验证者（操作者），从而在协议中明确 principal-agent 关系，并减轻流动性质押对权益中心化的影响。此外，还计划通过设计一个用于集成轻量级协议服务的接口，进一步提升委托者的作用，例如参与审查抵抗服务。
委托权益证明  验证者  委托者  操作者  以太坊  共识机制 

以太坊开发入门(二)-深度解析ERC721标准

ERC721标准是以太坊上的非同质化代币（NFT）的核心协议。与ERC20不同，ERC721中的每个代币都是独特的，不可互换。这使得ERC721非常适合表示如收藏品、艺术品、游戏道具等具有独特属性的数字资产。本文将探讨ERC721的开发流程、技术细节。
NFT  ERC721  Token 
  • EimJacky
  • 发布于 2024-08-27
  • 阅读 ( 2118 )
  • ( 46 )

现代 DeFi 借贷协议 - Morpho Blue是如何构建的

in  现代 DeFi 借贷协议
Morpho Blue 是一个去中心化的借贷平台，它允许用户创建自己的借贷市场，具有更少的治理要求和更高的灵活性。文章详细介绍了 Morph Blue 的高层设计、治理结构、市场创建流程，以及其实现的核心技术细节。通过灵活的参数设置和安全的代码设计，Morpho Blue 为去中心化金融（DeFi）开发者提供了一个既简单又可靠的框架。
Morpho Blue  去中心化金融  借贷市场  治理  智能合约  价格预言机 

Op Rollup 欺诈证明战争

介绍欺诈证明系统及其变体， 欺诈证明如何在安全性、及时性和去中心化之间的权衡， 如果我们有 ZK，欺诈证明是否还有意义。
OP Rollup  欺诈证明  Arbitrum  Optimism  Cartesi 

【Solidity Yul Assembly】2.5 | Logs and Events

in  Solidity Yul Assembly 内联汇编
关于 `log` 的指令。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-08-27
  • 阅读 ( 1345 )
  • ( 7 )

在 Gelato RaaS OP 链上启用桥接 USDC 标准

Gelato集成了跨链USDC标准到其OP Stack链上，使得用户和开发者能够更容易地在Superchain上使用USDC。这一集成通过支持未来从跨链USDC升级到原生USDC，简化了管理多个USDC版本的复杂性，并统一了流动性，同时确保了安全性和无用户中断的升级体验。
USDC  OP Stack  跨链桥  稳定币  Gelato  EVM区块链 
  • gelato
  • 发布于 2024-08-27
  • 阅读 ( 89 )

最优先的能力 | 独立黑客创业手册（贰）

in  狗哥区块链与AI精品内容集@NonceGeek
元认知能力与元学习能力
Indiehacker 
  • 李大狗
  • 发布于 2024-08-27
  • 阅读 ( 1692 )
  • ( 14 )

2024-08-25 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
  • Coset
  • 发布于 2024-08-27
  • 阅读 ( 1052 )
  • ( 5 )