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

Poseidon 在 Stylus 上加速：通过 Arbitrum 上的 Rust 实现，密码学函数的 Gas 效率提高 18 倍

本文介绍了在 Arbitrum Stylus 上优化 Poseidon 哈希函数的 Rust 实现，通过 Montgomery 形式、预计算参数、WASM 优化等手段，实现了比 Solidity 实现更低的 gas 成本，提高了零知识证明等密码学应用在链上的效率，并提供了一个与 Solidity 实现的 gas 成本对比。
Poseidon 哈希  Arbitrum Stylus  Gas 优化  零知识证明  Montgomery 形式  Rust 

椭圆曲线密码学 (ECC) 问答

本文是关于椭圆曲线密码学(ECC)的快速问答，涉及ECC的共同发明者、比特币和TLS使用的曲线等问题。同时比较了RSA和ECC在密钥对生成方面的性能差异，指出ECC的密钥对生成速度明显快于RSA。
椭圆曲线密码学  ECC  secp256k1  secp256r1  密钥生成  RSA 

“仅仅信任我们”的结束

本文深入探讨了Arcium平台如何通过多方计算（MPC）技术实现隐私保护计算，以满足现代企业和去中心化应用对敏感数据的高速安全处理需求。此外，文章分析了目前主流隐私保护技术如零知识证明（ZKP）、全同态加密（FHE）、可信执行环境（TEE）存在的局限，并介绍了Arcium的创新架构及其在去中心化金融（DeFi）和人工智能领域的应用前景。
MPC  隐私计算  Arcium  零知识证明  完全同态加密  去中心化金融 

ICICLE-Stwo 简介：一种 GPU 加速的 Stwo 证明器

Ingonyama 与 Starkware 合作，通过 CUDA 后端加速 Starkware 的 Stwo 证明器，在不改变 Stwo 前端设计的前提下，ICICLE-Stwo 在多个 CPU/GPU 配置中实现了比 Starkware 优化后的 SIMD 后端 3.25x-7x 的性能提升. ICICLE-Stwo 仓库完全开源，可直接替换标准 Stwo 证明器。
Stwo  Circle STARK  GPU加速  CUDA  证明器  ICICLE 

优化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
  • 阅读 ( 2325 )
  • ( 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 

不可区分混淆——等等，什么？

本文介绍了不可区分混淆（iO）的概念、原理以及它在密码学中的潜在应用。iO 能够对程序进行混淆，使得即使程序的内部逻辑不同，也无法区分混淆后的程序。此外，iO还可以用于替代零知识证明（ZK）和全同态加密（FHE）等技术，尽管目前 iO 的实际应用还面临挑战。
不可区分混淆  io  零知识证明  全同态加密  密码学  混淆 

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

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

密码学 101：从何开始

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

拆解ZK Hack V中的难题

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

zkVerify：优化大规模 ZK 证明验证

本文深入探讨了零知识证明（ZKP）在区块链中的应用，分析了 ZKP 在可扩展性、隐私和安全性方面的重要价值。重点介绍了 zkVerify，一个旨在成为零知识证明通用验证层的模块化L1，通过降低验证成本、简化开发流程和提高互操作性，zkVerify 有望推动 ZKP 在 Web2 和 Web3 领域的广泛应用。
零知识证明  zkVerify  区块链  密码学  可扩展性  互操作性 

密钥派生的最佳实践

本文深入探讨了密钥派生函数（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
  • 阅读 ( 1502 )

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

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

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