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

优化ECDSA签名验证：在Sei Giga区块链中探索零知识证明

本文探讨了在Sei Protocol的区块链中优化ECDSA签名验证的挑战，尤其是在使用零知识证明（ZK）时的潜在解决方案。文章详细介绍了ECDSA的签名内容、签名过程、恢复和验证的机制，以及使用ZK证明签名的可行性和挑战。尽管实现原型显示出优化的潜力，工程团队发现通过基础代码改进提供了更为直接的解决方案，并设想未来在后量子密码签名方案的应用中进一步使用ZK技术。
ECDSA  零知识证明  Sei Protocol  算法优化  区块链技术  密码学 

交互式定理证明器简介 - ZKSECURITY

本文介绍了交互式定理证明器（又称证明助手），这种工具可以创建严格的、机器可检查的数学定理和计算证明。文章以 Lean 为例，展示了如何使用证明助手来验证数学证明的正确性，并探讨了证明助手在零知识虚拟机（zkVM）开发中的应用。
交互式定理证明器  证明助手  Lean  zkVM  形式验证  零知识虚拟机 

在网页中创建你自己的对称密钥密码

本文介绍如何在网页中使用 JavaScript 创建一个简单的对称密钥密码，使用 AES GCM 加密算法。文章提供了一个HTML代码示例，展示了密钥生成、消息加密和解密的过程，并给出了在线演示链接。
AES GCM  对称加密  JavaScript  Web Cryptography  密钥生成  加密  解密 

理解擦除编码（Erasure Coding） - 数学基础的深度探讨

本文深入探讨了消除编码（Erasure Coding）的原理和实现，特别是在去中心化区块链和数据存储系统中的应用。通过详细的数学基础和编码、解码过程的示例，展示了消除编码如何提供数据的高可用性、降低存储成本，并增强安全性，适应未来的存储挑战。
消除编码  区块链  数学基础  有限域  高可用性  数据安全 
  • thogiti
  • 发布于 2025-02-03
  • 阅读 ( 1585 )
  • ( 6 )

随机数值 — 在浏览器中

本文介绍了在浏览器中使用Web Cryptography API生成随机数的方法。通过Crypto.getRandomValues()函数，可以生成伪随机数，该函数使用用户代理提供的最佳熵值进行初始化，并从平台指定的随机数源（如Linux系统的/dev/urandom）中获取种子。文章提供了一个示例代码，展示了如何生成指定数量的随机数，并将其以整数和十六进制格式显示出来。
随机数生成  Web Cryptography API  Crypto.getRandomValues()  伪随机数  Uint32Array  /dev/urandom 

密码学 - Stwo WebGPU - Xm9Z2P8Ssis1W Rv1O0Uda

本文对Stwo Poseidon AIR进行了基准测试，主要针对WebGPU上proving过程中最耗时的trace生成、trace插值、trace扩展和组合多项式评估等操作进行了性能分析和优化。
WebGPU  零知识证明  Poseidon  性能优化  GPU加速  zk-SNARK 

椭圆曲线深入解析（第三部分）

in  密码学101
本文深入探讨了椭圆曲线在密码学中的应用，解释了椭圆曲线实际上是一个群，并且详细介绍了群的定义、操作及其在密码学中的重要性。文章还讨论了离散对数问题（DLP）及其在椭圆曲线群中的应用，以及如何选择适合密码学的椭圆曲线。
椭圆曲线  群  离散对数问题  密码学  有限域  生成器 

密码学 101：从何开始

in  密码学101
本文介绍了密码学中的基本数学概念，特别是模运算和数学群的概念，为理解加密技术和数字签名等密码学技术奠定了基础。作者通过简单的例子解释了模运算和群生成器的概念，并提到这些数学概念在密码学中的重要性。
密码学  模运算  数学群  群生成器  数字签名 

拆解ZK Hack V中的难题

Zellic加密团队在ZK Hack V竞赛中成功解决了三道删除题目，其中包括基于Rust和halo2框架的密码学应用。文章详细总结了每个挑战的描述、解决方案和关键思路，强调了解释攻击的意图，展示了对相关技术的深刻理解。
ZK Hack  加密技术  Rust  Halo2  密码学  解决方案 
  • zellic
  • 发布于 2025-01-30
  • 阅读 ( 695 )

密钥派生的最佳实践

本文深入探讨了密钥派生函数（KDFs）在密码学应用中的重要性，并着重指出了KDFs使用中常见的误用情况，同时阐述了密钥派生的最佳实践，详细讨论了诸如HKDF的使用、盐值处理、以及如何组合多个密钥源等问题。此外，文章还介绍了如何安全地组合多个密钥，以应对量子计算带来的潜在威胁，并强调在选择KDF时应根据具体需求选择合适的工具，避免安全漏洞。
密钥派生函数  HKDF  密钥交换  密码学安全  密钥组合  双重PRF 

推出 Twist 和 Shout

本文介绍了Jolt zkVM的新进展，特别是Twist和Shout两种新的内存检查参数，它们通过快速提交到大型稀疏向量，简化了内存检查，并利用sum-check协议优化了证明过程。这些技术显著提高了Jolt的证明速度，并强调了sum-check协议在构建快速SNARKs中的关键作用，同时挑战了现有SNARK设计的某些流行观点。
zkVM  SNARKs  Jolt  Twist  Shout  sum-check协议 

在Circom中确保正确的整数除法

文章探讨了在素数域 $ ext{F}_p$ 中整数除法的挑战，特别是在零知识证明（ZKP）中的应用。强调了传统除法符号可能导致多个有效解的问题，并提供了两种解决方案：比特位除法算法和约束商的其他方法，以确保唯一性和安全性。讨论了使用 Circom 实现的具体代码示例及其优缺点。
整数除法  零知识证明  circom  素数域  电路约束 
  • thogiti
  • 发布于 2025-01-20
  • 阅读 ( 913 )

零知识证明 - RISC0 zkVM源代码入门

RISC0是一个zkVM
零知识证明  R1CS 
  • Star Li
  • 发布于 2025-01-19
  • 阅读 ( 2065 )

TFHE-rs v0.11：字符串、更快的零知识证明、GPU 上的加密数组

TFHE-rs v0.11 版本发布，主要带来了以下更新： 1. 零知识证明性能显著提升；2. 引入了基于 FheAsciiString 类型的新加密字符串模块；3. 默认加密参数现在遵循调整后的均匀噪声分布；4. GPU 性能提升，64 位加法运算速度提高 30%；5. 可以在 GPU 上轻松执行加密数组的计算。同时，该版本还改进了 GPU 性能，并修复了一些bug。
同态加密  零知识证明  GPU  TFHE-rs  Rust语言  加密字符串 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 636 )

fhEVM v0.6：增强的输入机制与证明能力、扩展的类型和更佳的配置能力

fhEVM v0.6 版本引入了更强大的输入机制与证明功能，扩展了类型支持，并增强了 fhEVM 部署的配置能力。同时，Zama 推出了 fhEVM Coprocessor，它允许在任何 EVM 链上构建保密智能合约，目前已在 Sepolia 测试网上提供。
fhEVM  同态加密  智能合约  EVM  Coprocessor  Sepolia 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 626 )

Concrete v2.9：增强的 TFHE-rs 互操作性、Python 3.12 支持和后端更新

Concrete v2.9 版本发布，增强了 TFHE-rs 的互操作性，扩展了对有符号整数的支持并完全支持张量的序列化和反序列化，支持 Python 3.12，包括 CPU 和 GPU wheels，并修复了一些 Bug，优化了 GPU 内核，提高了 FHE 的评估性能。
同态加密  TFHE-rs  Concrete  Python  互操作性  张量 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 545 )

TFHE-rs v0.11：字符串、更快的零知识证明、GPU 上的加密数组

TFHE-rs v0.11 版本发布，带来了多项重要改进和新功能，包括Zero Knowledge Proof性能的显著提升，以及通过 FheAsciiString 类型在高级 API 中使用加密字符串的新模块。新版本还引入了 TUniform 噪声分布来代替高斯分布，GPU 性能也得到提升，并支持在 GPU 上轻松执行加密数组的计算。
TFHE-rs  零知识证明  加密字符串  GPU  同态加密  Rust语言 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 505 )

Zama 产品发布 - 2025 年 1 月

Zama 团队发布了 TFHE-rs (v0.11)、Concrete (v2.9)、Concrete ML (v1.8) 和 fhEVM (v0.6) 的新版本。
同态加密  Concrete ML  fhEVM  TFHE-rs  零知识证明  EVM 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 544 )

Concrete v2.9：增强的 TFHE-rs 互操作性、Python 3.12 支持与后端更新

Concrete v2.9 版本发布，增强了 TFHE-rs 互操作性，扩展了对有符号整数的支持，并完全支持张量的序列化和反序列化，从而支持更复杂的用例，例如运行线性机器学习模型。此外，该版本还增加了对 Python 3.12 的支持，并包含各种优化和错误修复，以及对 GPU 内核的更新，从而略微提高了大型 FHE 评估的性能。
同态加密  TFHE-rs  Concrete  密码学  Python 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 507 )

fhEVM v0.6：增强的输入机制（具有证明能力）、扩展的类型和更好的可配置性

fhEVM v0.6 版本引入了扩展类型支持、具有证明能力的更强大的输入机制以及增强的 fhEVM 部署可配置性。其中最令人兴奋的创新是 fhEVM Coprocessor，开发者现在可以在任何 EVM 链上构建机密智能合约，目前已在 Sepolia 测试网上启动。此外，还提供了一些链接，可以帮助大家更好地了解 fhEVM Github存储库、fhEVM 文档等。
fhEVM  同态加密  智能合约  EVM  Coprocessor  Sepolia测试网 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 621 )