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

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

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

密码学基础：环（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
  • 阅读 ( 545 )
  • ( 16 )

密码学入门：阈值签名

in  密码学101

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

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

in  密码学101

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

密码学基础：同态与同构

in  密码学101

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

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

in  密码学101

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

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

in  密码学101

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

“仅仅信任我们”的结束

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

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

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

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

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

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

in  密码学101

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

密码学 101：从何开始

in  密码学101

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

拆解ZK Hack V中的难题

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

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

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

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

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

密码学基础：环论(Rings)

in  密码学101

本文深入探讨了密码学中的环（ring）这一抽象代数结构，介绍了环的定义、基本性质及其在密码学中的应用，特别是后量子密码学（PQC）中的重要性。文章还详细讲解了理想（ideal）和商环（quotient ring）的概念，并通过多项式环的示例展示了如何将多项式映射到有限的环中。
环  后量子密码学  抽象代数  理想  商环  多项式环 

STARK 证明系统时序图

本文介绍了RISC Zero STARK协议的实现细节及其工作原理，涵盖了从设置阶段到主要执行跟踪、辅助执行跟踪，以及DEEP-ALI和FRI协议的细节。文章结构清晰，有助于理解这个基于零知识证明的系统的复杂性。
RISC Zero  STARK协议  零知识证明  执行跟踪  FRI协议  辅助执行跟踪 

Mina的测试框架

目录介绍我们在测试什么1.网络连接和节点管理网络连接单节点节点发现测试Rust接受OCaml的入站连接OCaml连接到广告的Rust节点通过OCaml种子节点发现Rust和OCaml节点OCaml节点发现测试OCaml到RustRust到OCaml通过种子
Mina  OpenBuild 
  • King
  • 发布于 2024-12-29
  • 阅读 ( 1060 )
  • ( 9 )

OpenMina: 测试用例说明

目录P2P测试RPCKademliaIdentifyConnection场景连接发现P2P连接KademliaPubsubP2P入站P2P出站单节点多节点记录/重放P2P测试RPCrust_to_rust:测试Rust节点是否可以
Mina  OpenBuild 
  • King
  • 发布于 2024-12-29
  • 阅读 ( 970 )
  • ( 5 )