ZKP

WebGPU+ZKP：客户端证明

1.引言Geometry团队近日发布了一个bounty（1500美金）项目：GeometryBounty:WebGPUforZKProving希望借助WebGPU技术，实现在客户端的ZKP证明。
mutourend·2023-07-24 21:20

密码学学习笔记(十六 )：Schnorr签名算法

交互式零知识证明零知识证明(ZKP)就是不会将证据泄露给验证者的知识证明。Schnorr身份认证识别协议是一个交互式ZKP，它满足了完备性、可靠性、零知识性。
kingofyb·2023-07-20 01:14

Ingonyama团队的ZKP加速

1.PipeMSM（cloud-ZK）：ZKP+FPGAIngonyama团队2022年发表了论文《PipeMSM:HardwareAccelerationforMulti-ScalarMultiplication
mutourend·2023-07-17 19:02

零知识证明的硬件加速

使其成为很多区块链扩容和隐私解决方案中的基本组件，如：ZKrollups：如StarkNetprivateZKrollups：如AztecLayer1链：如Mina、Filecoin、Aleo由于需要大量的expensive数学运算，ZKP
mutourend·2023-07-17 19:32

蚂蚁链发布零知识证明技术架构 可满足数据“隐私保护”、“可验证”双要求

7月8日，在2023WAIC全球区块链产业高峰论坛上，蚂蚁链宣布隐私协作平台AntChainFAIR进行全新架构升级，引入零知识证明（ZKP）为核心的可验证计算技术，从可信数据流转拓展到计算过程、数据属性以及身份的可验证
光锥智能·2023-07-15 04:10

ZKP+图片授权——PhotoProof：proofs of permissible photo edits

1.引言TrishaDatta和DanBoneh2022年9月博客UsingZKProofstoFightDisinformation指出，当今找到某数字图像的来源和获取时间变得越来越困难。图像来源在新闻媒体领域尤其值得关注，可避免信息误传。开源代码实现为：https://github.com/TrishaDatta/circom-circuits（circom）理想情况下，图像应包含地理位置和时
mutourend·2023-07-13 18:35

zk-IMG：对抗虚假信息

1.引言前序博客：ZKP+图片授权——PhotoProof：proofsofpermissiblephotoeditsDanielKang等人2022年论文《ZK-IMG:AttestedImagesviaZero-KnowledgeProofstoFightDisinformation
mutourend·2023-07-13 18:25

ZKP应用：石头剪刀布游戏

1.引言开源代码见：https://github.com/spalladino/zkp-tests对比了分别使用：Iden3团队的circom语言（易于学习ZKP）ZCash团队的Halo2框架Aztec
mutourend·2023-06-22 16:53

Research Day 2023：Succinct ZKP最新进展

1.引言主要见YingTong在ResearchDay2023上视频分享：AdvancesintheEfficiencyofSuccinctProofs-YingTongZKP技术可用于：1）Verifiablevirtualmachine：如各种zkEVM和zkVM。2）verifiablecloudcomputing：2015年论文《ClusterComputinginZeroKnowledg
mutourend·2023-06-12 01:22

ZKP加速 GPU/FPGA/ASIC

1.引言参考资料有：[1]FigmentCapital团队2023年4月博客AcceleratingZero-KnowledgeProofs[2]Ulvetanna团队2023年5月博客PoseidonMerkleTreesinHardware[3]supranational2023年1月博客OpenVDF:AcceleratingtheNovaSNARK-basedVDF【采用ASIC加速Nov
mutourend·2023-06-08 08:02

zkShield：Private multisig with hidden owners

1.引言zkShield为借助ZKP技术和accountabstraction（ERC-4337）来隐藏accountowners：ZKP技术：EfficientECDSA&thecaseforclient-sideprovingAccountAbstraction
mutourend·2023-04-09 14:45

初识「零知识」与「证明」

副标题：探索零知识证明系列（一）作者：郭宇本文已更新至Github:https://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/1/zkp-back.md
安比实验室SECBIT·2023-04-05 00:13

watcher的用法

https://blog.csdn.net/zkp_java/article/details/82711810在进入watcher之前我们先试想在应用服务器集群中可能存在的两个问题：因为集群中有很多机器
03ca2835cf70·2023-04-03 22:51

读心术：从零知识证明中提取「知识」——探索零知识证明系列（三）

本文已更新至Githubhttps://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/3/zkp-pok.md导言：有些理论非常有趣，零知识证明便是其中之一
安比实验室SECBIT·2023-03-18 12:37

从「模拟」理解零知识证明：平行宇宙与时光倒流 —— 探索零知识证明系列（二）

本文作者：郭宇本文已更新至Githubhttps://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/2/zkp-simu.mdIknowthatIknownothing
安比实验室SECBIT·2023-03-09 20:51

密码学系列 - 零知识证明(ZKP) - zkSTARKs

概要ZK-STARK（零知识的可伸缩性透明知识论证）是一种密码证明技术，使用户可以与第三方共享经过验证的数据或执行计算，而无需将数据或计算透露给第三方。以公开可验证的方式提供零知识证明。用更简单的术语来说，零知识证明可以证明某件事是正确的，而不必透露它的确切证据。例如，ZK-STARK允许Alice使用零知识密码证明来验证Bob的银行信息，而不是向Alice透露机密信息。在创建ZK-STARK之前
搬砖魁首·2023-01-24 20:59

PlonKup: Reconciling PlonK with plookup

1.引言Dusk系列博客有：Dusknetwork生态图rkyv(archive)——Dusknetwork赞助的ZKP研究项目DuskNetworkDaybreak上线前关键漏洞分析来自PolychainCapital
mutourend·2023-01-06 07:15

BSV 上的信息不完整游戏

我们展示了如何使用零知识证明（ZKP）开发BSV上的信息不完整游戏，这通常被认为无法在透明的区块链上实现。我们使用两个游戏来举例说明关键过程。
sCrypt 智能合约·2022-12-27 06:59

零知识密钥声明证明

nChain白皮书#0488题为“零知识密钥声明证明”，介绍了一种零知识证明(ZKP)，可证明与给定公钥对应的私钥满足特定要求，同时保持私钥机密。
sCrypt 智能合约·2022-12-27 06:29

BSV 上的 zk-SNARKs

在此之前，我们已经使用零知识证明（ZKP）证明了一个人知道一些数学秘密，而无需透露秘密本身。
sCrypt 智能合约·2022-12-27 06:29

BSV 上零知识友好的哈希函数 MiMC

MiMC是一个“零知识友好”的哈希函数，可以生成有效的零知识证明(ZKP)。之前，我们讨论了通过zk-SNARK，零知识证明可以应用于任何数学函数。
sCrypt 智能合约·2022-12-27 06:29

零知识证明以及其在 BSV 区块链中的应用简介

在通过一个例子介绍了零知识证明(ZKP)之后，我们展示了如何将它用作一个强大的工具来增加隐私并进一步开发许多构建在上面的应用程序。
sCrypt 智能合约·2022-12-27 06:59

BSV 上的零知识隐私机器学习

我们通过将零知识证明(ZKP)应用于ML来实现这一点。零知识链上机器学习涉及ML时，有两类隐私信息：隐私输入模型的输入是隐私的，但模型本身是公开的。
sCrypt 智能合约·2022-12-27 06:25

在 BSV 上创建你的第一个零知识证明程序

ZoKrates是zkSNARKs的工具箱，隐藏了零知识证明(ZKP)固有的显着复杂性。它为开发人员提供了一种类似于python的高级语言来编写他们想要证明的计算问题。
sCrypt 智能合约·2022-12-21 07:15

Aleo技术原理

文章目录1.核心论文2.POSW(ProofofSuccinctWork)共识机制3.Aleo&ZKP4.去中心化账本模型5.RecordModelde的实现6.DPC1.核心论文POSW文档https
浪子小鬼·2022-12-15 14:36

PrivacIN Week4课程回顾 | ZK应用实践

背景随着零知识证明（ZKP）技术理论和工程应用的进步，ZK-Dapp已经成为区块链技术的应用热点，但ZKP技术的过高的技术门槛，使得设计和开发一个基于区块链系统的完整ZK-Dapp依然有较高的难度。因
·2022-10-31 09:03

PrivacIN Week3课程回顾 | 韩博士讲授ZK电路开发 & zkEVM设计

本期课程由香港科技大学在读博士韩思远讲授，以ZK电路开发和zkEVM设计为主题，围绕零知识证明应用电路设计及zkEVM构建思路展开，帮助学员学懂ZKP电路设计。
·2022-10-18 17:09

对极几何-三角测量-知识点

（画图解释）对极约束的推导3D点的投影：[uv1]=1Z[fx0cx0fycy001][XYZ]≡1ZKP\begin{bmatrix
陈建驱·2022-09-24 09:38

PrivacyIN 隐私学院首期ZK训练营毕设启动 学术、投资导师全程护航

在第一周与第二周的课程中，德克萨斯农工大学计算机科学与工程系助理教授张宇鹏生动地讲解了ZKP密码学基础知识，并提供了当前ZKP的研究概述，并与同学一并探索zkSNARKs经典协议（Groth16、Plonk
·2022-08-11 16:48

零知识证明(一)——初探阿里巴巴的零知识洞穴

第一次看到零知识证明(Zero-KnowledgeProof,ZKP)，我想大家跟我一样，对这个概念非常陌生
密码学不会·2021-01-16 16:40

开启zookeeper的安全认证功能，并配置kafka对zookeeper的身份验证

配置认证的用户和密码(例子的文件路径为/etc/zookeeper/jaas.conf)2.3--设置jaas.conf的权限，权限是zookeeper组件的用户，假设组件zookeeper的拥有使用者名为zkp
龟速扣代码·2020-12-21 15:37

无线plc可编程控制器无线远程io开关量数字量信号采集传输控制支持二次开发使用方法

ZKP(E)-4088(SO)-WIFI(0/4-20ma):金属外壳、无线WIFI通信、可编程、4路模拟量AI输入(0/4-20ma)+8开关量DI输入+8开关量DO输出(SO晶体管)ZKP(E)-4088
kde_qt·2020-09-16 08:26

Java API访问ZK的权限控制

privatestaticStringpath="/test-1";publicstaticvoidmain(String[]args)throwsException{//ZooKeeperzk=newZooKeeper("rc-zkp-datn
weixin_33754065·2020-09-16 04:16

蚂蚁金融加入以色列区块链隐私解决方案公司A轮融资

暴走时评：据报道，中国电子商务巨头阿里巴巴的金融子公司蚂蚁金融参与了QEDIT的1000万美元A轮融资，后者是一家开发零知识证明（ZKP）技术的以色列区块链隐私解决方案公司。
区块链铅笔·2020-08-24 05:27

零知识证明入门理论基础

2.1Schnorr’sProtocol2.2Guillou-QuisquaterProtocol2.3开启石门的神秘咒语3非交互式零知识证明1零知识证明概念零知识证明（Zero-KnowledgeProof，简称ZKP
华南农业大学-郭庆文·2020-08-15 08:44

StarkWare公司零知识证明验证程序ethSTARK已通过PeckShield全面安全审计服务

ethSTARK是一个以太坊基金会支持的，由StarkWare公司开发的零知识证明（ZKP,ZeroKnowledgeProof)验证程序，它实现了比现有ZKP算法更快的验证速度，进一步提升了StarkWare
PeckShield·2020-08-15 07:26

零知识证明（Zero Knowledge Proof，ZKP）

零知识证明（ZeroKnowledgeProof，ZKP）并非新鲜事物，其概念初见于1985年的论文《互动证明系统的知识复杂性》。
跨链技术践行者·2020-08-15 05:44

RPC基本原理

转载：https://blog.csdn.net/zkp_java/article/details/81879577RPC基本原理RPC(RemoteProcedureCall)，远程过程调用，大部分的
秦拿希·2020-08-14 20:08

密码学系列 - 零知识证明(ZKP) - zkSNARKs

零知识证明-ZKP零知识证明的理论基础：椭圆曲线，大数计算，群论，同态加密，配对函数零知识证明的各种算法：zkSNARK，zkSTARK，BulletProof算法属性可表示为:zk-SNARKs(简洁的非交互式零知识证明
搬砖魁首·2020-08-09 13:36

零知识证明-入门学习笔记(五)

零知识证明(zkp)（区块链）1、由来因素区块链，因为区块链可以回溯跟踪所有用户的交易信息，并且隐私保护性差，从隐私保护最有效的方案，能够通过实现零知识证明保证区块链的安全(比特币和以太坊网络网络，除了使用地址来替换交易双方的真实身份
qq_32938957·2020-08-09 10:58

图解零知识证明(ZKP), 区块链中最常见的密码学技术究竟是神马? 看完这篇就明白了…...

作者|OscarW译者|火火酱责编|Aholiab出品|区块链大本营（blockchain_camp）零知识证明（Zero-KnowledgeProof或Zero-KnowledgeProtocol）是一种基于概率的验证方法，它包括“类似事实的陈述”和“关于个人知识的陈述”。验证者基于一定的随机性来询问证明者，如果证明者给出的答案正确，那么证明者将有很大概率会拥有其所声称的“知识”。零知识证明可以
区块链大本营·2020-08-09 05:30

密码学系列 - 零知识证明(ZKP) - Bulletproofs

密码学-零知识证明(ZKP)-Bulletproofs零知识证明零知识证明的理论基础：椭圆曲线，大数计算，群论，同态加密，配对函数，零知识证明的各种算法（zkSNARK，zkSTARK，BulletProof
搬砖魁首·2020-08-05 11:13

2018-2019 Russia Open High School Programming Contest 9/13

ASolved:00:10zkp#includeusingnamespacestd;longlonga[200010],b[200010];intmain(){intn,m;longlongans=0,
BPMThor(BPM136)·2020-07-31 21:19

密码学系列 - 零知识证明(ZKP) - 智能合约

1.Zether:在ETH上的零知识证明合约零知识证明系统允许将加密的私有状态共享给所有人。各方可以提交交易，其中包括将当前状态转换为新的私有状态（加密）的信息（加密），以及证明该状态转换有效的证明。Zether可以轻松集成到任何基于账户的智能合约平台（如以太坊）中，而无需更改平台的设计。基本的Zether集成用于机密令牌的大致工作原理如下：Zether智能合约（ZSC）部署在网络上。ERC20合
搬砖魁首·2020-07-29 06:25

从「模拟」理解零知识证明：平行宇宙与时光倒流—— 探索零知识证明系列（二）

本文作者：郭宇本文已更新至Githubhttps://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/2/zkp-simu.mdIknowthatIknownothing
安比实验室SECBIT·2020-07-07 00:16

zkPoD:区块链，零知识证明与形式化验证，实现无中介、零信任的公平交易

（作者：郭宇（安比实验室创始人））这篇文章解释利用ZKP(零知识证明)与区块链来实现去中介的交易协议的原理，讲讲我们是怎么把这个理论变成实用的代码的，这是一篇概述，希望了解更多的朋友请关注后续。
安比实验室SECBIT·2020-07-07 00:16

亚瑟王的「随机」挑战：从交互到非交互式零知识证明——探索零知识证明系列（四）

本文作者：郭宇本文已更新至Githubhttps://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/4/zkp-rom.md“ChallengesareattimesanindicationofLord'strustinyou
安比实验室SECBIT·2020-07-07 00:44

读心术：从零知识证明中提取「知识」——探索零知识证明系列（三）

本文已更新至Githubhttps://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/3/zkp-pok.md导言：有些理论非常有趣，零知识证明便是其中之一
安比实验室SECBIT·2020-07-06 15:50

密码学系列 - 零知识证明与匿名交易的结合

ZKP与匿名交易的结合同态加密:实现密文的四则运算椭圆曲线:用计算机实现同态加密中的加法与乘法运算,且不可逆MPC(多方计算):Zcash的预处理阶段要证明的公式:证明等式两边的关系,推测Zcash要证明的一点就是
搬砖魁首·2020-07-05 20:08

最长快乐字符串——zkp~

如果字符串中不含有任何‘aaa’，‘bbb’或‘ccc’这样的字符串作为子串，那么该字符串就是一个「快乐字符串」。给你三个整数a，b，c，请你返回任意一个满足下列全部条件的字符串s：s是一个尽可能长的快乐字符串。s中最多有a个字母‘a’、b个字母‘b’、c个字母‘c’。s中只含有‘a’、‘b’、‘c’三种字母。如果不存在这样的字符串s，请返回一个空字符串“”。现在做了几十到贪心算法之后，发现贪心策
zkp~·2020-06-23 15:03
上一页 1 2 3 4 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他