set_v1.zk: add k parameter · 3a04785847 - DarkFi

set_v1.zk: add k parameter

x 3 jaren geleden

bovenliggende

4a7c88325f

commit

3a04785847

1 gewijzigde bestanden met toevoegingen van 2 en 0 verwijderingen

Zij-aan-zij weergave Toon Diff Stats

						
							+ 2
							
							- 0
						
proof/set_v1.zk
							 
								Bestand weergeven
							
				@@ -1,3 +1,5 @@
			
				+k = 13;
			
				+
			
				 constant "Set_V1" {} 
			
				 witness "Set_V1" {