文章 - 第382页 - 登链社区

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

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

零知识证明 circom Halo2 点积电路设计可信设置

thogiti
发布于 2023-10-19
阅读 ( 412 )

Web3 极客日报 #1345

rebase
发布于 2023-10-19
阅读 ( 1421 )
( 3 )

在GMX v2中发起一笔添加流动性交易背后会发生什么(上)

GMX V2版本上线之后短短两个月TVL做到5千万，让我们逐步解析他背后的技术

GMX DeFi 交易所

zero
发布于 2023-10-19
阅读 ( 2922 )
( 13 )

速率限制清除器 (RLN) 协议 - Circom 电路安全审核

本文是关于Rate Limiting Nullifier（RLN）零知识证明协议的安全审核报告，详细介绍了审核期间发现的问题和建议，以及RLN的应用场景和相关原理。审核发现了低影响的漏洞，并提供了详细的修复建议。总体而言，代码实现了良好的数学操作和基本功能，但在文档和测试验证方面仍可提高。

Rate Limiting Nullifier Zero Knowledge Proofs circom 安全审核加密协议

thogiti
发布于 2023-10-19
阅读 ( 392 )

零知识证明的概念解释

零知识证明（ZKP）是一种重要的密码学概念，允许证明者向验证者证明某一声明的真实性，而不泄露任何具体信息。ZKP 被广泛应用于隐私保护和安全性要求高的领域，如身份验证和区块链技术。尽管存在实施复杂性和性能挑战，ZKP 在金融和投票系统等领域的潜在应用使其成为现代隐私和安全解决方案的重要组成部分。

零知识证明 ZKP 隐私安全性区块链 zk-SNARKs

thogiti
发布于 2023-10-19
阅读 ( 410 )

SharkTeam：BH闪电贷攻击原理分析

in 智能合约安全

北京时间2023年10月11日，BNBChain上的BH代币遭受攻击，攻击者获利约120万美元。SharkTeam对此事件第一时间进行了技术分析，并总结了安全防范手段，希望后续项目可以引以为戒，共筑区块链行业的安全防线。一、事件分析攻击者地址：0xfdbfceea1de36036408

闪电贷安全事件分析 SharkTeam

SharkTeam
发布于 2023-10-19
阅读 ( 3356 )
( 7 )

SharkTeam：2023年第三季度Web3安全报告

in 智能合约安全

一、概述全球数字化浪潮正迎来飞速发展，而区块链技术也正逐成为数字经济不可或缺的核心基础设施之一。然而，随着区块链应用场景不断扩展，这一领域所面临的安全挑战也愈发显著。在这一大背景下，深入了解Web3区块链的安全状况以及加密行业的监管政策，已经成为确保区块链应用安全和稳定运行的关键举措之一。本报

SharkTeam Web3 区块链安全

SharkTeam
发布于 2023-10-19
阅读 ( 3144 )
( 4 )

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

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

钱包账户抽象 ERC4337

翻译小组
发布于 2023-10-19
阅读 ( 4145 )
( 76 )

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

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

椭圆曲线椭圆曲线密码学 ECC SageMath 数字签名密钥交换

thogiti
发布于 2023-10-19
阅读 ( 675 )

掌握一阶约束系统 R1CS 及其在 Circom 中的示例

本文详细介绍了Rank-1 Constraint Systems (R1CS) 在零知识证明中的应用，通过多个实例展示如何构建R1CS，使用Circom和snarkjs工具实现电路，并提供了数学公式的详细推导与代码实现。文章涵盖了R1CS的基本定义、与逻辑门电路的关系、构造方法以及多个示例，包括相应的约束解析和代码实现，具有较强的实用性和技术深度。

R1CS 零知识证明 circom snarkjs 电路实现数学约束

thogiti
发布于 2023-10-19
阅读 ( 521 )

加密代币经济学解析：第一部分

本文深入探讨了DeFi（去中心化金融）中的加密代币经济学，分析了不同代币在生态系中的功能，包括流动性挖矿、质押、投票等机制如何影响区块链协议的现状。通过检查50多个DeFi协议，文章总结了奖励获取、价值及分配的策略，并介绍了代币锁定机制和用户在协议中的利益。逐步深入指引读者理解当前加密领域内代币经济的复杂性和发展趋势。

DeFi Tokenomics staking Governance Tokens Liquidity Mining blockchain

Three Sigma
发布于 2023-10-19
阅读 ( 879 )

零知识证明（ZKPs）简要介绍

零知识证明（ZKP）是一种强大的技术，允许一方在没有透露具体信息的情况下，向另一方证明其拥有特定信息。文章详细介绍了ZKP的基本原理、应用领域及其在Rust编程语言中的实现方式，分析了ZKP的优缺点，并提供了Rust代码示例，以示范ZKP如何工作。

零知识证明 ZKP Rust 加密技术隐私数据安全

thogiti
发布于 2023-10-19
阅读 ( 432 )

揭示加权集合覆盖问题 - 优化资源分配

本文详细介绍了加权集合覆盖问题（WSC），通过定义问题、说明解决方案及其在区块链和机器学习中的应用，探讨了优化资源配置的方法。利用贪心算法及SageMath进行算法实现，展示了如何在保持预算的情况下覆盖最大数量的项目，并探讨了与Karp约简的关系。

加权集合覆盖贪心算法 SageMath 区块链机器学习 Karp约简

thogiti
发布于 2023-10-19
阅读 ( 497 )

不同类型的零知识证明（交互式和非交互式）

本文深入探讨了零知识证明（ZKP）的两种类型：交互式和非交互式。文章详细描述了多个相关算法，包括Schnorr协议、Zcash协议、Fiat-Shamir变换等，阐述了它们的原理、实现方法与应用场景，尤其在数字身份验证、电子投票和加密货币中的作用。最后总结了选择ZKP的重要性，强调了安全性与性能之间的平衡。

零知识证明 ZKP 交互式非交互式数字身份验证加密货币

thogiti
发布于 2023-10-19
阅读 ( 520 )

论文评审 - 使用机器学习预测肥厚型心肌病患者不良心脏事件的发展

本论文探讨了使用机器学习方法改善对患有肥厚型心肌病（HCM）患者不良心脏事件的预测。研究发现，机器学习模型在预测这些事件方面优于传统风险分层，从而可能增强高风险HCM亚群体的识别能力。论文提出，这些现代方法可用于改善患者结果。

机器学习肥厚型心肌病风险分层不良心脏事件心脏病

thogiti
发布于 2023-10-19
阅读 ( 390 )

论文评审 - 决策树预测和准确性的零知识证明

本文介绍了零知识机器学习（ZKML）的概念，并提出了一种新颖的低信息泄露证明决策树预测准确性的协议。主要包括零知识决策树预测协议和准确性协议，这些协议通过减小信息暴露来确保机器学习模型的预测完整性和准确性。同时，通过技术实现和评估表明，该协议在处理实际数据集时具有优越的效率。

零知识证明决策树机器学习预测准确性数据隐私

thogiti
发布于 2023-10-19
阅读 ( 348 )

论文评审 - 原生T1映射放射组学的机器学习在肥厚型心肌病表型分类中的应用

本文探讨了一种基于机器学习的方法，通过分析心脏磁共振成像中的原生T1映射辐射组学特征来分类肥厚型心肌病（HCM）表型。研究结果表明，这些辐射特征能够有效辅助HCM的诊断和治疗，为心肌病检测和分类提供了新的可能性。

机器学习辐射组学肥厚型心肌病心脏磁共振 T1映射医学影像

thogiti
发布于 2023-10-19
阅读 ( 395 )

BN254椭圆曲线上的Frobenius自同构的高效计算

这篇文章探讨了如何高效计算BN254椭圆曲线的Frobenius自同态。通过使用平方指数法，作者详细介绍了计算过程，从定义椭圆曲线到实际应用该自同态。文章还附带了完整的代码实现，适合对密码学和椭圆曲线有一定了解的读者。

Frobenius automorphism bn254 elliptic curve exponentiation by squaring cryptography

thogiti
发布于 2023-10-19
阅读 ( 514 )

释放ElGamal加密的力量 - 使用SageMath实现和增强安全性

本文详细介绍了ElGamal加密算法的基本原理与实现，包括密钥生成、加密和解密过程。此外，还讨论了如何使用SageMath实现该算法，并提出了增强安全性的策略，如使用256位随机质数。最后，文章还探讨了ElGamal加密在安全通信、数字签名、密钥交换和电子投票等实际应用中的重要性。

ElGamal加密公钥密码学 SageMath 安全通信密钥交换数字签名

thogiti
发布于 2023-10-19
阅读 ( 654 )

一文读懂跨链流动性质押通证

实现流动性质押通证的跨链不仅可以进一步增加其流动性，还有助于在DeFi上建立更好的连接性。有Chainlink强大的Web3服务平台作为支持，跨链LST可以提高跨链生态的资本效率，并为PoS上的质押提供更广泛的效用。

跨链流动性挖矿 Chainlink

Chainlink
发布于 2023-10-19
阅读 ( 2911 )