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

关于陈算法的再更新

关于陈算法的再更新
密码学 
  • XPTY
  • 发布于 2024-04-19
  • 阅读 ( 2081 )
  • ( 9 )

关于陈算法的背景以及更新

陈一镭 (Yilei Chen) 撰写的e-print论文《格问题的量子算法》，引起了密码学学术界的轰动。
密码学 
  • XPTY
  • 发布于 2024-04-19
  • 阅读 ( 2779 )
  • ( 10 )

密码学在区块链安全中的作用

本文深入探讨了密码学在区块链安全中的作用，包括哈希函数、公钥密码学、数字签名、共识机制等基础要素。同时，还讨论了零知识证明、Merkle树等高级技术如何增强区块链的安全性。最后，文章分析了量子抵抗代币、隐私保护代币、灵魂绑定代币（SBTs）和央行数字货币（CBDCs）等新兴趋势，展示了区块链密码学领域的不断发展。
密码学  区块链安全  哈希函数  公钥密码学  数字签名  零知识证明 

零知识证明：以太坊的未来

in  小猪Web3
本质上，零知识证明技术可以将区块链去信任化，从经济学假设，带入到基于密码学假设中，实现链下数据可用性、原生抽象账户钱包等原生功能进一步扩展，尤其是为以太坊等底层链正面临的扩容和隐私保护相关问题提供了解决方案，甚至是，唯一解决方案。
以太坊  ZK Rollup  隐私保护 
  • Pignard
  • 发布于 2024-04-17
  • 阅读 ( 4962 )
  • ( 33 )

如何安全地购买、存储和交易加密货币

本文介绍了安全购买、存储和交易加密货币的关键步骤。它强调了选择信誉良好的交易所、设置安全钱包、启用双重身份验证、进行风险评估、分散投资以及警惕诈骗的重要性，旨在帮助投资者在加密货币市场中安全地进行操作。
加密货币交易  加密货币存储  加密货币购买  交易所安全  数字钱包  风险管理 

椭圆曲线数字签名算法原理及其应用

现实中的签名有很多，简单举个例子：比如你小时候，考试不及格，老师常常会让你带着试卷在回去给你爸妈签名，以表示对你成绩的认可。那么这种签名可能会导致你乱认爸爸，老师也不容易验证你家长的签名。椭圆曲线数字签名是可以验证的。公式，函数图像如下图。4a**3+27b**2!=0，保证了图像上的
  • Kary
  • 发布于 2024-04-13
  • 阅读 ( 2158 )
  • ( 10 )

Rapidsnark 的 GPU 加速

本文介绍了对 rapidsnark 进行 GPU 加速的动机、背景和性能。通过将硬件加速集成到 rapidsnark 中，性能达到了 CPU 版本的约 4 倍。主要针对 NTT 和 MSM 计算进行优化，Orbiter Finance 团队开源了加速后的 rapidsnark 代码。
零知识证明  GPU加速  rapidsnark  NTT  MSM  Groth16 

Zama 产品发布 - 2024 年 4 月

Zama 团队发布了 TFHE-rs (v0.6)、Concrete (v2.6)、Concrete ML (v1.5) 和 fhEVM (v0.4) 的新版本。
同态加密  零知识证明  GPU  TFHE-rs  Concrete  fhEVM 
  • ZamaFHE
  • 发布于 2024-04-10
  • 阅读 ( 487 )

SNARK设计的新纪元：发布Jolt

文章介绍了Jolt，一个新的SNARK设计方法，其在性能和可扩展性上优于现有zkVM，速度提升可达2倍。Jolt通过采用sum-check协议和多变量多项式来解决当前zkVM设计的复杂性和低效问题，旨在提升SNARK的开发体验，降低错误概率，并简化扩展工作。
Jolt  SNARK  zkVM  sum-check协议  Lasso  性能优化 

多项式 - 拉格朗日插值

本文介绍了拉格朗日插值法的原理和方法，通过构建多个子多项式，使得每个子多项式在特定的约束点上为非零值，而在其他约束点上为零，最终将这些子多项式组合成满足所有约束条件的目标多项式。文章通过一个具体例子，详细展示了如何构建这些子多项式，并验证了最终多项式满足所有约束条件。
拉格朗日插值法  多项式  约束  子多项式  系数  插值 

Concrete v2.6：近似PBS、输入压缩、扩展的组合函数、速度提升

Concrete v2.6 版本发布，引入了近似可编程引导启动（PBS）、输入压缩、增强的函数组合以及更快的模拟，以及 ternary-if, Relu, 和 Sign 函数。近似 PBS 通过不精确的舍入加速 TLU 运算；输入压缩通过种子加密进一步优化带宽和磁盘空间；增强的函数组合通过模块实现更灵活的加密数据处理。此外，仿真速度也得到了显著提升。
全同态加密  Concrete  TFHE  可编程引导启动  输入压缩  函数组合 
  • ZamaFHE
  • 发布于 2024-04-09
  • 阅读 ( 476 )

fhEVM v0.4：新的加密类型和异步解密

Zama 发布了 fhEVM v0.4 版本，引入了新的加密类型（ebool、euint4、euint64、eaddress）和异步解密API，通过 oracle 实现解密请求和回调，提升性能和效率。同时发布了fhEVM标准合约库 fhevm-contracts，包含ERC20和DAO等基础合约，简化开发流程。
fhEVM  同态加密  异步解密  加密类型  Solidity  智能合约 
  • ZamaFHE
  • 发布于 2024-04-09
  • 阅读 ( 477 )

使用多项式的纠删码

本文介绍了使用多项式插值的纠删码原理，通过Alice向Bob发送消息的例子，详细解释了消息的编码、扩展、通信和重构过程。其中，Alice使用拉格朗日插值法构建多项式，并通过计算额外点来增加消息的冗余度，Bob在接收到部分数据后，也能利用插值法恢复原始消息。文章还提到了纠删码在QR码、CD和以太坊信标链blob中的实际应用，尽管纠删码增加了数据量，但提高了数据传输的可靠性。
纠删码  多项式插值  拉格朗日插值  数据冗余  前向纠错  有限域 

TFHE-rs v0.6：零知识支持和 GPU 上的有符号整数运算

TFHE-rs v0.6 版本引入了零知识证明技术，增强了 GPU 对有符号整数运算的支持，并引入了加密随机数生成等新的加密功能。该版本现在包含 Marc Joye 提出的公钥方案，并生成零知识证明以验证公钥加密过程的正确性。此外，新版本还支持 GPU 上的有符号整数运算，并改进了 GPU 用户的多位 PBS。
同态加密  零知识证明  GPU加速  TFHE-rs  公钥加密  有符号整数 
  • ZamaFHE
  • 发布于 2024-04-09
  • 阅读 ( 603 )

Concrete ML v1.5：加密数据帧与更快的神经网络

Concrete ML v1.5版本发布，引入了新的DataFrame API，支持在加密存储的数据上工作，并增加了加速神经网络的新选项，速度可提高2-3倍。同时，发布了一个新的演示，展示如何安全地匿名化文本数据，以便在使用ChatGPT查询知识库时不会泄露任何个人身份信息。该版本旨在推动隐私保护的机器学习和加密协作。
全同态加密  Concrete ML  DataFrame  神经网络  匿名化  隐私保护 
  • ZamaFHE
  • 发布于 2024-04-09
  • 阅读 ( 454 )

zkVM的四个特性：如何选择你的ZK工具包

本文介绍了选择zkVM的关键特性以及如何评估不同的ZK工具包。作者讨论了为何zkVM能加快开发速度，列举了必要特性，包括支持导入包、链上验证、无限制计算以及证明组合。此外，文章还详细描述了RISC Zero在实现这些特性方面所采用的方法和技术挑战。
zkVM  RISC Zero  区块链  ZK工具包  证明组合  Rust 

密码学战争迷雾

本文介绍了基于零知识证明（ZK）和多方计算（MPC）实现的一种新的游戏机制，该机制支持 PvP、隐藏信息和确定性状态。文章重点介绍了 Oblivious KZG，一种基于双向、可验证、承诺的茫然传输（biVOT）的新结构，并讨论了其在游戏中的应用，例如暗森林（Dark Forest）这类需要隐藏信息和玩家间互动的游戏。
零知识证明  多方计算  茫然传输  zk-SNARKs  KZG承诺  密码学 

Cobo 密码知识讲堂｜第五讲：探索聚合签名奥妙

in  Cobo 密码知识讲堂
本文是Cobo密码知识讲堂的第五讲，主要介绍了聚合签名的概念、算法组成、与门限签名的区别、设计难点、面临的安全风险以及抵御手段，并详细描述了BLS聚合签名和Schnorr聚合签名这两个典型算法实例。聚合签名是一种有广阔应用前景的密码学组件，能够有效“压缩”多个主体的签名，实现对多个签名“批量”验证的效果。
聚合签名  门限签名  BLS签名  Schnorr签名  密码学  数字签名 
  • Cobo
  • 发布于 2024-04-04
  • 阅读 ( 355 )

密码学101：RSA算法解析

in  密码学101
本文详细解释了RSA加密算法的工作原理，包括其依赖的大数分解问题、欧拉函数及其性质，以及如何使用公钥和私钥进行加密和解密。文章还讨论了RSA的安全性、大素数的生成以及其可能的弱点。
RSA  加密  欧拉函数  大数分解  公钥  私钥 

基于 ZK 的资产证明

如果每个用户都可以验证自己部分的资产是否有财务作假行为，那么只要验证的用户足够多，那么一个组织想要去做财务欺诈难度就会非常高。
零知识证明  zk  资产安全