Scribd

#$%$&'()*+, -.%')/$01$2)

344.%"&51"1$6 ,57 8#,++$59$6 -.% *%10,"$ ,57 8.56.%"1&' :+.;<;#,156

=1",+1< :&"$%15

)

" #$% &'$%(%)* +,-'./(* 0-1 /(2324-,,5 6/46%27%8 24 9/7%*:%( ;<"= 02'$ '$% 3/-, /. 6(%-'243 - */(% 3%4%(-,2>%8 :,/6?6$-24 +,-'./(*@ 6/*:24243 '/3%'$%( '$% 4/'2/4 /.

!"#$%& (&)*)+%& &)*,(*,",

72- +(//. /. 0/(? A/( %7%4')-,,5 +(//. /. 1'-?%B 02'$ '$% -:1'(-6'2/4 +/0%( /. -

,-.-(/"$ 0"1%*23&)+!$(-( 4%1-".$ +.&5%*(

24 /(8%( '/ -,,/0 -++,26-'2/4 8%7%,/+%(1 '/ *)6$ */(% %-12,5 6(%-'% -++,26-'2/41 '$-' :%4%.2' .(/* '$% 8%6%4'(-,2>-'2/4 -48 1%6)(2'5 +(/+%('2%1 /. :,/6?6$-241@ -48 +-('26),-(,5 -7/28 '$% 4%%8 '/ 6(%-'% - 4%0 :,/6?6$-24 ./( %-6$ 4%0 -++,26-'2/4C D$%(%-1 +(%72/)1 :,/6?6$-24 +(/'/6/,1 6/),8 :% 72%0%8 -1 1243,%E.)46'2/4 '//,1@ ,2?% +/6?%' 6-,6),-'/(1@ /( -' :%1' *),'2E.)46'2/4 '//,1 ,2?% F0211 -(*5 ?427%1@ &'$%(%)* 21 '$% 1*-('+$/4% /. :,/6?6$-241G - )427%(1-, +,-'./(* 0$%(%@ 0$-'%7%( 5/) 0-4' '/ :)2,8@ 5/) 6-4 H)1' :)2,8 2' -1 -4 I-++I@ -48 &'$%(%)* )1%(1 02,, :% -:,% '/ :%4%.2' .(/* 2' 2**%82-'%,5 02'$/)' 8/04,/-8243 -45 4%0 1+%62-, 1/.'0-(%C J,'$/)3$ '$% +(/H%6' /(2324-,,5 -++%-(%8 -1 - +(/+/1%8 .%-')(% )+3(-8% '/ K-1'%(6/24 /..%(243 1)++/(' ./( 028%( -((-51 /. .24-462-, 6/4'(-6'1@ 24'%(%1' L)26?,5 %M+-48%8 '/ - *)6$ ,-(3%( 1%' /. -++,26-'2/41 246,)8243 .24-462-, 6/4'(-6'1@ :%'1@ 8232'-, '/?%4 211)-46%@ 8%6%4'(-,2>%8 .2,% 1'/(-3% 246%4'272>-'2/4@ 7/'243@ I8%6%4'(-,2>%8 -)'/4/*/)1 /(3-42>-'2/41I -48 *)6$ */(%C N%7%,/+*%4' /. '$% &'$%(%)* +,-'./(* 0-1 .)48%8 72- - +):,26 I6(/081-,%I %7%4' 24 J)3)1' ;<"O@ -48 '$% +):,26 &'$%(%)* :,/6?6$-24 0-1 ,-)46$%8 24 1)**%( ;<"PC F246% '$%4@ 2' $-1 1%%4 '$% %*%(3%46% /. /7%( "<< -++,26-'2/41 (-43243 .(/* .24-462-, 6,%-(243 -48 1%'',%*%4' '/ 241)(-46%@ 8232'-, -11%' 211)-46%@ -48 %7%4 4/4E.24-462-, -++,26-'2/41 24 -(%-1 246,)8243 7/'243 -48 '$% Q4'%(4%' /. '$2431C

:,61;)>$6195

J,, :,/6?6$-241 $-7% - 4/'2/4 /. -

!"#$%&'

E '$% 1%' /. -,, +(%72/)1 '(-41-6'2/41 -48 :,/6?1 -48 '$% /(8%( 24 0$26$ '$%5 '//? +,-6% E -48 '$%

#$($)

E I6)((%4',5 (%,%7-4'I 8-'- '$-' 8%'%(*24%1 0$%'$%( /( 4/' - 327%4 '(-41-6'2/4 21 7-,28 -48 0$-' '$% 1'-'% -.'%( +(/6%11243 - '(-41-6'2/4 02,, :%C R,/6?6$-24 +(/'/6/,1 -,1/ $-7% - 4/'2/4 /. -

#$($) $&(+#"$"%+ &,-)

G 327%4 0$-' '$% 1'-'% 0-1 :%./(%@ -48 327%4 - +-('26),-( '(-41-6'2/4@ A2B 21 '$% '(-41-6'2/4 7-,28@ -48 A22B 0$-' 02,, '$% 1'-'% :% -.'%( '$% '(-41-6'2/4S D% 6-4 327% -4 %M-*+,% )1243 R2'6/24

"

C Q4 R2'6/24@ '$% 1'-'% 21 '$% 1%' /. -66/)4' :-,-46%1 A%3C -88(%11 =TR-KUV+$WX5YJ76/Z+%['4+'\]T7^68WY $-1 P;;C""_T<<"P :2'6/241@ -88(%11 =_P>JY/?(\'R`7^:YO_:.;Y8]a"&Y1359b $-1 =_P :2'6/241CCCCBC #$% 1'-'% '(-412'2/4 .)46'2/4 '-?%1 - '(-41-6'2/4 6/4'-24243 - 1%48%( -88(%11@ - 8%1'24-'2/4 -88(%11 -48 - 7-,)% -48 -1?1G A2B 21 '$% '(-41-6'2/4 6/((%6',5 6(5+'/3(-+$26-,,5 1234%8 :5 '$% 1%48%(@ -48 A22B 8/%1 '$% 1%48%( -66/)4' 6/4'-24 %4/)3$ :2'6/241 '/ 1%48S Q. %2'$%( -410%( 21 4%3-'27%@ '$% '(-41-6'2/4 21 247-,28 -48

.(++%$

:% 246,)8%8 24 - :,/6?@ 2%C 2. - :,/6? 6/4'-241 -

"

J1 %M+,-24%8 24 - ,-'%( 1%6'2/4@ R2'6/24 -6')-,,5 )1%1 - 6/46%+' /. c#Xd1 -48 4/' :-,-46%1e $/0%7%(@ '$% 8%16(2+'2/4 /. '$% +(/'/6/, )1243 :-,-46%1 21 12*+,%( -48 1)..26%1 '/ 2,,)1'(-'% '$% 6/46%+'C

; '(-41-6'2/4 0$26$ 21 247-,28 )48%( '$% 6)((%4' 1'-'%@ '$%4 '$-' :,/6? 21 234/(%8 :5 '$% 4%'0/(?

;

C Q. :/'$ -410%(1 -(% +/12'27%@ '$%4 '$% '(-41-6'2/4 7-,)% 21 1):'(-6'%8 .(/* '$% 1%48%(f1 :-,-46% -48 -88%8 '/ '$-' /. '$% (%62+2%4'C Q4 &'$%(%)*@ '$% 8%1234 21 1/*%0$-' */(% 6/*+,26-'%8C #$% 1'-'% 6-4 :% 8%16(2:%8 -1 '$% 1%' /. -,,

(..%,+$#

@ 0$%(% %-6$ -66/)4' 21 %2'$%( -4

)/$)&+(--' %0+)1 (..%,+$

A&dJB /( -

.%+$&(.$

C Q. '$% -66/)4' 21 -4 &dJ@ '$% 1'-'% 12*+,5 1'/(%1 '$% -66/)4'f1 :-,-46% 24 %'$%( A&'$%(%)*f1 24'%(4-, 6(5+'/E'/?%4@ 12*2,-( '/ :2'6/24 /( Xbg 24 .)46'2/4B -48 - 1%L)%46% 4)*:%( )1%8 '/ +(%7%4' '(-41-6'2/4 (%+,-5 -''-6?1C Q. '$% -66/)4' 21 - 6/4'(-6'@ '$% 1'-'% 1'/(%1 '$% 6/4'(-6'f1

.%1)

@ -1 0%,, -1 '$% 6/4'(-6'f1

#$%&(2)

@ - ?%5E7-,)% 8-'-:-1%C J

$&(+#(.$"%+

24 &'$%(%)* 1+%62.2%1 A-,/43128% /'$%( 24./(*-'2/4 '$-' 02,, ,-'%( :% 8%16(2:%8 -1 (%L)2(%8B - 8%1'24-'2/4 -88(%11@ - L)-4'2'5 /. %'$%( '/ '(-41-6' -48 - I8-'-I .2%,8 0$26$ '$%/(%'26-,,5 6-4 6/4'-24 -45 24./(*-'2/4 A-48 -,1/ - 1%48%( -88(%11@ -,'$/)3$ '$21 21 2*+,262' 24 '$% 1234-')(% -48 '$%(%./(%21 4/' 1+%62.2%8 %M+,262',5BC Q. - '(-41-6'2/4 21 1%4' '/ -4 &dJ@ /( - 4/'E5%'E%M21'%4' -66/)4'@ '$%4 2' 12*+,5 -6'1 -1 - '(-41.%( /. %'$%(@ -48 1%(7%1 4/ /'$%( +)(+/1%C Q. - '(-41-6'2/4 21 1%4' '/ - 6/4'(-6'@ $/0%7%(@ '$% 6/4'(-6'f1 6/8% ()41C #$21 6/8% $-1 '$% -:2,2'5 '/G

●

b%-8 '$% '(-41-6'2/4 8-'-C

●

b%-8 '$% L)-4'2'5 /. %'$%( 1%4' 24 '$% '(-41-6'2/4

●

b%-8 -48 0(2'% '/ '$% 6/4'(-6'f1 /04 1'/(-3%C

●

b%-8 %472(/4*%4' 7-(2-:,%1 A%3C '2*%1'-*+@ :,/6? 82..26),'5@ +(%72/)1 :,/6? $-1$%1B

●

F%48 -4 I24'%(4-, '(-41-6'2/4I '/ -4/'$%( 6/4'(-6'C &11%4'2-,,5@ /4% 6-4 '$24? /. - 6/4'(-6' -1 :%243 - ?248 /. I72(')-, /:H%6'I 1'/(%8 24 '$% &'$%(%)* 1'-'%@ :)' /4% 0$26$ 6-4 *-24'-24 2'1 /04 24'%(4-, +%(121'%4' *%*/(5@ -48 0$26$ $-1 '$% (23$' '/ +%(./(* '$% 1-*% ?2481 /. -6'2/41 -48 $-7% '$% 1-*% ?2481 /. (%,-'2/41$2+1 02'$ /'$%( 6/4'(-6'1 '$-' %M'%(4-, )1%(1 6-4C J4 24'%(4-, '(-41-6'2/4 21 - '(-41-6'2/4 6(%-'%8 :5 - 6/4'(-6'e ,2?% - (%3),-( I%M'%(4-,I '(-41-6'2/4@ 2' -,1/ $-1 -4 2*+,262' 1%48%(@ - 8%1'24-'2/4@ - L)-4'2'5 /. %'$%(@ -48 *%11-3% 8-'-@ -48 2. -4 24'%(4-, '(-41-6'2/4 21 1%4' '/ - 6/4'(-6' '$%4

"#$" %&'"($%")*

6/8% ()41C c+/4 %M2'243 %M%6)'2/4@ '$% 6/4'(-6'f1 6/8% $-1 '$% -:2,2'5 '/ (%')(4 >%(/ /( */(% :5'%1 /. 8-'-@ -,,/0243 24'%(4-, '(-41-6'2/41 '/ -,1/ :% )1%8 '/ I-1?I /'$%( 6/4'(-6'1 ./( 1+%62.26

;

K/(% +(%621%,5@ *24%(1 -(%

*+,,&*-.

'/ (%H%6' :,/6?1 '$-' 6/4'-24 247-,28 '(-41-6'2/41C Q4 +(-6'26%@ *24%(1 *-5 %-(4 $23$%( +(/.2'1 :5 4/' :/'$%(243 '/ 7-,28-'% :,/6?1@ 241'%-8 .(%%E(28243 /.. /. '$% +(%1)*%8 7-,28-'2/4 /. /'$%(1C Q. %4/)3$ *24%(1 8/ '$21@ 1)6$ :%$-72/( 6-4 ,%-8 '/ 8-43%(/)1,5 ,/43 ./(?1 /. 247-,28 :,/6?1@ -1 '//? +,-6% 24 ])4% ;<"P

. The “Verifier’s Dilemma”

+-+%( .(/* '$% 9-'2/4-, c427%(12'5 /. F243-+/(% 8216)11%1 '$% %6/4/*26 246%4'27%1 :%$248 4/4E7-,28-'243 *24%(1 24 -4 &'$%(%)* 6/4'%M' 24 *)6$ */(% 8%'-2,e '$% 3%4%(-, 6/46,)12/4 21 '$-' 2. :,/6? 7%(2.26-'2/4 21 1)..262%4',5 6/*+)'-'2/4-,,5 24'%4127% '$%4 '$% 151'%* 6/),8 .,2+ '/ '$% 4/4E7-,28-'243 %L)2,2:(2)*@ -48 '$21 327%1 5%' -4/'$%( (%-1/4 0$5 +):,26 :,/6?6$-241 $-7% 6/41'(-24'1 /4 '$%2( '$(/)3$+)' '$-' +,-6% '$%2( *-M2*)* 1-.% 6-+-62'5

/$( 0-1&2

'$% '$%/(%'26-, +(/6%11243 +/0%( /. - 1243,% VgcC