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

掌握SP1 zkVM设计 - 第3部分：核心证明

本文详细介绍了SP1 zkVM设计中的核心证明部分，包括多项式承诺方案（PCS）、Fiat-Shamir挑战生成器、FRI协议、低度扩展（LDE）和开放证明。文章深入探讨了这些技术的实现细节和数学原理，旨在构建高效的零知识证明系统。
零知识证明  多项式承诺方案  FRI协议  低度扩展  Fiat-Shamir  SP1 zkVM 
  • gavin.ygy
  • 发布于 2025-02-20
  • 阅读 ( 1737 )
  • ( 11 )

Web 3 的关键组成部分 - 第二篇

本文介绍了加密货币、加密币和加密代币之间的区别。加密货币是使用密码学技术来保证交易安全的数字或虚拟货币。加密币是在其自身区块链上运行并主要用于交易和支付的数字资产。加密代币是建立在现有区块链之上的数字资产，用于代表资产、访问权限或治理权力等。
加密货币  加密币  加密代币  区块链  智能合约  去中心化 

合适的密码哈希器和内存破坏者：Argon2

本文介绍了密码哈希算法Argon2，它是一种内存密集型的哈希算法，旨在抵抗GPU破解。文章解释了Argon2的原理、不同变体（Argon2d、Argon2i、Argon2id）及其参数，并提供了一个使用JavaScript实现的Argon2示例，展示了如何在浏览器中使用Argon2进行密码哈希。
Argon2  密码哈希  内存密集型  GPU破解  密码安全  哈希算法 

密码学基础：环（Ring）上学习错误问题

in  密码学101
本文介绍了环学习错误（Ring Learning With Errors, RLWE）这一加密技术的基础概念，讨论了基于多项式环的加密方法及其安全性，并探索了RLWE与格密码（Lattice-based Cryptography）之间的联系。
RLWE  多项式环  格密码  加密  后量子密码学 

掌握SP1 zkVM设计 - 第二部分：核心证明的AIR约束

本文深入探讨了SP1 zkVM设计中的核心证明及其约束系统，详细介绍了如何使用AIR（代数中间表示）来表示计算过程，并通过多项式约束确保状态转移的正确性。文章还介绍了SP1 zkVM中的预编译技术，用于加速常见操作如哈希计算和椭圆曲线运算。
SP1 zkVM  AIR  STARK  FRI算法  Plonk算法  预编译 
  • gavin.ygy
  • 发布于 2025-02-19
  • 阅读 ( 1283 )
  • ( 16 )

密码学入门：阈值签名

in  密码学101
本文详细介绍了阈值签名（Threshold Signatures）的工作原理，这是一种多方参与的签名方案，允许在不需要所有参与者签名的情况下生成有效的签名。文章涵盖了密钥生成、签名和验证的步骤，并讨论了多项式和椭圆曲线在其中的应用。
阈值签名  多项式  椭圆曲线  多方计算  VRSS  ECDSA 

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

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

椭圆曲线密码学 (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
  • 阅读 ( 1592 )
  • ( 6 )