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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

智能合约自动化工具使用及对比

智能合约自动化工具：Chainlink Keeper、Gelato Network、OpenZeppelin Defender 如何使用，及他们的优缺点。
Chainlink  Gelato  OpenZeppelin  智能合约 
  • Meta
  • 发布于 2023-10-18
  • 阅读 ( 4764 )
  • ( 151 )

构建你自己的Rollup

使用极简代码库，亲身实践构建一个最小功能集合的主权 Rollup
Rollup  Layer2 

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

每周以太坊进展 2023/10/14
每周以太坊 
  • EthWeekly
  • 发布于 2023-10-16
  • 阅读 ( 2598 )
  • ( 28 )

什么是Pedersen承诺及其工作原理

in  零知识证明之书
Pedersen承诺是一种密码学技术，允许在不暴露向量内容的情况下对其进行编码，广泛应用于零知识证明和区块链技术中。本文深入探讨了Pedersen承诺的原理、构建、优点和应用，包括对内部乘积和矢量承诺的解释，适合对密码学有一定了解的读者。
Pedersen commitments  zero knowledge proof  elliptic curves  commit-reveal scheme  homomorphic properties 

Solana Geyser 插件：以光速流式传输数据

本文介绍了Solana Geyser Plugins的设计与实现，探讨了其在数据复制和RPC负载管理中的作用。文章深入分析了Geyser Plugins的功能、接口及其开发方法，并总结了当前可用的Geyser Plugins，以及如何创建自己的插件。
Geyser Plugins  Solana  数据流  插件开发  RPC加载  AccountsDB 
  • Helius
  • 发布于 2023-10-15
  • 阅读 ( 619 )

Vitalik：以太坊是否应该在协议中封装更多功能？

in  Vitalik博客精选
Vitalik：以太坊是否应该在协议中封装更多功能？
以太坊  zkEVM  ERC4337  Vitalik 

a16z Crypto 创始人: 区块链的出现为何在互联网发展史上如此重要？

在本期视频中，a16z crypto创始人与普通合伙人 Chris Dixon 分享了互联网发展史、协议网络、企业网络、区块链的异同，以及真正开源、去中心网络可释放的潜力。
区块链  a16z  区块链入门 

BitVM：任意计算都可以在比特币上验证

in  BTCStudy 精选
今天，ZeroSync（一个为使用零知识证明拓展比特币而成立的协会）的开发者 Robin Linus 提出了 “BitVM”，为将来的比特币应用开发打开了非常有趣的可能性。它可以启用几乎所有的任意计算，并使用这些计算来执行在比特币链上发生的事情。
BitVM  比特币 

以太坊上的借贷应用架构演变： 比较 MakerDAO、Yield、Aave、Compound 和 Euler

以太坊上的借贷应用架构演变： 比较 MakerDAO、Yield、Aave、Compound 和 Euler。你会发现不同的阶段有不同的优先级，一些关键创新也影响着后来的借贷应用
借贷  Aave  Makerdao 

关于Solana上的压缩，你需要了解的一切

这篇文章深入探讨了Solana上的状态压缩和压缩NFT（cNFTs）的概念，阐明了其原理、实现方式及应用。它详细解释了如何利用并发Merkle树优化存储，提高成本效益，同时维持安全性与去中心化。文章还提供了创建和传输压缩NFT的实用示例代码，适合希望在Solana生态上进行开发的读者。
Solana  压缩NFT  Merkle树  区块链  状态压缩  Bubblegum SDK 
  • Helius
  • 发布于 2023-10-12
  • 阅读 ( 635 )

Vitalik：应对两层质押风险，这些改变可能提高去中心化并减少共识开销

in  Vitalik博客精选
当前以太坊网络双层质押（节点运营商和代理商），存在着中心化风险和不必要的共识层负担。本文介绍了解决这些问题的可能方案。
质押  共识  去中心化  Vitalik 

[论文] BitVM：在比特币上计算任何东西

BitVM 是一种计算范式，用于表达图灵完备的比特币合约。这不需要对比特币网络的共识规则进行任何更改。与在比特币上执行计算不同，它们仅仅是被验证，类似于乐观 Rollups。证明者声明某个给定的函数对某些特定的输入求值得到了特定的输出。 使用这种机制，任何可计算的函数都可以在比特币上进行验证。
BitVM  欺诈证明  比特币