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

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

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

使用多项式的纠删码

本文介绍了使用多项式插值的纠删码原理，通过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
  • 阅读 ( 1136 )

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

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

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
  • 阅读 ( 938 )

密码学101：RSA算法解析

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

基于 ZK 的资产证明

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

产品更新：ICICLE v1.9.1

ICICLE 是一个使用 CUDA-enabled GPUs 进行 ZK 加速的库。最新版本引入了 ECNTT、列式 NTT 处理、MSM 预计算等新特性，并优化了编译时间。即将发布的 v2 版本将提供丰富的多项式 API，并支持在 GPU 内部运行端到端的证明器。
零知识证明  GPU加速  CUDA  ECNTT  NTT  MSM  Keccak 

MPC 钱包是如何工作的？

这篇文章深入探讨了多方计算（MPC）钱包的工作原理、组成部分以及安全性挑战。文章从传统加密学的基础知识入手，解释了如何通过MPC协议安全地管理私钥，同时揭示了实际的攻击案例以强调实现过程中可能存在的安全漏洞。
多方计算  加密钱包  安全性  ECDSA  攻击案例  加密技术 
  • zellic
  • 发布于 2024-03-30
  • 阅读 ( 1561 )

证明聚合技术

本文介绍了零知识证明（SNARKs/STARKs）中的证明聚合技术，用于将多个证明合并为一个，以减少验证时间和证明大小的开销。讨论了包括证明递归、曲线循环、折叠方案、SNARKPack和Continuations等多种技术，并分析了它们在Prover时间、验证时间和证明大小方面的权衡，同时提到了像Starknet、Polygon ZKEVM、zkSync等实际应用案例。
SNARK  STARK  零知识证明  证明聚合  递归证明  曲线循环  折叠方案 

构建 Cashu 盲签名方案的直觉

本文详细介绍了 Cashu 采用的 ecash 盲签名方案，通过 Diffie-Hellman 点和哈希函数，实现了在铸币厂和用户之间创建、兑现 token 的流程，并着重解决了 token 的隐私性问题，通过盲化和解盲技术，确保了用户在兑现 token 时不被追踪，从而实现了更安全和匿名的电子 token 系统。
Cashu  盲签名  Diffie-Hellman  椭圆曲线  Token  隐私性 

多项式路径

本文探讨了多项式交互式oracle证明（PIOPs）的概念及其在隐私保护计算中的潜力，描述了如何通过多项式编码实现数据的隐私验证。文章解释了PIOPs的工作原理、关键特性以及与zkSNARKs等其他验证系统的比较，强调了其在加密协议中的重要性和应用前景。
多项式交互式oracle证明  隐私保护计算  零知识证明  加密协议  KZG承诺  zkSNARKs 
  • L2IV
  • 发布于 2024-03-08
  • 阅读 ( 1030 )

Open Source Threshold Signature Libraries

该文章介绍了开源的门限签名（Threshold Signature Scheme）库，包括 ECDSA 和 Schnorr 两种签名算法的门限签名库，并列出了各个库所支持的特性，例如 HD 钱包、Resharing、审计情况、实现语言和 License 等，可以帮助开发者选择合适的密码学库。
门限签名  ECDSA  Schnorr  Ed25519  Taproot  多方计算 
  • cig01
  • 发布于 2024-03-04
  • 阅读 ( 472 )

产品更新：ICICLE V1.6.0

本文介绍了ICICLE V1.6.0版本的一系列更新，包括稳定的Golang绑定、多GPU支持、向量运算API、Grumpkin曲线支持、NTT改进和MSM改进。这些更新旨在提升零知识证明（ZKP）加速的性能和效率，并扩展ICICLE的应用范围，如支持更大的电路和更多编程语言。
ICICLE  GPU加速  零知识证明  CUDA  Golang绑定  多GPU支持  Grumpkin曲线  NTT  MSM 

Shutter：打造公平的竞争环境

Shutter 是一个通过分布式密钥生成 (DKG) 机制使用阈值加密的系统，专注于底层中立性、信息对称性和可访问性。通过加密交易来防止恶意 MEV、审查和投票操纵，确保公平性，并计划探索 FHE 和 MPC 等先进技术以扩展其应用。
阈值加密  分布式密钥生成  信息对称  MEV  审查抵抗  零知识证明 
  • shutter
  • 发布于 2024-03-02
  • 阅读 ( 592 )

在内部训练营中使用lambdaworks实现BabySNARK

本文介绍了基于平方跨度程序的简单SNARK的实现，并对协议的工作原理以及为什么需要不同的检查来实现安全性进行了直观的解释。本文还介绍了如何使用lambdaworks来实现零知识证明（ZKP）的基本构建块，包括有限域、椭圆曲线、哈希函数、签名、公钥加密和对称密钥加密方案等。
零知识证明  SNARK  椭圆曲线  配对  多项式承诺  bls12-381 

格理论与曲柄函数

本文分析了一种基于平方根小数部分的伪随机数生成器（DRBG），并展示了如何利用格理论破解它，通过将问题转化为求解丢番图方程，并利用格约简算法在低维格中找到最近向量，从而恢复隐藏的整数，揭示了该DRBG在密码学上的脆弱性，强调了格理论在密码分析中的应用。
伪随机数生成器  格  格约简  密码分析  丢番图方程  最近向量问题 

Aleo (ALEO)：一个零知识区块链云计算网络

本文深入探讨了Aleo，一个利用零知识证明(ZKP)技术实现隐私保护的区块链平台。文章详细介绍了Aleo的zkVM、zkCloud等核心技术，并分析了Aleo Credit的经济模型和治理结构，以及Aleo基金会的未来发展方向。
零知识证明  Aleo  zkVM  zkCloud  隐私计算  区块链 
  • DAIC
  • 发布于 2024-02-23
  • 阅读 ( 598 )