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

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

in  密码学101

本文深入探讨了椭圆曲线密码学中椭圆曲线的定义和操作，特别是如何通过有限域和模运算在离散环境中进行点加和倍点操作，并介绍了射影坐标系的优势。
椭圆曲线  有限域  模运算  射影坐标  密码学  点加 

密码学基础：同态与同构

in  密码学101

文章介绍了密码学中的同态(Homomorphism)和同构(Isomorphism)概念，并通过椭圆曲线群的例子展示了同态加密的基本原理及其在ElGamal加密系统中的应用。
同态  同构  椭圆曲线  ElGamal加密  同态加密 

密码学基础：零知识证明（第三部分）

in  密码学101

本文介绍了如何使用zkSNARK（如Plonk）构建算术电路来进行零知识证明，特别是范围证明和集合成员证明。通过具体的例子，展示了如何将数学表达式转化为电路，并讨论了其中的技术和挑战。
zkSNARK  PLONK  范围证明  集合成员证明  算术电路  零知识证明 

ICICLE V3.5：带有 Lambda 函数的 Sumcheck

ICICLE V3.5 版本引入了完全 CUDA 优化的非交互式 Sumcheck 协议实现，可用于多线性多项式的任意函数。
Sumcheck协议  CUDA  ICICLE  零知识证明  多线性扩展  Fiat-Shamir 

密码学Roll-ups和哈希

本文介绍了如何使用Cloudflare rolls-up CDN存储库提供的JavaScript集成crypto-js库来实现HMAC（Hash-based Message Authentication Code）消息认证码。通过简单的JavaScript代码集成，可以选择不同的哈希算法（如MD-5, SHA-1, SHA-256等）生成消息的签名。
HMAC  哈希函数  Cloudflare  JavaScript  crypto-js  消息认证码 

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

in  密码学101

深入解析椭圆曲线
椭圆曲线  密码学 

FHE状态操作系统：在保护公民隐私的同时将公共基础设施上链

本文介绍了Zama的FHE State OS，这是一个基于区块链的IT基础设施，旨在通过全同态加密保护公民隐私，同时管理税收、公共支出等政府职能。文章还讨论了使用FHE构建的几个应用案例，包括：加密的ERC-20 token，使用加密投票的DAO，以及去中心化身份系统。
同态加密  区块链  隐私保护  智能合约  去中心化身份  fhEVM 
  • ZamaFHE
  • 发布于 2025-02-13
  • 阅读 ( 446 )

椭圆曲线密码学 (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  算法优化  区块链技术  密码学 

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

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

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

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

随机数值 — 在浏览器中

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

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

in  密码学101

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

密码学 101：从何开始

in  密码学101

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

拆解ZK Hack V中的难题

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

推出 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
  • 阅读 ( 354 )

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

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