A. 闆剁煡璇呜瘉鏄
https://arxiv.org/abs/1906.07221
闆剁煡璇嗙亩娲佺殑闱炰氦浜掔煡璇呜鸿瘉锛坺k SNARK锛夋槸涓绉岖湡姝ｅ阀濡欑殑鏂规硶锛屽彲浠ュ湪涓嶉忛湶浠讳綍鍏朵粬淇℃伅镄勬儏鍐典笅璇佹槑镆愪欢浜嬫槸鐪熺殑锛岀劧钥岋纴涓轰粈涔埚畠棣栧厛鏄链夌敤镄勫憿锛
闆剁煡璇呜瘉鏄庡湪镞犳暟搴旂敤涓鏄链夊埄镄勶纴鍖呮嫭:
鍏充簬绉佷汉鏁版嵁镄勮瘉鏄庡０鏄:
鍖垮悕鎺堟潈锛
鍖垮悕浠樻撅细
澶栧寘璁＄畻锛
灏界¤〃闱涓婂惉璧锋潵寰堟掞纴浣嗗簳灞傛柟娉曟槸鏁板﹀拰瀵嗙爜瀛︾殑钬滃囱抗钬濓纴镊 1985 骞村湪涓昏佽宪浣溾滀氦浜掑纺璇佹槑绯荤粺镄勭煡璇嗗嶆潅镐т腑寮曞叆浠ユ潵锛屽凡缁忚繘琛屼简绗锲涗釜鍗佸勾镄勭爷绌 闅忓悗寮曞叆浜嗛潪浜や簰寮忚瘉鏄庯纴杩椤湪鍖哄潡阈剧殑鑳屾櫙涓嫔挨涓洪吨瑕併
鍦ㄤ换浣曢浂鐭ヨ瘑璇佹槑绯荤粺涓锛岄兘链変竴涓楠岃瘉浜烘兂瑕佽存湇楠岃瘉浜烘煇浜涢檲杩版槸鐪熷疄镄勶纴钥屼笉鎶闇蹭换浣曞叾浠栦俊鎭锛屼緥濡傦纴楠岃瘉浜轰简瑙ｅ埌楠岃瘉浜虹殑阈惰岃处鎴蜂腑链塜澶氢釜锛屼絾娌℃湁鍏朵粬淇℃伅锛埚嵆锛屾湭鎶闇插疄闄呴噾棰濓级銆傚岗璁搴旀弧瓒充笁涓灞炴э细
璁╂垜浠浠庣亩鍗曞紑濮嬶纴骞跺皾璇曡瘉鏄庢煇浜涗笢瑗匡纴钥屼笉蹇呮媴蹇冮浂鐭ヨ瘑锛岄潪浜や簰镐э纴鍏跺舰寮忓拰阃傜敤镐с
𨱍宠薄涓涓嬶纴鎴戜滑链変竴涓闀垮害涓 10 鏁扮粍锛屾垜浠𨱍冲悜楠岃瘉钥咃纸渚嫔傜▼搴忥级璇佹槑镓链夎繖浜涗綅閮借剧疆涓 1锛屽嵆鎴戜滑鐭ラ亾涓涓鏁扮粍锛屼娇寰楁疮涓鍏幂礌閮界瓑浜 1銆
楠岃瘉钥呬竴娆″彧鑳芥镆 (鍗宠诲彇) 涓涓鍏幂礌銆备负浜嗛獙璇佽鍙ワ纴鍙浠ラ氲繃浠ユ煇绉崭换镒忛‘搴忚诲彇鍏幂礌锛屽苟妫镆ュ畠鏄钖︾湡姝ｇ瓑浜1锛屽傛灉鏄锛屽垯鍦ㄧ涓娆℃镆ュ悗璇ヨ鍙ョ殑缃淇″害涓10%锛屾垨钥呭傛灉璇ヤ綅涓岖瓑浜1锛屽垯璇鍙ュ畬鍏ㄦ棤鏁堛傞獙璇佽呭繀椤昏繘鍏ヤ笅涓杞锛岀洿鍒颁粬銮峰缑瓒冲熺殑淇″绩銆傚湪涓浜涙儏鍐典笅锛屽彲浠ヤ俊浠昏瘉鏄庤呭苟涓斿彧闇瑕50% 缃淇″害锛屽湪闇瑕95% 缃淇″害镄勫叾浠栨儏鍐典笅锛屽繀椤绘镆ユ墍链夊崟鍏冦傚緢鏄庢樉锛岃繖绉嶈瘉鏄庡岗璁镄勭己镣规槸锛屽繀椤昏繘琛屼笌鍏幂礌鏁伴噺鎴愭瘆渚嬬殑妫镆ユ暟閲忥纴濡傛灉鎴戜滑钥冭槛鏁扮栌涓囦釜鍏幂礌镄勬暟缁勶纴杩欐槸涓嶅垏瀹为檯镄勚
璁╂垜浠钥冭槛澶氶”寮忥纴链変竴涓镟茬嚎瀵瑰簲浜庡氶”寮忥细 銆傚氶”寮忔湁涓涓链夊埄镄勬ц川锛屽嵆濡傛灉鎴戜滑链変袱涓涓岖浉绛夌殑娆℃暟链澶氢负 d 镄勫氶”寮忥纴瀹冧滑鐩镐氦镄勭偣涓嶈秴杩 d銆 渚嫔傦纴璁╂垜浠绋嶅井淇鏀瑰师濮嫔氶”寮 銆傚傛灉鎴戜滑𨱍虫垒鍒颁袱涓澶氶”寮忕殑浜ょ偣锛屾垜浠闇瑕佸皢瀹冧滑绛夊悓璧锋潵銆备緥濡傦纴瑕佹垒鍒板氶”寮忎笌x杞寸浉浜ょ殑浣岖疆 (鍗 )锛屾垜浠灏 绛夊悓锛屽苟涓旀ょ被鏂圭▼镄勮В灏嗘槸闾ｄ簺鍏变韩镣: 锛 鍜 銆
钖屾牱锛屾垜浠鍙浠ュ皢澶氶”寮忕殑铡熷嬬増链鍜屼慨鏀圭増链绛夊悓璧锋潵锛屼互镓惧埌瀹冧滑镄勪氦镣广傛墍寰楃殑澶氶”寮忎负1锛屼笖链夋槑鏄剧殑瑙 銆傚洜姝ゅ彧链変竴涓浜ょ偣銆
瀵逛簬浠绘剰娆℃暟涓 d 镄勫氶”寮忥纴浠讳綍姝ょ被鏂圭▼镄勭粨鏋滃嬬粓鏄鍙︿竴涓娆℃暟链澶氢负 d 镄勫氶”寮忥纴锲犱负娌℃湁涔樻硶鍙浠ヤ骇鐢熸洿楂樼殑娆℃暟銆 绀轰緥锛 锛岀亩鍖栦负 銆备唬鏁板熀链瀹氱悊锻婅瘔鎴戜滑锛宒 娆″氶”寮忔渶澶氩彲浠ユ湁 d 涓瑙ｃ傚洜姝わ纴鎴戜滑鍙浠ュ缑鍑虹粨璁猴纴浠绘剰镣瑰勭殑浠讳綍澶氶”寮忕殑姹傚肩被浼间簬鍏跺敮涓韬浠界殑琛ㄧず銆傝╂垜浠鍦▁ = 10澶勮瘎浼版垜浠镄勭ず渚嫔氶”寮忋
浜嫔疄涓婏纴鍦ㄦ墍链夎佽＄畻镄刹阃夐”涓锛屾渶澶氩彧链3涓阃夐”鍦ㄨ繖浜涘氶”寮忎腑鍏锋湁鐩稿悓镄勮＄畻锛岃屾墍链夊叾浠栭夐”閮戒细涓嶅悓銆傝繖灏辨槸涓轰粈涔埚傛灉璇佹槑钥呭０绉扮煡阆扑竴浜涘氶”寮 (镞犺哄叾娆℃暟链夊氩ぇ)锛屼粬浠鍙浠ラ伒寰涓涓绠鍗旷殑鍗忚𨱒ラ獙璇佽鍙:
渚嫔傦纴濡傛灉鎴戜滑钥冭槛 x 浠 1 鍒 镄勬暣鏁拌寖锲达纴鍒栾瘎浼颁笉钖岀殑镣规暟涓 銆 姝ゅ悗锛寈 镒忓栤滃嚮涓钬濅换浣 涓鍏变韩镣圭殑姒傜巼绛変簬 锛岃繖琚璁や负鍙浠ュ拷鐣ヤ笉璁°
娉ㄦ剰锛氢笌镞犳晥浣嶆镆ュ岗璁鐩告瘆锛屾柊鍗忚鍙闇瑕佷竴杞锛屽苟涓斿湪澹版槑涓缁椤嚭浜嗗帇鍊掓х殑淇″绩锛埚亣璁 d 鍏呭垎灏忎簬锣冨洿镄勪笂闄愶纴鍑犱箮 100%锛夈
杩椤氨鏄涓轰粈涔埚氶”寮忔槸zk-SNARK镄勬牳蹇冿纴灏界′篃鍙鑳藉瓨鍦ㄥ叾浠栬瘉鏄庝粙璐ㄣ
鎴戜滑浠庤瘉鏄庡氶”寮忕煡璇嗙殑闂棰桦紑濮嬶纴铹跺悗閲囩敤阃氱敤鏂规硶銆 鍦ㄦよ繃绋嬩腑锛屾垜浠灏嗗彂鐜板氶”寮忕殑璁稿氩叾浠栨ц川銆 鍒扮洰鍓崭负姝㈢殑璁ㄨ洪泦涓锛屽叧娉ㄤ竴涓寮辩殑璇佹槑姒傚康涓婏纴鍗冲悇鏂瑰繀椤荤浉浜掍俊浠伙纴锲犱负杩樻病链夋帾鏂芥潵镓ц屽岗璁镄勮勫垯銆 渚嫔傦纴璇佹槑钥呬笉闇瑕佺煡阆揿氶”寮忥纴浠栧彲浠ヤ娇鐢ㄤ换浣曞叾浠栧彲鐢ㄧ殑鏂规硶𨱒ュ缑鍑烘ｇ‘镄勭粨鏋溿 姝ゅ栵纴濡傛灉楠岃瘉钥呯殑澶氶”寮忚瘎浼扮殑骞呭害涓嶅ぇ锛屾瘆濡傝 10锛岄獙璇佽呭彲浠ョ寽娴嬩竴涓鏁板瓧锛屽苟涓斿畠琚鎺ュ弹镄勬傜巼鏄涓嶅彲蹇界暐镄勚 鎴戜滑蹇呴’瑙ｅ喅鍗忚镄勮繖绉嶅急镣癸纴浣嗛栧厛鐭ラ亾澶氶”寮忔剰锻崇潃浠涔堬纻 澶氶”寮忓彲浠ヨ〃绀轰负浠ヤ笅褰㈠纺锛埚叾涓 n 鏄澶氶”寮忕殑娆℃暟锛夛细
濡傛灉链変汉璇翠粬鐭ラ亾涓涓 1 娆″氶”寮忥纸鍗 锛夛纴闾ｆ剰锻崇潃浠栫湡姝ｇ煡阆撶殑鏄绯绘暟 銆 姝ゅ栵纴绯绘暟鍙浠ユ湁浠讳綍鍊硷纴鍖呮嫭 0銆傝╂垜浠璇达纴璇佹槑钥呭０绉扮煡阆3娆″氶”寮忥纴浣垮缑x = 1鍜寈 = 2鏄镓链夊彲鑳借В涓镄勪袱涓銆傝繖镙风殑链夋晥澶氶”寮忎箣涓鏄 銆
浠ｆ暟镄勫熀链瀹氱悊鎸囧嚭锛屽彧瑕佸氶”寮忔槸鍙瑙ｇ殑锛屼换浣曞氶”寮忛兘鍙浠ュ垎瑙ｄ负绾挎у氶”寮 (鍗充唬琛ㄧ洿绾跨殑1娆″氶”寮)銆傚洜姝わ纴鎴戜滑鍙浠ュ皢浠讳綍链夋晥澶氶”寮忚〃绀轰负鍏跺洜瀛愮殑涔樼Н:
钖屾牱锛屽傛灉杩欎簺锲犲瓙涓镄勪换浣曚竴涓涓洪浂锛屽垯鏁翠釜鏂圭▼涓洪浂锛屽洜姝わ纴镓链 閮芥槸鍞涓镄勮В銆傛垜浠镄勭ず渚嫔彲浠ュ垎瑙ｄ负浠ヤ笅澶氶”寮:
x镄勫兼槸锛0锛1锛2锛屼綘鍙浠ュ緢瀹规槗鍦板湪澶氶”寮忕殑浠讳竴褰㈠纺涓婃镆ヨ繖涓镣广
锲炲埌璇佹槑钥呭０绉颁粬鐭ラ亾镙逛负 1 鍜 2 镄 3 娆″氶”寮忥纴杩欐剰锻崇潃浠栫殑澶氶”寮忓叿链変互涓嫔舰寮忥细
鎹㈠彞璇濊达纴(x − 1) 鍜 (x − 2) 鏄镓璁ㄨ虹殑澶氶”寮忕殑浣椤洜瀛愩傚洜姝わ纴濡傛灉璇佹槑钥呮兂瑕佽瘉鏄庝粬镄勫氶”寮忕‘瀹炲叿链夎繖浜涙牴钥屼笉鍏寮澶氶”寮忔湰韬锛屽垯浠栭渶瑕佽瘉鏄庝粬镄勫氶”寮弍(x) 鏄闾ｄ簺鍗忓洜瀛 镄勪箻娉曪纴绉颁负鐩镙囧氶”寮忥纴鍜屼竴浜涗换镒忓氶”寮廻(x) 锛屽嵆:
鎹㈠彞璇濊达纴p(x) 鍏锋湁t(x) 镄勬墍链夋牴銆傛垒鍒癶(x) 镄勮嚜铹舵柟娉曟槸阃氲繃闄ゆ硶 銆傚傛灉璇佹槑钥呮垒涓嶅埌杩欐牱镄删(x)锛岃繖镒忓懗镌p(x) 娌℃湁蹇呰佺殑鍗忓洜瀛恡(x)锛屽湪杩欑嶆儏鍐典笅锛屽氶”寮忛櫎娉曞皢鍏锋湁浣欐暟銆傚湪鎴戜滑镄勭ず渚嬩腑锛屽傛灉鎴戜滑灏 闄や互 銆傛垜浠寰楀埌浜嗘棤浣欐暟镄勭粨鏋 銆
浣跨敤鎴戜滑镄勫氶”寮忚韩浠芥镆ュ岗璁锛屾垜浠鍙浠ユ瘆杈冨氶”寮 鍜 锛
涓轰简灏嗗叾浠樿稿疄璺碉纴璁╂垜浠鍦ㄧず渚嬩腑镓ц屾ゅ岗璁:
鐩稿弽锛屽傛灉璇佹槑钥呬娇鐢ㄤ笉钖岀殑 锛屽畠娌℃湁姝ｇ‘镄勮緟锲犲瓙锛屼緥濡 锛岄偅涔堬细
鎴戜滑灏嗗缑鍒 锛屼綑鏁颁负 锛屽嵆: 銆傝繖镒忓懗镌璇佹槑钥呭繀椤诲皢浣欐暟闄や互 镓嶈兘璇勪及 銆傚洜姝わ纴鐢变簬楠岃瘉钥呭箈镄勯殢链洪夋嫨锛屽洜姝ゅ逛簬浣欐暟 琚玹(x) 鏁撮櫎镄勬傜巼寰堜绠锛屽洜姝わ纴濡傛灉楠岃瘉钥呭皢妫镆p鍜宧琛ユ槸鏁存暟锛岃繖镙风殑璇佹槑灏呜𨰾掔粷銆备絾鏄锛岃ユ镆ヨ佹眰澶氶”寮忕郴鏁颁篃蹇呴’鏄鏁存暟銆
鐜板湪锛屾垜浠鍙浠ュ湪涓嶅︿範澶氶”寮忔湰韬镄勬儏鍐典笅妫镆ュ氶”寮忕殑鐗瑰畾灞炴э纴锲犳よ繖宸茬粡涓烘垜浠鎻愪緵浜嗘煇绉嶅舰寮忕殑闆剁煡璇嗗拰绠娲併傚敖绠″傛わ纴姝ゆ瀯阃犱粛瀛桦湪澶氢釜闂棰:
鎴戜滑灏嗗湪浠ヤ笅閮ㄥ垎瑙ｅ喅镓链夐梾棰樸
鍦ㄤ笂鏂囦腑锛屽傛灉灏 鍜 涓嶆槸鏄庢枃缁椤嚭锛岃屾槸浣滀负榛戝专瀛愮粰鍑猴纴闾ｅ皢鏄鐞嗘兂镄勯夋嫨锛屽洜姝や汉浠镞犳硶绡℃敼鍗忚锛屼絾浠岖劧鑳藉熻＄畻瀵硅繖浜涙ā绯婂笺傜被浼间簬鍝埚笇鍑芥暟锛屽洜姝ゅ湪璁＄畻镞跺緢闅捐繑锲炲埌铡熷嬭緭鍏ャ
杩欐ｆ槸钖屾佸姞瀵嗙殑鐩镄勚备篃灏辨槸璇达纴瀹冨厑璁稿逛竴涓鍊艰繘琛屽姞瀵嗭纴骞惰兘澶熷硅繖绉嶅姞瀵嗗簲鐢ㄧ畻链杩愮畻銆傛湁澶氱嶆柟娉曞彲浠ュ疄鐜板姞瀵嗙殑钖屾佺壒镐э纴鎴戜滑灏嗙亩瑕佷粙缁崭竴绉岖亩鍗旷殑鏂规硶銆
涓鑸镄勬兂娉曟槸锛屾垜浠阃夋嫨涓涓锘烘暟镄勮嚜铹舵暟g锛堟瘆濡5锛夛纴铹跺悗瀵逛竴涓鍊艰繘琛屽姞瀵嗭纴鎴戜滑灏唃涔树互璇ュ肩殑骞伞备緥濡傦纴濡傛灉鎴戜滑𨱍宠佸姞瀵嗘暟瀛3锛
鍏朵腑125鏄3镄勫姞瀵嗐傚傛灉瑕佸皢杩欎釜锷犲瘑镄勬暟瀛椾箻浠2锛屽垯灏嗗叾鎻愰珮涓2镄勬寚鏁:
鎴戜滑鑳藉熷皢链鐭ュ间箻浠2锛屽苟瀵瑰叾杩涜屽姞瀵嗐傛垜浠杩桦彲浠ラ氲繃涔樻硶娣诲姞涓や釜锷犲瘑鍊硷纴渚嫔3+2锛
钖屾牱锛屾垜浠鍙浠ラ氲繃闄ゆ硶鍑忓幓锷犲瘑镄勬暟瀛楋纴渚嫔5 − 3:
浣嗘槸锛岀敱浜庡熀鏁5鏄鍏鍏辩殑锛屽洜姝ゅ緢瀹规槗锲炲埌绉桦瘑鏁板瓧锛屽皢锷犲瘑镄勬暟瀛楅櫎浠5锛岀洿鍒扮粨鏋滀负1銆傞櫎娉旷殑娆℃暟鍗充负鏄庢枃銆
杩椤氨鏄妯＄畻娉曞彂鎸ヤ綔鐢ㄧ殑鍦版柟銆傛ā杩愮畻镄勬濇兂濡备笅锛氭垜浠澹版槑鍙阃夋嫨鍓峮涓镊铹舵暟锛屽嵆0锛1锛屸︼纴n-1钥屼笉鏄𨰾ユ湁涓涓镞犻檺镄勬暟瀛楅泦銆傚傛灉浠讳綍缁椤畾镄勬暣鏁颁笉鍦ㄨ繖涓锣冨洿鍐咃纴鎴戜滑灏嗗叾钬灭幆缁曗濄备緥濡傦纴璁╂垜浠鍏堥夋嫨鍏涓鏁板瓧銆备负浜呜存槑杩欎竴镣癸纴璇疯冭槛涓涓鍏锋湁鍏涓鐩哥瓑鍗曚綅鍒诲害镄勫浑锛涜繖鏄鎴戜滑镄勫皠绋嬨
鐜板湪璁╂垜浠鐪嬬湅鏁板瓧8灏呜惤鍦ㄥ摢閲屻 镓扑釜姣旀柟锛屾垜浠鍙浠ユ妸瀹冩兂璞℃垚涓镙圭怀瀛愶纴瀹幂殑闀垮害鏄鍏涓鍗曚綅銆傚傛灉鎴戜滑鎶婄怀瀛愯繛鎺ュ埌鍦嗗湀镄勫紑澶村苟寮濮嫔皢缁冲瓙缂犵粫鍦ㄥ畠锻ㄥ洿锛屾棆杞涓鍦埚悗锛屾垜浠杩桦墿涓嬩竴閮ㄥ垎缁冲瓙.锲犳わ纴濡傛灉鎴戜滑缁х画杩欎釜杩囩▼锛岀怀瀛愬皢鍦2澶勭粨𨱒熴
瀹冩槸妯¤繍绠楃殑缁撴灉銆 涓岖＄怀瀛愭湁澶氶暱锛屽畠镐绘槸浼氩仠鍦ㄥ浑鍦堢殑鍒诲害涔嬩竴澶勚 锲犳わ纴妯¤繍绠楀皢浣垮叾淇濇寔鍦ㄤ竴瀹氲寖锲村唴銆 15 涓鍗曚綅镄勭怀绱㈠皢鍦 3 澶勫仠姝锛屽嵆 6 + 6 + 3锛堜袱涓瀹屾暣镄勫浑鍦堬纴鍓╀綑 3 涓鍗曚綅锛夈 璐熸暟镄勫伐浣沧柟寮忕浉钖岋纴鍞涓镄勫尯鍒鏄鎴戜滑灏嗗叾鍖呰呭湪鐩稿弽镄勬柟钖戯纴瀵逛簬 -8锛岀粨鏋滃皢鏄 4銆
钥屼笖锛屾垜浠鍙浠ヨ繘琛岀畻链杩愮畻锛岀粨鏋沧绘槸鍦╪涓鏁扮殑锣冨洿鍐呫 鎴戜滑鐜板湪灏嗕娇鐢ㄧ﹀彿钬渕od 钬濇潵琛ㄧず鏁板瓧镄勮寖锲淬 渚嫔傦细3 脳 5 = 3 (mod 6); 5 + 2 = 1 (mod 6).
姝ゅ栵纴链閲嶈佺殑鐗规ф槸杩愮畻椤哄簭镞犲叧绱ц侊纴渚嫔傦纴鎴戜滑鍙浠ュ厛镓ц屾墍链夎繍绠楋纴铹跺悗鍦ㄦ疮娆¤繍绠楀悗搴旂敤妯℃垨搴旂敤妯°备緥濡: 鐩稿綋浜庯细2 脳 4 = 2 (mod 6); 2 − 1 = 1 (mod 6); 1 脳 3 = 3 (mod 6).
闾ｅ埌搴曚负浠涔堟湁甯锷╁憿锛熶簨瀹炶瘉鏄庯纴濡傛灉鎴戜滑浣跨敤妯＄畻链锛屽垯鍏锋湁杩愮畻缁撴灉锛屽洖鍒板师濮嬫暟瀛楁槸涓嶅钩鍑＄殑锛屽洜涓鸿稿氢笉钖岀殑缁勫悎灏嗗叿链夌浉钖岀殑缁撴灉: 5 脳 4 = 2 (mod 6); 4 脳 2 = 2 (mod 6); 2 脳 1 = 2 (mod 6).
濡傛灉娌℃湁妯＄畻链锛岀粨鏋灭殑澶у皬涓哄畠镄勮В鍐虫柟妗堟彁渚涗简绾跨储銆 钖﹀垯锛岃繖𨱒′俊鎭浼氲闅愯棌锛岃屽父瑙佺殑绠楁湳灞炴т细琚淇濈暀銆
濡傛灉鎴戜滑锲炲埌钖屾佸姞瀵嗗苟浣跨敤妯¤繍绠楋纴渚嫔傛ā 7锛屾垜浠灏嗗缑鍒帮细
鍜屼笉钖岀殑鎸囨暟浼氭湁鐩稿悓镄勭粨鏋:
杩欐槸寰堥毦镓惧埌鎸囨暟镄勫湴鏂广 浜嫔疄涓婏纴濡傛灉妯℃暟瓒冲熷ぇ锛岃繖镙峰仛灏卞彉寰椾笉鍙琛岋纴钥岀幇浠ｅ瘑镰佸︾殑寰埚ぇ涓閮ㄥ垎鏄锘轰簬杩欎釜闂棰樼殑钬滈毦搴︹濄傝ユ柟妗堢殑镓链夊悓镐佸睘镐ч兘淇濈暀鍦ㄦā棰嗗烟涓锛
encryption:
multiplication:
addition:
璁╂垜浠鏄庣‘璇存槑锷犲瘑鍑芥暟锛 锛屽叾涓 v 鏄鎴戜滑瑕佸姞瀵嗙殑鍊笺
杩欑嶅悓镐佸姞瀵嗘柟妗埚瓨鍦ㄥ眬闄愭э纴灏界℃垜浠鍙浠ュ皢锷犲瘑鍊间箻浠ユ湭锷犲瘑鍊硷纴浣嗘垜浠涓嶈兘灏嗕袱涓锷犲瘑鍊间箻浠 (鍜岄櫎浠)锛屼篃涓嶈兘瀵瑰姞瀵嗗兼眰骞伞傝槠铹朵粠绗涓鍗拌薄𨱒ョ湅鏄涓嶅垢镄勶纴浣呜繖浜涘睘镐у皢鎴愪负zk-SNARK镄勫熀鐭炽
链変简杩欐牱镄勫伐鍏凤纴鎴戜滑鐜板湪鍙浠ヨ瘎浼颁竴涓锷犲瘑闅忔満鍊间负x镄勫氶”寮忥纴骞剁浉搴斿湴淇鏀归浂鐭ヨ瘑鍗忚銆
璁╂垜浠鐪嬬湅濡备綍璇勪及澶氶”寮 銆傛ｅ傛垜浠浠ュ墠寤虹珛镄勯偅镙凤纴澶氶”寮忓氨鏄鐭ラ亾瀹幂殑绯绘暟锛屽湪杩欑嶆儏鍐典笅锛屽畠浠鏄: 1,-3,2銆傚洜涓哄悓镐佸姞瀵嗕笉鍏佽稿瑰姞瀵嗗兼眰骞傦纴镓浠ユ垜浠蹇呴’寰楀埌浠1鍒3镄刹骞傜殑锷犲瘑鍊: 锛 锛 锛岃繖镙锋垜浠鍙浠ュ瑰姞瀵嗗氶”寮忔眰鍊煎备笅:
浣滀负杩欎簺镎崭綔镄勭粨鏋滐纴鎴戜滑鍦ㄦ垜浠链鐭ョ殑镆愪釜 x 澶勫规垜浠镄勫氶”寮忚繘琛屼简锷犲瘑銆 杩欐槸涓涓闱炲父寮哄ぇ镄勬満鍒讹纴骞朵笖鐢变簬钖屾佺壒镐э纴鐩稿悓澶氶”寮忕殑锷犲瘑璁＄畻鍦ㄥ姞瀵嗙┖闂翠腑镐绘槸鐩稿悓镄勚傛垜浠鐜板湪鍙浠ユ洿鏂板岗璁镄勫厛鍓岖増链锛屽逛簬d娆″氶”寮:
Verifier:
Prover:
Verifier:
鐢变簬璇佹槑钥呭箂涓镞犳墍鐭ワ纴锲犳ゅ緢闅炬彁鍑轰笉钖堟硶浣嗕粛鍖归厤镄勮瘎浼般
铏界劧鍦ㄨ繖镙风殑鍗忚涓锛岃瘉鏄庤呯殑鏁忔嵎镐ф槸链夐檺镄勶纴浣嗕粬浠岖劧鍙浠ヤ娇鐢ㄤ换浣曞叾浠栨柟娉曟潵浼阃犺瘉鏄庯纴钥屾棤闇瀹为檯浣跨敤镓鎻愪緵镄 s 骞傜殑锷犲瘑锛屼緥濡傦纴濡傛灉璇佹槑钥呭０绉颁粎浣跨敤 2 娆″箓 鍜 链変竴涓浠や汉婊℃剰镄勫氶”寮 锛岃繖鍦ㄥ綋鍓嶅岗璁涓镞犳硶楠岃瘉銆
澶氶”寮忕殑鐭ヨ瘑鏄鍏剁郴鏁 銆 鎴戜滑鍦ㄥ岗璁涓钬滃垎閰嵝濊繖浜涚郴鏁扮殑鏂瑰纺鏄阃氲繃瀵圭桦瘑鍊 s 镄勭浉搴斿姞瀵嗗箓姹傚箓锛埚嵆 锛夈 鎴戜滑宸茬粡鍦ㄩ夋嫨 s 镄勫姞瀵嗗箓镞堕檺鍒朵简璇佹槑钥咃纴浣呜繖绉嶉檺鍒跺苟链寮哄埗镓ц岋纴渚嫔傦纴鍙浠ヤ娇鐢ㄤ换浣曞彲鑳界殑鏂规硶𨱒ユ垒鍒版弧瓒虫柟绋 镄勪换镒忓 鍜 骞跺皢瀹冧滑鎻愪緵缁欓獙璇佽呰屼笉鏄 鍜 銆 渚嫔傦纴瀵逛簬涓浜涢殢链 锛 鍜 锛屽叾涓 鍙浠ヤ粠鎻愪緵镄 s 镄勫姞瀵嗗箓璁＄畻銆 杩椤氨鏄涓轰粈涔堥獙璇佽呴渶瑕佽瘉鏄庝粎浣跨敤 s 镄勫箓镄勫姞瀵嗘潵璁＄畻 鍜 钥屾病链夊埆镄勚
璁╂垜浠钥冭槛涓涓1娆″氶”寮忕殑锘烘湰渚嫔瓙锛岃ュ氶”寮忓叿链変竴涓鍙橀噺鍜屼竴涓绯绘暟 锛岀浉搴斿湴锛宻镄勫姞瀵 銆傛垜浠姝ｅ湪瀵绘垒镄勬槸纭淇濆彧链塻镄勫姞瀵嗭纴鍗 锛岃涓浜涗换镒忕郴鏁瘫钖屾佲滀箻浠モ濓纴钥屼笉鏄鍏朵粬浠讳綍涓滆タ銆傛墍浠ュ逛簬浠绘剰镄刢锛岀粨鏋滃繀椤绘槸 褰㈠纺銆
涓绉嶆柟娉曟槸瑕佹眰瀵瑰彟涓涓绉讳綅镄勫姞瀵嗗间笌铡熷嫔间竴璧锋墽琛岀浉钖岀殑镎崭綔锛屽厖褰撯沧牎楠屽拰钬濈殑绠楁湳妯℃嫙锛岀‘淇濈粨鏋沧槸铡熷嫔肩殑鍙栧箓銆傝繖鏄阃氲繃寮曞叆镄勬寚鏁扮煡璇嗗亣璁綤nowledge-of-Exponent Assumption (鎴朘EA) 𨱒ュ疄鐜扮殑锛屾洿纭鍒囧湴璇:
Alice链変竴涓鍊糰锛屽ス甯屾湜Bob鎸囨暟鍒颁换浣曞箓锛屽敮涓镄勮佹眰鏄鍙链夎繖涓猘鍙浠ユ寚鏁帮纴娌℃湁鍒镄勶纴浠ョ‘淇濆ス锛
锲犱负 Bob 镞犳硶浠庡厓缁 涓鎻愬彇 锛屽洜姝ゆ帹娴 Bob 鍙浠ヤ骇鐢熸湁鏁埚搷搴旂殑鍞涓鏂规硶鏄阃氲繃浠ヤ笅杩囩▼锛
链缁堬纴杩欐牱镄勫岗璁钖慉lice鎻愪緵浜嗕竴涓璇佹嵁锛岃瘉鏄嶣ob纭瀹炲皢a涔树互浠栧凡鐭ョ殑镆愪釜鍊硷纴骞朵笖浠栦笉鑳借繘琛屼换浣曞叾浠栨搷浣滐纴渚嫔备箻娉曘佸姞娉曪纴锲犱负杩椤皢娑堥櫎 绉讳綅鍏崇郴銆
鍦ㄥ悓镐佸姞瀵嗕笂涓嬫枃涓锛屽箓杩愮畻鏄锷犲瘑鍊肩殑涔樻硶銆傛垜浠鍙浠ュ湪绠鍗旷殑鍗旷郴鏁板氶”寮 镄勬儏鍐典笅搴旂敤鐩稿悓镄勬瀯阃狅细
杩欑岖粨鏋勯檺鍒惰瘉鏄庤呬粎浣跨敤鎻愪緵镄勫姞瀵 s锛屽洜姝よ瘉鏄庤呭彲浠ヤ粎灏嗙郴鏁 c 鍒嗛厤缁欓獙璇佽呮彁渚涚殑澶氶”寮忋 鎴戜滑鐜板湪鍙浠ュ皢杩欑嶅崟椤瑰氶”寮忔柟娉旷缉鏀句负澶氶”澶氶”寮忥纴锲犱负姣忎釜椤圭殑绯绘暟鍒嗛厤鏄鍗旷嫭璁＄畻镄勶纴铹跺悗钖屾佸湴钬灭浉锷犫濆湪涓璧枫 锲犳わ纴濡傛灉钖戣瘉鏄庤呮彁渚 s 镄勫姞瀵嗗箓浠ュ强瀹冧滑镄勭Щ浣嶅硷纴浠栧彲浠ヨ瘎浼板师濮嫔氶”寮忓拰绉讳綅澶氶”寮忥纴鍏朵腑蹇呴’杩涜岀浉钖岀殑妫镆ャ 鐗瑰埆鏄瀵逛簬 d 娆″氶”寮忥细
瀵逛簬鎴戜滑涔嫔墠镄勭ず渚嫔氶”寮 锛岃繖灏嗘槸锛
鐜板湪鎴戜滑鍙浠ョ‘瀹氾纴楠岃瘉绋嫔簭闄や简浣跨敤楠岃瘉绋嫔簭鎻愪緵镄勫氶”寮忓栵纴娌℃湁浣跨敤浠讳綍鍏朵粬鏂规硶锛屽洜涓烘病链夊叾浠栨柟娉曟潵淇濇寔 绉讳綅銆傛ゅ栵纴濡傛灉楠岃瘉钥呭笇链涚‘淇濆湪楠岃瘉钥呯殑澶氶”寮忎腑鎺挜櫎涓浜泂镄勫箓锛屼緥濡俲锛屼粬灏嗕笉鎻愪緵锷犲瘑 鍙婂叾绉讳綅 銆
涓庢垜浠涓寮濮嬬殑鐩告瘆锛屾垜浠鐜板湪链変简涓涓锅ュ．镄勫岗璁銆 铹惰岋纴镞犺哄姞瀵嗗备綍锛岄浂鐭ヨ瘑灞炴т粛铹跺瓨鍦ㄤ竴涓鏄庢樉镄勭己镣癸细铏界劧鐞呜轰笂澶氶”寮忕郴鏁 鍙浠ユ湁寰埚ぇ锣冨洿镄勫硷纴浣嗗疄闄呬笂瀹冨彲鑳介潪甯告湁闄愶纸涓娄緥涓涓 6锛夛纴杩欐剰锻崇潃 楠岃瘉钥呭彲浠ユ毚锷涚牬瑙ｆ湁闄愯寖锲寸殑绯绘暟缁勫悎锛岀洿鍒扮粨鏋灭瓑浜庤瘉鏄庤呯殑绛旀堛 渚嫔傦纴濡傛灉鎴戜滑钥冭槛姣忎釜绯绘暟镄 100 涓鍊肩殑锣冨洿锛屽垯 2 娆″氶”寮忓皢镐诲叡链 100 涓囦釜涓嶅悓镄勭粍钖堬纴钥冭槛鍒拌洰锷涘皢闇瑕佷笉鍒 100 涓囨¤凯浠ｃ 姝ゅ栵纴鍗充娇鍦ㄥ彧链変竴涓绯绘暟涓斿叾鍊间负 1 镄勬儏鍐典笅锛屽畨鍏ㄥ岗璁涔熷簲璇ユ槸瀹夊叏镄勚
锲犱负楠岃瘉鍣ㄥ彧鑳戒粠楠岃瘉鍣ㄥ彂阃佺殑鏁版嵁涓鎻愬彇鍏充簬链鐭ュ氶”寮弍锛坸锛夌殑鐭ヨ瘑锛屾墍浠ヨ╂垜浠钥冭槛闾ｄ簺鎻愪緵镄勫硷纸璇佹槑锛夛细 銆备粬浠鍙备笌浠ヤ笅妫镆ワ细
gp=gh锛埚氶”寮弍锛坸锛夋湁t锛坸锛夌殑镙癸级
锛坓p锛坝=gp钬瞭锛坰锛夛纸浣跨敤姝ｇ‘褰㈠纺镄勫氶”寮忥级
闂棰樻槸鎴戜滑濡备綍鏀瑰彉璇佹嵁锛屼娇鏀绁ㄤ粛铹舵湁鏁堬纴浣嗘棤娉曟彁鍙栦换浣旷煡璇嗭纻浠庝笂涓鑺傚彲浠ュ缑鍑轰竴涓绛旀堬细鎴戜滑鍙浠ョ敤涓浜涢殢链烘暟未锛埼达级𨱒モ灭Щ浣嵝濊繖浜涘硷纴渚嫔傦纸gp锛坝淬傜幇鍦锛屼负浜嗘彁鍙栫煡璇嗭纴棣栧厛闇瑕佹垒鍒拌璁や负涓嶅彲琛岀殑未銆傛ゅ栵纴杩欑嶉殢链哄寲鍦ㄧ粺璁″︿笂涓庨殢链烘ф槸镞犳硶鍖哄垎镄勚
涓轰简淇濇寔鍏崇郴锛岃╂垜浠妫镆ラ獙璇佽呯殑妫镆ャ傝瘉鏄庤呯殑鍊间箣涓浣崭簬鏂圭▼寮忕殑姣忎竴渚с傚洜姝わ纴濡傛灉鎴戜滑鐢ㄧ浉钖岀殑 未 钬灭Щ锷ㄢ 瀹冧滑涓镄勬疮涓涓锛屾柟绋嫔繀椤讳缭鎸佸钩琛°
鍏蜂綋鍦帮纴璇佹槑钥呭归殢链 未 杩涜岄噰镙凤纴骞剁敤g 伪 p(s) 未 gh(s) 未 瀵瑰叾璇佹槑鍊兼眰骞傦纴骞舵彁渚涚粰楠岃瘉钥呰繘琛岄獙璇:
(gp)未 = gh 未 t(s) (gp)未 伪 = gp钬 未
钖埚苟钖庯纴鎴戜滑鍙浠ヨ傚疗鍒版敮绁ㄤ粛铹舵湁鏁堬细
娉ㄦ剰: 闆剁煡璇嗘槸澶氢箞瀹规槗琚缂栫粐鍒板缓绛戜腑锛岃繖阃氩父琚绉颁负 钬滃厤璐光 闆剁煡璇嗐
鍒扮洰鍓崭负姝锛屾垜浠链変竴涓浜や簰寮忛浂鐭ヨ瘑鏂规堛备负浠涔堜细杩欐牱锛熺敱浜庤ヨ瘉鏄庝粎瀵瑰师濮嬮獙璇佽呮湁鏁堬纴鍏朵粬浠讳綍浜猴纸鍏朵粬楠岃瘉钥咃级閮戒笉鑳戒俊浠诲悓涓璇佹槑锛屽洜涓猴细
锲犳わ纴涓轰简璇佹槑璇鍙ワ纸鍦ㄨ繖绉嶆儏鍐典笅鏄澶氶”寮忕殑鐭ヨ瘑锛夛纴闇瑕佷笌姣忎釜楠岃瘉钥呰繘琛屽崟镫镄勪氦浜掋
铏界劧浜や簰寮忚瘉鏄庣郴缁熸湁鍏朵娇鐢ㄦ堜緥锛屼緥濡傦纴褰撹瘉鏄庝汉鍙𨱍宠存湇涓涓涓撶敤镄勯獙璇佷汉锛堢О涓烘寚瀹氶獙璇佷汉锛夛纴杩欐牱璇佹槑灏变笉鑳藉啀鐢ㄤ簬钖戝叾浠栦汉璇佹槑钖屼竴闄堣堪镞讹纴褰扑竴涓浜洪渶瑕佸悓镞讹纸渚嫔傦纴鍦ㄥ尯鍧楅摼绛夊垎甯冨纺绯荤粺涓锛夋垨姘镐箙鍦拌存湇澶氭柟镞讹纴杩欐槸闱炲父链夋晥镄勚傞獙璇佹柟闇瑕佸嬬粓淇濇寔鍦ㄧ嚎锛屽苟瀵规疮涓楠岃瘉鏂规墽琛岀浉钖岀殑璁＄畻銆
锲犳わ纴鎴戜滑闇瑕佺殑绉桦瘑鍙傛暟鏄鍙閲岖敤镄勶纴鍏寮镄勶纴鍙淇＄殑鍜屼笉鍙婊ョ敤镄勚
璁╂垜浠棣栧厛钥冭槛鍦ㄧ桦瘑 (t(s)锛屛) 浜х敓钖庡备綍淇濇姢瀹冧滑銆傛垜浠鍙浠ュ儚楠岃瘉钥呭湪鍙戦佺粰璇佹槑钥呬箣鍓嶅箂镄勬寚鏁拌繘琛屽姞瀵嗕竴镙峰瑰畠浠杩涜屽姞瀵嗐傜劧钥岋纴鎴戜滑浣跨敤镄勫悓镐佸姞瀵嗕笉鏀鎸佷袱涓锷犲瘑鍊肩殑涔樻硶锛岃繖瀵逛簬楠岃瘉妫镆ヤ互浣縯(s) 鍜宧浠ュ强p鍜 伪 镄勫姞瀵嗙浉涔橀兘鏄蹇呴渶镄勚傝繖灏辨槸瀵嗙爜閰嶅圭殑鍦版柟銆
瀵嗙爜閰嶅癸纸鍙岀嚎镐ф椠灏勶级鏄涓绉嶆暟瀛︽瀯阃狅纴鐢ㄥ嚱鏁 , 缁椤畾𨱒ヨ嚜涓缁勬暟瀛楃殑涓や釜锷犲瘑杈揿叆锛堜緥濡傦纴 锛屽厑璁稿皢瀹冧滑纭瀹氩湴鏄犲皠鍒颁笉钖屾暟瀛楄緭鍑洪泦涓镄勪箻娉曡〃绀猴纴鍗筹纴 銆
鐢变簬婧愬拰杈揿嚭缂栧彿闆嗗悎涓嶅悓锛屽洜姝ら厤瀵圭殑缁撴灉涓嶈兘鐢ㄤ綔鍙︿竴涓閰嶅规搷浣灭殑杈揿叆銆傛垜浠鍙浠ュ皢杈揿嚭闆 (涔熺О涓 钬灭洰镙囬泦钬) 瑙嗕负𨱒ヨ嚜 钬滀笉钖岀殑瀹囧畽钬濄傚洜姝わ纴鎴戜滑涓嶈兘灏嗙粨鏋滀箻浠ュ彟涓涓锷犲瘑鍊硷纴骞堕氲繃钖岖О链韬寤鸿鎴戜滑涓娆″彧鑳戒箻浠ヤ袱涓锷犲瘑鍊笺傚湪镆愮嶆剰涔変笂锛屽畠绫讳技浜庝竴涓鏁ｅ垪鍑芥暟锛屽畠灏嗘墍链夊彲鑳界殑杈揿叆鍊兼椠灏勫埌涓缁勫彲鑳界殑杈揿嚭鍊间腑镄勪竴涓鍏幂礌锛屽苟涓斿畠涓嶆槸骞冲嚒鍙阃嗙殑銆
娉ㄦ剰: 涔崭竴鐪嬶纴杩欑嶉檺鍒跺彧鑳介樆纰崭緷璧栫殑锷熻兘锛屽叿链夎藉垭镒忓懗镄勬槸锛屽湪zk-SNARK𨱍呭喌涓嬶纴瀹冩槸璇ユ柟妗堢殑瀹夊叏镐ф墍𨰾ユ湁镄勬渶閲嶈佺殑灞炴с
閰嶅瑰嚱鏁 镄勪竴涓锘烘湰锛堟妧链涓娄笉姝ｇ‘锛夌殑鏁板︾被姣旀槸璇存槑链変竴绉嶆柟娉曞彲浠モ滀氦鎹⑩濇疮涓杈揿叆镄勫熀鏁板拰鎸囨暟锛岃繖镙峰熀鏁 鍦ㄨ浆鎹㈣繃绋嬩腑浼氲淇鏀规垚鎸囨暟锛屼緥濡 銆 铹跺悗灏嗕袱涓钬滀氦鎹㈢殑钬濊緭鍏ョ浉涔桡纴浣垮缑铡熷 a 鍜 b 鍊煎湪鐩稿悓镄勬寚鏁颁笅鐩镐箻锛屼緥濡傦细
锲犳わ纴鐢变簬鍦ㄢ滀氦鎹⑩濇湡闂翠娇鐢ㄧ粨鏋 鍦ㄥ彟涓涓閰嶅癸纸渚嫔傦纴 锛変腑鏀瑰彉浜嗙⒈锘猴纴锲犳や笉浼氢骇鐢熸墍闇镄勫姞瀵嗕箻娉 銆傞厤瀵圭殑镙稿绩灞炴у彲浠ョ敤绛夊纺琛ㄧず锛
e(ga, gb) = e(gb, ga) = e(gab, g1) = e(g1, gab) = e(g1, ga)b= e(g1, g1) ab= . . .
浠庢妧链涓婅诧纴閰嶅圭殑缁撴灉鏄鐩镙囬泦涓嶅悓鐢熸垚鍣╣涓嫔师濮嫔肩殑锷犲瘑浜х墿锛屽嵆 銆傚洜姝わ纴瀹冨叿链夊悓镐佸姞瀵嗙殑鐗规э纴渚嫔傦纴鎴戜滑鍙浠ュ皢澶氩圭殑锷犲瘑浜х墿娣诲姞鍒颁竴璧凤细
娉ㄦ剰锛氩姞瀵嗛厤瀵瑰埄鐢ㄦき鍦嗘洸绾挎潵瀹炵幇杩欎簺灞炴э纴锲犳や粠鐜板湪璧凤纴绗﹀彿 灏呜〃绀烘洸绾夸笂镄勭敓鎴愬櫒镣癸纴璇ョ偣灏呜娣诲姞鍒拌嚜韬 娆★纴钥屼笉鏄鎴戜滑鍦ㄥ墠闱㈤儴鍒嗕腑浣跨敤镄勪箻娉旷兢鐢熸垚鍣ㄣ
链変简锷犲瘑閰嶅癸纴鎴戜滑鐜板湪鍙浠ヨ剧疆瀹夊叏镄勫叕鍏卞拰鍙閲岖敤鍙傛暟銆傝╂垜浠锅囱炬垜浠淇′换涓涓璇氩疄镄勪竴鏂规潵鐢熸垚绉桦瘑 s 鍜 伪銆备竴镞 伪 鍜屽叿链夌浉搴 伪 浣岖Щ镄 s 镄勬墍链夊繀瑕佸箓琚锷犲瘑锛坓伪, gsi , g伪si for i in 0, 1, ..., d锛夛纴蹇呴’鍒犻櫎铡熷嫔笺
杩欎簺鍙傛暟阃氩父琚绉颁负鍏鍏卞弬钥冨瓧绗︿覆common reference string鎴朇RS銆侰RS鐢熸垚钖庯纴浠讳綍prover鍜寁erifier閮藉彲浠ヤ娇鐢ㄥ畠𨱒ユ墽琛岄潪浜や簰寮忛浂鐭ヨ瘑璇佹槑鍗忚銆傝槠铹朵笉閲嶈侊纴浣咰RS镄勪紭鍖栫増链灏嗗寘𨰾瀵圭洰镙囧氶”寮弔arget polynomial 镄勫姞瀵呜瘎浼般
姝ゅ栵纴CRS鍒嗕负涓ょ粍锛埚逛簬 涓镄 锛夛细
鐢变簬鑳藉熶箻浠ュ姞瀵嗗硷纴verifier鍙浠ュ湪鍗忚镄勬渶钖庝竴姝ユ镆ュ氶”寮忥纴璁﹙erification key verifier杩涚▼浠庤瘉鏄庤呴偅閲屾帴鏀跺埌锷犲瘑澶氶”寮忚瘎浼 gp銆乬h銆乬p'锛
铏界劧鍙淇¤剧疆鏄链夋晥镄勶纴浣嗗畠骞朵笉链夋晥锛屽洜涓 CRS 镄勫氢釜鐢ㄦ埛灏嗕笉寰椾笉鐩镐俊涓涓鍒犻櫎镄 鍜 锛屽洜涓虹洰鍓嶆病链夊姙娉曡瘉鏄庤繖涓镣广 锲犳わ纴链夊繀瑕佹渶灏忓寲鎴栨秷闄よ繖绉崭俊浠汇 钖﹀垯锛屼笉璇氩疄镄勪竴鏂瑰皢鑳藉熷湪涓嶈鍙戠幇镄勬儏鍐典笅鍒朵綔锅囱瘉鎹銆
瀹炵幇杩欎竴镣圭殑涓绉嶆柟娉曟槸鐢卞氭柟浣跨敤鍓嶉溃閮ㄥ垎涓浠嬬粛镄勬暟瀛﹀伐鍏风敓鎴愬嶅悎 CRS锛岃繖镙疯繖浜涙柟閮戒笉鐭ラ亾绉桦瘑銆傝繖鏄涓绉嶆柟娉曪纴璁╂垜浠钥冭槛涓変釜鍙备笌钥 Alice銆丅ob 鍜 Carol锛屽瑰簲镄勭储寮曚负 A銆丅 鍜 C锛屽逛簬 i 鍦 1銆2銆...涓銆 . . , d:
浣滀负杩欑嶅岗璁镄勭粨鏋滐纴鎴戜滑链夊嶅悎 鍜 骞朵笖娌℃湁鍙备笌钥呯煡阆揿叾浠栧弬涓庤呯殑绉桦瘑鍙傛暟锛岄櫎闱炰粬浠涓查氥备簨瀹炰笂锛屼负浜嗗︿範 鍜 锛屽繀椤讳笌鍏朵粬镓链夊弬涓庤呬覆阃氢竴姘斻傚洜姝わ纴鍗充娇涓涓浜烘槸璇氩疄镄勶纴涔熸棤娉曟彁渚涘亣璇佹槑銆
娉ㄦ剰锛氭よ繃绋嫔彲浠ユ牴鎹闇瑕佸瑰敖鍙鑳藉氱殑鍙备笌钥呴吨澶嶃
鍙鑳藉瓨鍦ㄧ殑闂棰樻槸濡备綍楠岃瘉鍙备笌钥呮槸钖︿笌 CRS 镄勬疮涓鍊间竴镊达纴锲犱负瀵规坠鍙浠ラ噰镙峰氢釜涓嶅悓镄 s1銆乻2銆...銆 . . 鍜屛1, 伪2, . . .锛屽苟灏嗗畠浠闅忔満鐢ㄤ簬 s 镄勪笉钖屽箓锛堟垨鎻愪緵闅忔満鏁颁綔涓哄炲己镄勫叕鍏卞弬钥冨瓧绗︿覆锛夛纴浠庤屼娇 CRS 镞犳晥涓斾笉鍙鐢ㄣ
骞歌繍镄勬槸锛屽洜涓烘垜浠鍙浠ヤ娇鐢ㄩ厤瀵规潵涔树互锷犲瘑鍊硷纴镓浠ユ垜浠鑳藉熸墽琛屼竴镊存ф镆ワ纴浠庣涓涓鍙傛暟寮濮嬶纴骞剁‘淇濇疮涓涓嬩竴涓鍙傛暟閮芥槸浠庡畠娲剧敓镄勚傚弬涓庤呭彂甯幂殑姣忎釜 CRS 閮藉彲浠ユ镆ュ备笅锛
璇锋敞镒忥纴铏界劧鎴戜滑楠岃瘉姣忎釜鍙备笌钥呴兘涓庝粬浠镄勭桦瘑鍙傛暟涓镊达纴浣嗕娇鐢ㄥ厛鍓嶅彂甯幂殑 CRS 镄勮佹眰骞舵湭瀵规疮涓涓嬩竴涓鍙备笌钥呭己鍒舵墽琛岋纸鍦ㄦ垜浠镄勭ず渚嬩腑涓 Bob 鍜 Carol锛夈傚洜姝わ纴濡傛灉瀵规坠鏄阈句腑镄勬渶钖庝竴涓锛屼粬鍙浠ュ拷鐣ュ厛鍓岖殑 CRS 骞朵粠澶村紑濮嬫瀯阃犳湁鏁埚弬鏁帮纴灏卞ソ镀忎粬鏄阈句腑镄勭涓涓锛屽洜姝ゆ槸鍞涓鐭ラ亾绉桦瘑 s 鍜 伪 镄勪汉銆
鎴戜滑鍙浠ラ氲繃棰濆栬佹眰闄ょ涓涓鍙备笌钥呬箣澶栫殑姣忎釜鍙备笌钥呭姞瀵嗗拰鍙戝竷浠栫殑绉桦瘑鍙傛暟𨱒ヨВ鍐宠繖涓闂棰桡纴渚嫔傦纴Bob 杩桦彂甯冿细
杩椤厑璁搁獙璇 Bob 镄 CRS 鏄 Alice 鍙傛暟镄勯傚綋鍊嶆暟锛屽洜涓 i in 1, 2, . . . , d:
钖屾牱锛孋arol蹇呴’璇佹槑濂圭殑CRS鏄疉lice-Bob镄凛RS镄勯傚綋鍊嶆暟銆
杩欐槸涓涓寮哄ぇ镄凛RS璁剧疆鏂规堬纴涓嶅畬鍏ㄤ緷璧栦换浣曚竴鏂广傚疄闄呬笂锛屽嵆浣垮彧链変竴鏂规槸璇氩疄镄勶纴骞朵笖鍒犻櫎骞朵笖浠庝笉鍏变韩鍏剁桦瘑鍙傛暟锛屽嵆浣挎墍链夊叾浠栧悇鏂归兘钖堣皨锛屽畠涔熸槸闱炲父鏄庢櫤镄勚傚洜姝わ纴CRS 璁剧疆涓涓岖浉鍏崇殑鍙备笌钥呰秺澶氾纴浼阃犺瘉鎹镄勫彲鑳芥у氨瓒婂皬锛屽傛灉绔炰簤鏂瑰弬涓庯纴鍏跺彲鑳芥у氨鍙浠ュ拷鐣ヤ笉璁°傝ユ柟妗埚厑璁告秹鍙婂硅剧疆镄勬槗璇绘ф湁鐤戦梾镄勫叾浠栦笉鍙椾俊浠荤殑钖勬柟锛屽洜涓洪獙璇佹ラょ‘淇濅粬浠涓崭细镰村潖链缁堢殑鍏鍏卞弬钥冨瓧绗︿覆 (涔熷寘𨰾浣跨敤寮 伪 鍜宻)銆
鎴戜滑鐜板湪鍑嗗囧珐锲鸿繘鍖栫殑zk-SNARKOP鍗忚銆傚舰寮忎笂锛屼负绠娲佽捣瑙侊纴鎴戜滑灏嗕娇鐢ㄥぇ𨰾鍙锋潵琛ㄧず鐢卞叾镞佽竟镄勪笅镙囧～鍏呯殑涓缁勫厓绱狅纴渚嫔俿i i 鈭圼d] 琛ㄧず闆嗗悎s1锛宻2锛...锛宻d銆
宸插晢瀹氱洰镙囧氶”寮弔锛坸锛夊拰镙″嗳浠澶氶”寮忕殑d娆★细
Setup锛