改进的向量内积时间复杂度怎么算的
还有张凡等人提出的一种高效的范围证明方案中的CT cs代表什么含义
bulletproofs范围证明算法向量内积承诺怎么改进的
- 写回答
- 好问题 0 提建议
- 关注问题
分享- 邀请回答
-
8条回答 默认 最新
Watch the clown 2023-05-30 21:32关注获得2.10元问题酬金 你可以不用花钱的，可以后台私信我交流交流
推荐你一个文献：Coppersmith, D., & Winograd, S. (1990). Matrix multiplication via arithmetic progressions. Journal of Symbolic Computation, 9(3), 251-280.
github链接：https://github.com/dalek-cryptography/bulletproofs解决 无用评论 打赏举报 编辑记录 分享
- 2025-03-03 00:12百态老人的博客 Bulletproofs通过内积论证和递归技术，在保证零知识性的同时实现了高效、紧凑的证明，尤其适用于区块链中的隐私保护和复杂计算验证。其无需可信设置和同态运算支持的特点，使其在机密交易、智能合约及多方协作中展现...
- 2021-03-20 16:51jzchu的博客 在bulletproof论文中的第三章，提出了一种改进的内积证明，虽然不是零知识的，但是可以将通信复杂度降低到2log2(n)2log_2(n)2log2(n)，如果在零知识证明中使用这种内积证明，需要在两个向量中加入盲因子。...
- 2025-08-30 11:41salt的博客 本文介绍了广义内积论证（GIPA），一种扩展传统内积论证（IPA）的技术，使其适用于所有双同态内积承诺。GIPA不仅支持多种类型的内积计算，如内配对积、多指数内积等，还具有高度的安全性和通用性。文章探讨了GIPA在...
- 2025-08-30 11:41salt的博客 本文详细解析了密码学中的内积配对证明技术，重点介绍基于GIPA协议的TIPP、MIPPu和MIPPk三种内积配对论证协议。内容涵盖协议原理、效率分析、安全性证明、实例化方法及实际应用场景，并对不同协议的通信和时间复杂度...
- 2025-08-30 11:41salt的博客 本文介绍了一种新的基于配对语言的内积论证（IPA）构造，通过广义内积论证（GIPA）的统一视角，实现了验证器成本从O(n)降低到O(log n)的显著改进。利用这一构造，提出了具有简洁验证和小参考字符串的新多项式承诺...
- 2022-04-18 22:25yixvxi的博客 Maxwell, “Bulletproofs: Short Proofs for Confidential Transactions and More,” 2018 IEEE Symposium on Security and Privacy (SP), 2018, pp. 315-334, doi: 10.1109/SP.2018.00020. https://ieeexplo
- 2025-10-29 03:11ol789012的博客 本文探讨了区块链与零知识证明（ZKPs）在供应链管理中的融合应用，详细分析了智能合约的工作流程、供应链的主要阶段以及ZKPs的关键技术如zk-SNARKs、同态加密等。通过梳理近年来相关研究，展示了ZKPs在保障数据隐私...
- 2025-05-18 09:59小胡说技书的博客 零知识证明(Zero-Knowledge Proof, ZKP)是现代密码学中的一个重要概念，它起源于20世纪80年代Shafi Goldwasser、Silvio Micali和Charles Rackoff三位科学家的开创性工作。从逻辑学角度看，零知识证明解决了一个看似...
- 2020-09-11 17:44软件工程小施同学的博客 一、零知识证明（Zero—Knowledge Proof） 1. 又叫最小暴露证明。 2. 零知识证明的定义为：证明者（prover）能够在不向验证者（verifier）提供任何有用的信息的情况下，使验证者（verifier）相信某个论断是正确的...
- 2025-08-04 09:00闲人编程的博客 本文介绍了隐私交易中的环签名技术原理、实现及其区块链应用。环签名是一种强匿名性数字签名方案，允许签名者在组成员中隐藏身份，具有无条件匿名性、自发性等特性。文章详细阐述了环签名的密码学基础（离散对数、...
- 没有解决我的问题, 去提问
问题事件
系统已结题
6月7日
创建了问题
5月30日