自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(10)
  • 收藏
  • 关注

原创 全同态加密FHE介绍(02)

介绍Gentry第一代FHE方案细节前先给出需要用到的一些基础数学概念和格上算法。

2026-05-29 12:13:46 486

原创 完全匿名化加密货币Zerocash介绍(03)

本文介绍了Zerocash中使用的零知识证明技术,重点讨论了如何在不泄漏多项式系数的情况下证明多项式整除关系。文章首先提出基于随机点验证的简单方法,分析其存在的安全缺陷,进而引入加密技术和KEA假设来增强安全性。然后探讨了如何通过双线性对加密和可信第三方设置实现非交互式证明,使任意验证者都能验证证明。该方法利用Common Reference String(CRS)包含的证明密钥和验证密钥,结合双线性对特性进行验证,确保证明的正确性同时保护多项式隐私。最后列出了相关参考文献。

2026-05-28 22:59:25 455

原创 全同态加密FHE介绍(01)

FHE是隐私计算的一个重要领域,但当前阶段在实用性上还面临两个比较大的技术问题:一个是安全信任模型,目前主流FHE框架都是采用公私钥加密方法,这样当多方进行隐私计算时,就存在一个谁负责私钥产生的信任问题,产生私钥方如果和密文数据计算方合谋的话就能够获取其他参与方的明文数据;另外一个问题是性能问题。安全信任模型问题的一个可行解决方案是将私钥产生采用MPC技术进行多方保管,在密文结果解密时需要多方参与才能还原明文数据。性能问题一方面寄希望于加密框架的重大突破,例如未来会否产生格之外的同态加密体制?

2026-05-27 12:41:21 898

原创 不经意传输OT协议介绍(02)

摘要: OT协议在隐私计算中广泛应用,本文介绍了两种典型应用场景:1) PEQT协议:通过m次1-out-of-2 OT实现隐私判等(PEQT),支撑PSI功能,双方通过异或随机数比对结果,误判概率可降至2^-n;2) Beaver Triple生成:利用两次OT子协议安全计算乘法三元组,通过分解P_aQ_b和Q_aP_b的交叉项,确保双方持有的秘密份额满足(a1+a2)(b1+b2)=c1+c2,且互不泄露私有数据。两种方案均基于OT协议实现了高效安全的隐私保护计算。

2026-05-26 20:32:05 326

原创 不经意传输OT协议介绍(01)

本文介绍了基于离散对数难题的两轮1-out-of-2不经意传输(OT)协议。协议包含四个阶段:Setup阶段发送方生成公钥;Round1阶段接收方根据选择生成密钥对;Round2阶段发送方加密两个消息;最后接收方只能解密其选择的消息。协议利用Diffie-Hellman难题和随机预言机模型确保安全性,发送方无法获知接收方的选择,接收方也无法获取未选择的消息内容。文章还分析了协议的正确性,并指出该基本OT协议可扩展为更复杂的1-out-of-N形式,在多方计算和秘密分享中有重要应用。

2026-05-25 22:11:29 465

原创 完全匿名化加密货币Zerocash介绍(02)

Zerocash中用户发起转账交易时需要通过ZKP技术证明的论断statement分为三类:1)转账交易中输入的UXTO币是合法且未被消费过的;2)拥有输入UXTO的所有权; 3)输入的UXTO币值和输出UXTO的币值相等。用户作为证明者prover提供证据,其他节点作为验证者verifier验证证据是否为真,如果为真才接受该笔交易并写入链上。

2026-05-25 11:58:23 476

原创 量子计算破解传统密码——Shor算法(01)

目前量子计算机的研究和发展已经取得了显著的进展,量子算法的设计也成为了一个重要的研究领域。但是量子计算机的实用化仍然有较大的挑战。虽然有一些量子计算公司发布量子计算机,但这些计算机无法运行复杂的量子算法,例如Shor算法,因此目前量子计算机的实用化仍然处于一个较为初级的阶段。这些量子计算机的量子比特数较少,量子比特的相干时间较短,量子门的误差率较高,这些因素都限制了复杂量子算法的运行,因而只能运行一些特定的量子算法,实际上,近年来最常被提及的“量子优势”实验,很多并不是 Shor 这类结构化算法,而是**采

2026-05-23 12:59:16 995

原创 完全匿名化加密货币Zerocash介绍(01)

在比特币系统中,每个用户需要创建一个对公私钥,公钥​作为其个人地址对外公开。UTXO 全称 Unspent Transaction Output,即“未花费的交易输出”,比特币系统中的交易有两个基本类型:挖矿交易TmintTmint​和转账交易TspendTspend​。每个交易的输出都是UTXO,挖矿交易没有输入,转账交易的输入也是UTXO。一个UTXO包括两个基本信息cadd。

2026-05-22 17:54:53 640

原创 量子密钥分发QKD(02)

基于量子技术的量子密钥分发QKD(Quantum Key Distribution)协议可以具备Information-Theoretically Security(ITS)。QKD之所以具有价值也正是因为能提供更高安全级别的安全保障(ITS),然而实现这一目标要求QKD体系中的经典通信采用同样高级别的ITS加密方案。但是既然经典通信部分已然具有ITS级别了,为何不直接用经典信道直接传送保密信息?

2026-05-21 20:30:00 439

原创 量子密钥分发QKD(01)

相对经典计算而言,量子计算的并行处理能力随着量子比特增加而呈指数级增长。基于一些比较乐观的预测,在10-15年内具有实用性量子计算机将会面世,所谓实用性是可以运行具有实用价值的量子算法,例如可以破解RSA等密码体制的Shor算法。这对于传统密码学而言将会是一个重大安全挑战。量子力学特性除了可应用于计算领域之外(破解经典密码算法),也可以用于密码学领域的密钥传输(提升密码协议安全性)。目前基于量子隐形传输的量子密钥分发QKD(Quantum Key Distribution)技术已经具备一定商业落地能力。

2026-05-20 23:43:20 483

relic开源椭圆曲线代码库

RELIC 是一个偏底层的密码学实现库,重点提供高性能有限域与群运算能力,常用于构建更上层的密码协议。 主要功能可概括为: - 大整数运算(`BN`):模运算、幂运算、随机数与素性相关基础能力。 - 有限域运算(`FP`/`FPX`/`FB`):素域、扩展域、二元域上的加减乘逆等操作。 - 椭圆曲线运算(`EP`/`ED`/`EB`):点加、点乘、曲线参数管理与序等关键接口。 - 消息摘要(`MD`):提供常见哈希接口(如 SHA-256),可用于密钥派生/承诺等场景。 - 协议原语(`CP`):包含部分经典密码协议与签名相关能力(如 ECDSA、RSA 接口)。

2026-05-25

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除