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

为Web3治理设计奖励系统

本文探讨了Web3治理体系中，如何通过声望和代币奖励系统激励长期公民参与。作者分析了历史上基于财富的权力结构及其对民主的影响，提出如何在去中心化设计中平衡技术的力量和公平性。考虑了声望与代币系统的优缺点，并探讨了设计有效在线民主治理系统所需思考的问题。
Web3  治理  代币奖励  声望系统  去中心化  公民参与 

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

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

Web3 极客日报 #1345

Web3 极客日报 1345
  • rebase
  • 发布于 2023-10-19
  • 阅读 ( 1318 )
  • ( 2 )

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

GMX V2版本上线之后短短两个月TVL做到5千万，让我们逐步解析他背后的技术
GMX  DeFi  交易所 
  • zero
  • 发布于 2023-10-19
  • 阅读 ( 2655 )
  • ( 13 )

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

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

零知识证明的概念解释

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

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

in  智能合约安全

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

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

in  智能合约安全

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

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

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

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

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

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

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

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

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

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

零知识证明（ZKP）是一种强大的技术，允许一方在没有透露具体信息的情况下，向另一方证明其拥有特定信息。文章详细介绍了ZKP的基本原理、应用领域及其在Rust编程语言中的实现方式，分析了ZKP的优缺点，并提供了Rust代码示例，以示范ZKP如何工作。
零知识证明  ZKP  Rust  加密技术  隐私  数据安全 
  • thogiti
  • 发布于 2023-10-19
  • 阅读 ( 230 )

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

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

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

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

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

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

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

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

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

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

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

这篇文章探讨了如何高效计算BN254椭圆曲线的Frobenius自同态。通过使用平方指数法，作者详细介绍了计算过程，从定义椭圆曲线到实际应用该自同态。文章还附带了完整的代码实现，适合对密码学和椭圆曲线有一定了解的读者。
Frobenius automorphism  bn254  elliptic curve  exponentiation by squaring  cryptography 
  • thogiti
  • 发布于 2023-10-19
  • 阅读 ( 240 )

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

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