From 2f4e5d7c650acb0cf12ab131f8000af200c57908 Mon Sep 17 00:00:00 2001 From: Bazsalanszky Date: Tue, 5 Dec 2023 09:43:02 +0100 Subject: [PATCH] Working --- Cargo.lock | 16 -- frontend/script2.js | 0 pallets/reward/Cargo.toml | 40 ----- pallets/reward/README.md | 1 - pallets/reward/src/benchmarking.rs | 35 ----- pallets/reward/src/lib.rs | 139 ------------------ pallets/reward/src/mock.rs | 54 ------- pallets/reward/src/tests.rs | 27 ---- pallets/reward/src/weights.rs | 90 ------------ pallets/zkp_verify/src/lib.rs | 7 +- proposal/README.md | 0 runtime/Cargo.toml | 1 - runtime/src/lib.rs | 8 +- zokrates_prover/.gitignore | 0 .../.zokrates/stdlib/ecc/babyjubjubParams.zok | 0 .../.zokrates/stdlib/ecc/edwardsAdd.zok | 0 .../.zokrates/stdlib/ecc/edwardsCompress.zok | 0 .../.zokrates/stdlib/ecc/edwardsNegate.zok | 0 .../.zokrates/stdlib/ecc/edwardsOnCurve.zok | 0 .../stdlib/ecc/edwardsOrderCheck.zok | 0 .../stdlib/ecc/edwardsScalarMult.zok | 0 .../.zokrates/stdlib/ecc/proofOfOwnership.zok | 0 zokrates_prover/.zokrates/stdlib/field.zok | 0 .../stdlib/hashes/blake2/blake2s.zok | 0 .../stdlib/hashes/blake2/blake2s_p.zok | 0 .../.zokrates/stdlib/hashes/keccak/224bit.zok | 0 .../.zokrates/stdlib/hashes/keccak/256bit.zok | 0 .../.zokrates/stdlib/hashes/keccak/384bit.zok | 0 .../.zokrates/stdlib/hashes/keccak/512bit.zok | 0 .../.zokrates/stdlib/hashes/keccak/keccak.zok | 0 .../.zokrates/stdlib/hashes/mimc7/mimc7.zok | 0 .../stdlib/hashes/mimcSponge/mimcFeistel.zok | 0 .../stdlib/hashes/mimcSponge/mimcSponge.zok | 0 .../stdlib/hashes/pedersen/512bit.zok | 0 .../stdlib/hashes/pedersen/512bitBool.zok | 0 .../stdlib/hashes/poseidon/constants.zok | 0 .../stdlib/hashes/poseidon/poseidon.zok | 0 .../stdlib/hashes/sha256/1024bit.zok | 0 .../stdlib/hashes/sha256/1024bitPadded.zok | 0 .../stdlib/hashes/sha256/1536bit.zok | 0 .../stdlib/hashes/sha256/256bitPadded.zok | 0 .../.zokrates/stdlib/hashes/sha256/512bit.zok | 0 .../stdlib/hashes/sha256/512bitPacked.zok | 0 .../stdlib/hashes/sha256/512bitPadded.zok | 0 .../stdlib/hashes/sha256/embed/1024bit.zok | 0 .../hashes/sha256/embed/1024bitPadded.zok | 0 .../stdlib/hashes/sha256/embed/1536bit.zok | 0 .../hashes/sha256/embed/256bitPadded.zok | 0 .../stdlib/hashes/sha256/embed/512bit.zok | 0 .../hashes/sha256/embed/512bitPacked.zok | 0 .../hashes/sha256/embed/512bitPadded.zok | 0 .../hashes/sha256/embed/IVconstants.zok | 0 .../sha256/embed/shaRoundNoBoolCheck.zok | 0 .../.zokrates/stdlib/hashes/sha256/sha256.zok | 0 .../stdlib/hashes/sha256/sha256Padded.zok | 0 .../stdlib/hashes/sha256/shaRound.zok | 0 .../.zokrates/stdlib/hashes/sha3/224bit.zok | 0 .../.zokrates/stdlib/hashes/sha3/256bit.zok | 0 .../.zokrates/stdlib/hashes/sha3/384bit.zok | 0 .../.zokrates/stdlib/hashes/sha3/512bit.zok | 0 .../hashes/utils/256bitsDirectionHelper.zok | 0 .../stdlib/signatures/verifyEddsa.zok | 0 .../.zokrates/stdlib/snark/gm17.zok | 0 .../.zokrates/stdlib/utils/casts.zok | 0 .../stdlib/utils/casts/bool_128_to_u32_4.zok | 0 .../stdlib/utils/casts/bool_256_to_u32_8.zok | 0 .../utils/casts/bool_array_to_u32_array.zok | 0 .../stdlib/utils/casts/field_to_u16.zok | 0 .../stdlib/utils/casts/field_to_u32.zok | 0 .../stdlib/utils/casts/field_to_u64.zok | 0 .../stdlib/utils/casts/field_to_u8.zok | 0 .../stdlib/utils/casts/u16_from_bits.zok | 0 .../stdlib/utils/casts/u16_to_bits.zok | 0 .../stdlib/utils/casts/u16_to_field.zok | 0 .../stdlib/utils/casts/u32_4_to_bool_128.zok | 0 .../stdlib/utils/casts/u32_8_to_bool_256.zok | 0 .../utils/casts/u32_array_to_bool_array.zok | 0 .../stdlib/utils/casts/u32_from_bits.zok | 0 .../stdlib/utils/casts/u32_to_bits.zok | 0 .../stdlib/utils/casts/u32_to_field.zok | 0 .../stdlib/utils/casts/u64_from_bits.zok | 0 .../stdlib/utils/casts/u64_to_bits.zok | 0 .../stdlib/utils/casts/u64_to_field.zok | 0 .../stdlib/utils/casts/u8_from_bits.zok | 0 .../stdlib/utils/casts/u8_to_bits.zok | 0 .../stdlib/utils/casts/u8_to_field.zok | 0 .../stdlib/utils/multiplexer/lookup1bit.zok | 0 .../stdlib/utils/multiplexer/lookup2bit.zok | 0 .../utils/multiplexer/lookup3bitSigned.zok | 0 .../utils/pack/bool/nonStrictUnpack256.zok | 0 .../.zokrates/stdlib/utils/pack/bool/pack.zok | 0 .../stdlib/utils/pack/bool/pack128.zok | 0 .../stdlib/utils/pack/bool/pack256.zok | 0 .../stdlib/utils/pack/bool/unpack.zok | 0 .../stdlib/utils/pack/bool/unpack128.zok | 0 .../stdlib/utils/pack/bool/unpack256.zok | 0 .../utils/pack/bool/unpack_unchecked.zok | 0 .../utils/pack/u32/nonStrictUnpack256.zok | 0 .../.zokrates/stdlib/utils/pack/u32/pack.zok | 0 .../stdlib/utils/pack/u32/pack128.zok | 0 .../stdlib/utils/pack/u32/pack256.zok | 0 .../stdlib/utils/pack/u32/unpack128.zok | 0 zokrates_prover/abi.json | 0 zokrates_prover/build.gradle.kts | 0 zokrates_prover/gradle.properties | 0 .../gradle/wrapper/gradle-wrapper.jar | Bin .../gradle/wrapper/gradle-wrapper.properties | 0 zokrates_prover/gradlew | 0 zokrates_prover/gradlew.bat | 0 zokrates_prover/out | Bin zokrates_prover/out.r1cs | Bin zokrates_prover/out.wtns | Bin zokrates_prover/proof.json | 0 zokrates_prover/proving.key | Bin zokrates_prover/root.zok | 0 zokrates_prover/settings.gradle.kts | 0 .../src/main/kotlin/hu/bme/Application.kt | 0 .../src/main/kotlin/hu/bme/Exceptions.kt | 0 .../src/main/kotlin/hu/bme/Zokrates.kt | 0 .../src/main/kotlin/hu/bme/plugins/Routing.kt | 0 .../src/main/resources/logback.xml | 0 .../src/test/kotlin/hu/bme/ApplicationTest.kt | 0 zokrates_prover/verification.key | 0 zokrates_prover/witness | Bin 124 files changed, 9 insertions(+), 409 deletions(-) mode change 100644 => 100755 frontend/script2.js delete mode 100755 pallets/reward/Cargo.toml delete mode 100755 pallets/reward/README.md delete mode 100755 pallets/reward/src/benchmarking.rs delete mode 100755 pallets/reward/src/lib.rs delete mode 100755 pallets/reward/src/mock.rs delete mode 100755 pallets/reward/src/tests.rs delete mode 100755 pallets/reward/src/weights.rs mode change 100644 => 100755 proposal/README.md mode change 100644 => 100755 zokrates_prover/.gitignore mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/ecc/babyjubjubParams.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/ecc/edwardsAdd.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/ecc/edwardsCompress.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/ecc/edwardsNegate.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/ecc/edwardsOnCurve.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/ecc/edwardsOrderCheck.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/ecc/edwardsScalarMult.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/ecc/proofOfOwnership.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/field.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/blake2/blake2s.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/blake2/blake2s_p.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/keccak/224bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/keccak/256bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/keccak/384bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/keccak/512bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/keccak/keccak.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/mimc7/mimc7.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/mimcSponge/mimcFeistel.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/mimcSponge/mimcSponge.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/pedersen/512bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/pedersen/512bitBool.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/poseidon/constants.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/poseidon/poseidon.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/1024bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/1024bitPadded.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/1536bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/256bitPadded.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/512bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/512bitPacked.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/512bitPadded.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/1024bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/1024bitPadded.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/1536bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/256bitPadded.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/512bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/512bitPacked.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/512bitPadded.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/IVconstants.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/shaRoundNoBoolCheck.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/sha256.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/sha256Padded.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha256/shaRound.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha3/224bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha3/256bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha3/384bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/sha3/512bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/hashes/utils/256bitsDirectionHelper.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/signatures/verifyEddsa.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/snark/gm17.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/bool_128_to_u32_4.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/bool_256_to_u32_8.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/bool_array_to_u32_array.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/field_to_u16.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/field_to_u32.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/field_to_u64.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/field_to_u8.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u16_from_bits.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u16_to_bits.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u16_to_field.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u32_4_to_bool_128.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u32_8_to_bool_256.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u32_array_to_bool_array.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u32_from_bits.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u32_to_bits.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u32_to_field.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u64_from_bits.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u64_to_bits.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u64_to_field.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u8_from_bits.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u8_to_bits.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/casts/u8_to_field.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/multiplexer/lookup1bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/multiplexer/lookup2bit.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/multiplexer/lookup3bitSigned.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/bool/nonStrictUnpack256.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/bool/pack.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/bool/pack128.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/bool/pack256.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/bool/unpack.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/bool/unpack128.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/bool/unpack256.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/bool/unpack_unchecked.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/u32/nonStrictUnpack256.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/u32/pack.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/u32/pack128.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/u32/pack256.zok mode change 100644 => 100755 zokrates_prover/.zokrates/stdlib/utils/pack/u32/unpack128.zok mode change 100644 => 100755 zokrates_prover/abi.json mode change 100644 => 100755 zokrates_prover/build.gradle.kts mode change 100644 => 100755 zokrates_prover/gradle.properties mode change 100644 => 100755 zokrates_prover/gradle/wrapper/gradle-wrapper.jar mode change 100644 => 100755 zokrates_prover/gradle/wrapper/gradle-wrapper.properties mode change 100644 => 100755 zokrates_prover/gradlew mode change 100644 => 100755 zokrates_prover/gradlew.bat mode change 100644 => 100755 zokrates_prover/out mode change 100644 => 100755 zokrates_prover/out.r1cs mode change 100644 => 100755 zokrates_prover/out.wtns mode change 100644 => 100755 zokrates_prover/proof.json mode change 100644 => 100755 zokrates_prover/proving.key mode change 100644 => 100755 zokrates_prover/root.zok mode change 100644 => 100755 zokrates_prover/settings.gradle.kts mode change 100644 => 100755 zokrates_prover/src/main/kotlin/hu/bme/Application.kt mode change 100644 => 100755 zokrates_prover/src/main/kotlin/hu/bme/Exceptions.kt mode change 100644 => 100755 zokrates_prover/src/main/kotlin/hu/bme/Zokrates.kt mode change 100644 => 100755 zokrates_prover/src/main/kotlin/hu/bme/plugins/Routing.kt mode change 100644 => 100755 zokrates_prover/src/main/resources/logback.xml mode change 100644 => 100755 zokrates_prover/src/test/kotlin/hu/bme/ApplicationTest.kt mode change 100644 => 100755 zokrates_prover/verification.key mode change 100644 => 100755 zokrates_prover/witness diff --git a/Cargo.lock b/Cargo.lock index 5d2213e..e505ba8 100755 --- a/Cargo.lock +++ b/Cargo.lock @@ -4986,7 +4986,6 @@ dependencies = [ "pallet-aura", "pallet-balances", "pallet-grandpa", - "pallet-reward", "pallet-sudo", "pallet-template", "pallet-timestamp", @@ -5280,21 +5279,6 @@ dependencies = [ "sp-std", ] -[[package]] -name = "pallet-reward" -version = "4.0.0-dev" -dependencies = [ - "frame-benchmarking", - "frame-support", - "frame-system", - "pallet_zkp_verify", - "parity-scale-codec", - "scale-info", - "sp-core", - "sp-io", - "sp-runtime", -] - [[package]] name = "pallet-session" version = "4.0.0-dev" diff --git a/frontend/script2.js b/frontend/script2.js old mode 100644 new mode 100755 diff --git a/pallets/reward/Cargo.toml b/pallets/reward/Cargo.toml deleted file mode 100755 index 537f009..0000000 --- a/pallets/reward/Cargo.toml +++ /dev/null @@ -1,40 +0,0 @@ -[package] -name = "pallet-reward" -version = "4.0.0-dev" -description = "FRAME pallet template for defining custom runtime logic." -authors = ["Substrate DevHub "] -homepage = "https://substrate.io" -edition = "2021" -license = "MIT-0" -publish = false -repository = "https://github.com/substrate-developer-hub/substrate-node-template/" - -[package.metadata.docs.rs] -targets = ["x86_64-unknown-linux-gnu"] - -[dependencies] -codec = { package = "parity-scale-codec", version = "3.6.1", default-features = false, features = [ - "derive", -] } -scale-info = { version = "2.5.0", default-features = false, features = ["derive"] } -frame-benchmarking = { version = "4.0.0-dev", default-features = false, optional = true, git = "https://github.com/paritytech/substrate.git", branch = "polkadot-v1.0.0" } -frame-support = { version = "4.0.0-dev", default-features = false, git = "https://github.com/paritytech/substrate.git", branch = "polkadot-v1.0.0" } -frame-system = { version = "4.0.0-dev", default-features = false, git = "https://github.com/paritytech/substrate.git", branch = "polkadot-v1.0.0" } -pallet_zkp_verify = { version = "4.0.0-dev", default-features = false, path = "../zkp_verify" } - -[dev-dependencies] -sp-core = { version = "21.0.0", git = "https://github.com/paritytech/substrate.git", branch = "polkadot-v1.0.0" } -sp-io = { version = "23.0.0", git = "https://github.com/paritytech/substrate.git", branch = "polkadot-v1.0.0" } -sp-runtime = { version = "24.0.0", git = "https://github.com/paritytech/substrate.git", branch = "polkadot-v1.0.0" } - -[features] -default = ["std"] -std = [ - "codec/std", - "frame-benchmarking?/std", - "frame-support/std", - "frame-system/std", - "scale-info/std", -] -runtime-benchmarks = ["frame-benchmarking/runtime-benchmarks"] -try-runtime = ["frame-support/try-runtime"] diff --git a/pallets/reward/README.md b/pallets/reward/README.md deleted file mode 100755 index d0d5953..0000000 --- a/pallets/reward/README.md +++ /dev/null @@ -1 +0,0 @@ -License: MIT-0 \ No newline at end of file diff --git a/pallets/reward/src/benchmarking.rs b/pallets/reward/src/benchmarking.rs deleted file mode 100755 index a8150dc..0000000 --- a/pallets/reward/src/benchmarking.rs +++ /dev/null @@ -1,35 +0,0 @@ -//! Benchmarking setup for pallet-reward -#![cfg(feature = "runtime-benchmarks")] -use super::*; - -#[allow(unused)] -use crate::Pallet as Template; -use frame_benchmarking::v2::*; -use frame_system::RawOrigin; - -#[benchmarks] -mod benchmarks { - use super::*; - - #[benchmark] - fn do_something() { - let value = 100u32.into(); - let caller: T::AccountId = whitelisted_caller(); - #[extrinsic_call] - do_something(RawOrigin::Signed(caller), value); - - assert_eq!(Something::::get(), Some(value)); - } - - #[benchmark] - fn cause_error() { - Something::::put(100u32); - let caller: T::AccountId = whitelisted_caller(); - #[extrinsic_call] - cause_error(RawOrigin::Signed(caller)); - - assert_eq!(Something::::get(), Some(101u32)); - } - - impl_benchmark_test_suite!(Template, crate::mock::new_test_ext(), crate::mock::Test); -} diff --git a/pallets/reward/src/lib.rs b/pallets/reward/src/lib.rs deleted file mode 100755 index c2abb78..0000000 --- a/pallets/reward/src/lib.rs +++ /dev/null @@ -1,139 +0,0 @@ -#![cfg_attr(not(feature = "std"), no_std)] - -pub use pallet::*; - -#[cfg(test)] -mod mock; - -#[cfg(test)] -mod tests; - -#[cfg(feature = "runtime-benchmarks")] -mod benchmarking; -pub mod weights; -pub use weights::*; - -#[frame_support::pallet] -pub mod pallet { - use super::*; - use frame_support::pallet_prelude::*; - use frame_system::pallet_prelude::*; - use pallet_zkp_verify::ZKPVerifyInterface; - - #[pallet::pallet] - pub struct Pallet(_); - - /// Configure the pallet by specifying the parameters and types on which it depends. - #[pallet::config] - pub trait Config: frame_system::Config { - /// Because this pallet emits events, it depends on the runtime's definition of an event. - type RuntimeEvent: From> + IsType<::RuntimeEvent>; - /// Type representing the weight of this pallet - type WeightInfo: WeightInfo; - /// - type ZKPVerify: ZKPVerifyInterface; - } - - // The pallet's runtime storage items. - // https://docs.substrate.io/main-docs/build/runtime-storage/ - #[pallet::storage] - #[pallet::getter(fn something)] - // Learn more about declaring storage items: - // https://docs.substrate.io/main-docs/build/runtime-storage/#declaring-storage-items - pub type Something = StorageValue<_, u32>; - - #[pallet::event] - #[pallet::generate_deposit(pub(super) fn deposit_event)] - pub enum Event { - RewardSuccess { who: T::AccountId }, - } - - #[pallet::error] - pub enum Error { - RewardFailed, - } - - // Dispatchable functions allows users to interact with the pallet and invoke state changes. - // These functions materialize as "extrinsics", which are often compared to transactions. - // Dispatchable functions must be annotated with a weight and must return a DispatchResult. - #[pallet::call] - impl Pallet { - #[pallet::call_index(0)] - #[pallet::weight(T::WeightInfo::cause_error())] - pub fn verify_proof( - origin: OriginFor, - - // vk: Vec, - vk_alpha_1: Vec, - vk_alpha_2: Vec, - vk_beta_1_1: Vec, - vk_beta_1_2: Vec, - vk_beta_2_1: Vec, - vk_beta_2_2: Vec, - vk_gamma_1_1: Vec, - vk_gamma_1_2: Vec, - vk_gamma_2_1: Vec, - vk_gamma_2_2: Vec, - vk_delta_1_1: Vec, - vk_delta_1_2: Vec, - vk_delta_2_1: Vec, - vk_delta_2_2: Vec, - vk_gamma_abc_1_1: Vec, - vk_gamma_abc_1_2: Vec, - vk_gamma_abc_2_1: Vec, - vk_gamma_abc_2_2: Vec, - - inputs: Vec, - - // proof: Vec, - proof_a_1: Vec, - proof_a_2: Vec, - proof_b_1_1: Vec, - proof_b_1_2: Vec, - proof_b_2_1: Vec, - proof_b_2_2: Vec, - proof_c_1: Vec, - proof_c_2: Vec, - ) -> DispatchResult { - let who = ensure_signed(origin)?; - - let result = T::ZKPVerify::verify_proof( - origin, - vk_alpha_1, - vk_alpha_2, - vk_beta_1_1, - vk_beta_1_2, - vk_beta_2_1, - vk_beta_2_2, - vk_gamma_1_1, - vk_gamma_1_2, - vk_gamma_2_1, - vk_gamma_2_2, - vk_delta_1_1, - vk_delta_1_2, - vk_delta_2_1, - vk_delta_2_2, - vk_gamma_abc_1_1, - vk_gamma_abc_1_2, - vk_gamma_abc_2_1, - vk_gamma_abc_2_2, - inputs, - proof_a_1, - proof_a_2, - proof_b_1_1, - proof_b_1_2, - proof_b_2_1, - proof_b_2_2, - proof_c_1, - proof_c_2, - ); - - if result { - Self::deposit_event(Event::RewardSuccess { who }); - Ok(()) - } else { - Err(Error::::RewardFailed.into()) - } - } - } -} diff --git a/pallets/reward/src/mock.rs b/pallets/reward/src/mock.rs deleted file mode 100755 index 568ebaf..0000000 --- a/pallets/reward/src/mock.rs +++ /dev/null @@ -1,54 +0,0 @@ -use crate as pallet_reward; -use frame_support::traits::{ConstU16, ConstU64}; -use sp_core::H256; -use sp_runtime::{ - traits::{BlakeTwo256, IdentityLookup}, - BuildStorage, -}; - -type Block = frame_system::mocking::MockBlock; - -// Configure a mock runtime to test the pallet. -frame_support::construct_runtime!( - pub enum Test - { - System: frame_system, - TemplateModule: pallet_reward, - } -); - -impl frame_system::Config for Test { - type BaseCallFilter = frame_support::traits::Everything; - type BlockWeights = (); - type BlockLength = (); - type DbWeight = (); - type RuntimeOrigin = RuntimeOrigin; - type RuntimeCall = RuntimeCall; - type Nonce = u64; - type Hash = H256; - type Hashing = BlakeTwo256; - type AccountId = u64; - type Lookup = IdentityLookup; - type Block = Block; - type RuntimeEvent = RuntimeEvent; - type BlockHashCount = ConstU64<250>; - type Version = (); - type PalletInfo = PalletInfo; - type AccountData = (); - type OnNewAccount = (); - type OnKilledAccount = (); - type SystemWeightInfo = (); - type SS58Prefix = ConstU16<42>; - type OnSetCode = (); - type MaxConsumers = frame_support::traits::ConstU32<16>; -} - -impl pallet_reward::Config for Test { - type RuntimeEvent = RuntimeEvent; - type WeightInfo = (); -} - -// Build genesis storage according to the mock runtime. -pub fn new_test_ext() -> sp_io::TestExternalities { - frame_system::GenesisConfig::::default().build_storage().unwrap().into() -} diff --git a/pallets/reward/src/tests.rs b/pallets/reward/src/tests.rs deleted file mode 100755 index 7c2b853..0000000 --- a/pallets/reward/src/tests.rs +++ /dev/null @@ -1,27 +0,0 @@ -use crate::{mock::*, Error, Event}; -use frame_support::{assert_noop, assert_ok}; - -#[test] -fn it_works_for_default_value() { - new_test_ext().execute_with(|| { - // Go past genesis block so events get deposited - System::set_block_number(1); - // Dispatch a signed extrinsic. - assert_ok!(TemplateModule::do_something(RuntimeOrigin::signed(1), 42)); - // Read pallet storage and assert an expected result. - assert_eq!(TemplateModule::something(), Some(42)); - // Assert that the correct event was deposited - System::assert_last_event(Event::SomethingStored { something: 42, who: 1 }.into()); - }); -} - -#[test] -fn correct_error_for_none_value() { - new_test_ext().execute_with(|| { - // Ensure the expected error is thrown when no value is present. - assert_noop!( - TemplateModule::cause_error(RuntimeOrigin::signed(1)), - Error::::NoneValue - ); - }); -} diff --git a/pallets/reward/src/weights.rs b/pallets/reward/src/weights.rs deleted file mode 100755 index 7c42936..0000000 --- a/pallets/reward/src/weights.rs +++ /dev/null @@ -1,90 +0,0 @@ - -//! Autogenerated weights for pallet_template -//! -//! THIS FILE WAS AUTO-GENERATED USING THE SUBSTRATE BENCHMARK CLI VERSION 4.0.0-dev -//! DATE: 2023-04-06, STEPS: `50`, REPEAT: `20`, LOW RANGE: `[]`, HIGH RANGE: `[]` -//! WORST CASE MAP SIZE: `1000000` -//! HOSTNAME: `Alexs-MacBook-Pro-2.local`, CPU: `` -//! EXECUTION: Some(Wasm), WASM-EXECUTION: Compiled, CHAIN: Some("dev"), DB CACHE: 1024 - -// Executed Command: -// ../../target/release/node-template -// benchmark -// pallet -// --chain -// dev -// --pallet -// pallet_template -// --extrinsic -// * -// --steps=50 -// --repeat=20 -// --wasm-execution=compiled -// --output -// pallets/template/src/weights.rs -// --template -// ../../.maintain/frame-weight-template.hbs - -#![cfg_attr(rustfmt, rustfmt_skip)] -#![allow(unused_parens)] -#![allow(unused_imports)] - -use frame_support::{traits::Get, weights::{Weight, constants::RocksDbWeight}}; -use core::marker::PhantomData; - -/// Weight functions needed for pallet_template. -pub trait WeightInfo { - fn do_something() -> Weight; - fn cause_error() -> Weight; -} - -/// Weights for pallet_template using the Substrate node and recommended hardware. -pub struct SubstrateWeight(PhantomData); -impl WeightInfo for SubstrateWeight { - /// Storage: TemplateModule Something (r:0 w:1) - /// Proof: TemplateModule Something (max_values: Some(1), max_size: Some(4), added: 499, mode: MaxEncodedLen) - fn do_something() -> Weight { - // Proof Size summary in bytes: - // Measured: `0` - // Estimated: `0` - // Minimum execution time: 8_000_000 picoseconds. - Weight::from_parts(9_000_000, 0) - .saturating_add(T::DbWeight::get().writes(1_u64)) - } - /// Storage: TemplateModule Something (r:1 w:1) - /// Proof: TemplateModule Something (max_values: Some(1), max_size: Some(4), added: 499, mode: MaxEncodedLen) - fn cause_error() -> Weight { - // Proof Size summary in bytes: - // Measured: `32` - // Estimated: `1489` - // Minimum execution time: 6_000_000 picoseconds. - Weight::from_parts(6_000_000, 1489) - .saturating_add(T::DbWeight::get().reads(1_u64)) - .saturating_add(T::DbWeight::get().writes(1_u64)) - } -} - -// For backwards compatibility and tests -impl WeightInfo for () { - /// Storage: TemplateModule Something (r:0 w:1) - /// Proof: TemplateModule Something (max_values: Some(1), max_size: Some(4), added: 499, mode: MaxEncodedLen) - fn do_something() -> Weight { - // Proof Size summary in bytes: - // Measured: `0` - // Estimated: `0` - // Minimum execution time: 8_000_000 picoseconds. - Weight::from_parts(9_000_000, 0) - .saturating_add(RocksDbWeight::get().writes(1_u64)) - } - /// Storage: TemplateModule Something (r:1 w:1) - /// Proof: TemplateModule Something (max_values: Some(1), max_size: Some(4), added: 499, mode: MaxEncodedLen) - fn cause_error() -> Weight { - // Proof Size summary in bytes: - // Measured: `32` - // Estimated: `1489` - // Minimum execution time: 6_000_000 picoseconds. - Weight::from_parts(6_000_000, 1489) - .saturating_add(RocksDbWeight::get().reads(1_u64)) - .saturating_add(RocksDbWeight::get().writes(1_u64)) - } -} diff --git a/pallets/zkp_verify/src/lib.rs b/pallets/zkp_verify/src/lib.rs index 52e8c98..0a9667b 100755 --- a/pallets/zkp_verify/src/lib.rs +++ b/pallets/zkp_verify/src/lib.rs @@ -259,7 +259,7 @@ pub mod pallet { }*/ } - pub trait ZKPVerifyInterface { + /*pub trait ZKPVerifyInterface { fn verify_g16( origin: OriginFor, @@ -295,8 +295,9 @@ pub mod pallet { proof_c_1: Vec, proof_c_2: Vec, ) -> DispatchResult; - } + }*/ + /* impl ZKPVerifyInterface for Pallet { fn verify_g16( origin: OriginFor, @@ -365,5 +366,5 @@ pub mod pallet { proof_c_2, ); } - } + */ } \ No newline at end of file diff --git a/proposal/README.md b/proposal/README.md old mode 100644 new mode 100755 diff --git a/runtime/Cargo.toml b/runtime/Cargo.toml index 0f65562..3bb4141 100755 --- a/runtime/Cargo.toml +++ b/runtime/Cargo.toml @@ -50,7 +50,6 @@ frame-system-benchmarking = { version = "4.0.0-dev", default-features = false, g # Local Dependencies pallet-template = { version = "4.0.0-dev", default-features = false, path = "../pallets/template" } pallet_zkp_verify = { version = "4.0.0-dev", default-features = false, path = "../pallets/zkp_verify" } -pallet-reward = { version = "4.0.0-dev", default-features = false, path = "../pallets/reward" } [build-dependencies] substrate-wasm-builder = { version = "5.0.0-dev", git = "https://github.com/paritytech/substrate.git", optional = true , branch = "polkadot-v1.0.0" } diff --git a/runtime/src/lib.rs b/runtime/src/lib.rs index aebcae8..666d61d 100755 --- a/runtime/src/lib.rs +++ b/runtime/src/lib.rs @@ -53,7 +53,7 @@ pub use pallet_template; pub use pallet_zkp_verify; /// Import the reward pallet. -pub use pallet_reward; +//pub use pallet_reward; /// An index to a block. pub type BlockNumber = u32; @@ -287,10 +287,12 @@ impl pallet_zkp_verify::Config for Runtime { } /// Configure the pallet-reward in pallets/reward.. +/* impl pallet_reward::Config for Runtime { type RuntimeEvent = RuntimeEvent; type WeightInfo = pallet_reward::weights::SubstrateWeight; } +*/ // Create the runtime by composing the FRAME pallets that were previously configured. construct_runtime!( @@ -305,7 +307,7 @@ construct_runtime!( // Include the custom logic from the pallet-template in the runtime. TemplateModule: pallet_template, ZKPVerifyModule: pallet_zkp_verify, - RewardModule: pallet_reward, + //RewardModule: pallet_reward, } ); @@ -355,7 +357,7 @@ mod benches { [pallet_sudo, Sudo] [pallet_template, TemplateModule] [pallet_zkp_verify, ZKPVerifyModule] - [pallet_reward, RewardModule] + //[pallet_reward, eewardModule] ); } diff --git a/zokrates_prover/.gitignore b/zokrates_prover/.gitignore old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/ecc/babyjubjubParams.zok b/zokrates_prover/.zokrates/stdlib/ecc/babyjubjubParams.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/ecc/edwardsAdd.zok b/zokrates_prover/.zokrates/stdlib/ecc/edwardsAdd.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/ecc/edwardsCompress.zok b/zokrates_prover/.zokrates/stdlib/ecc/edwardsCompress.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/ecc/edwardsNegate.zok b/zokrates_prover/.zokrates/stdlib/ecc/edwardsNegate.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/ecc/edwardsOnCurve.zok b/zokrates_prover/.zokrates/stdlib/ecc/edwardsOnCurve.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/ecc/edwardsOrderCheck.zok b/zokrates_prover/.zokrates/stdlib/ecc/edwardsOrderCheck.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/ecc/edwardsScalarMult.zok b/zokrates_prover/.zokrates/stdlib/ecc/edwardsScalarMult.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/ecc/proofOfOwnership.zok b/zokrates_prover/.zokrates/stdlib/ecc/proofOfOwnership.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/field.zok b/zokrates_prover/.zokrates/stdlib/field.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/blake2/blake2s.zok b/zokrates_prover/.zokrates/stdlib/hashes/blake2/blake2s.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/blake2/blake2s_p.zok b/zokrates_prover/.zokrates/stdlib/hashes/blake2/blake2s_p.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/keccak/224bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/keccak/224bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/keccak/256bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/keccak/256bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/keccak/384bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/keccak/384bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/keccak/512bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/keccak/512bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/keccak/keccak.zok b/zokrates_prover/.zokrates/stdlib/hashes/keccak/keccak.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/mimc7/mimc7.zok b/zokrates_prover/.zokrates/stdlib/hashes/mimc7/mimc7.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/mimcSponge/mimcFeistel.zok b/zokrates_prover/.zokrates/stdlib/hashes/mimcSponge/mimcFeistel.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/mimcSponge/mimcSponge.zok b/zokrates_prover/.zokrates/stdlib/hashes/mimcSponge/mimcSponge.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/pedersen/512bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/pedersen/512bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/pedersen/512bitBool.zok b/zokrates_prover/.zokrates/stdlib/hashes/pedersen/512bitBool.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/poseidon/constants.zok b/zokrates_prover/.zokrates/stdlib/hashes/poseidon/constants.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/poseidon/poseidon.zok b/zokrates_prover/.zokrates/stdlib/hashes/poseidon/poseidon.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/1024bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/1024bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/1024bitPadded.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/1024bitPadded.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/1536bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/1536bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/256bitPadded.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/256bitPadded.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/512bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/512bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/512bitPacked.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/512bitPacked.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/512bitPadded.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/512bitPadded.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/1024bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/1024bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/1024bitPadded.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/1024bitPadded.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/1536bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/1536bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/256bitPadded.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/256bitPadded.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/512bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/512bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/512bitPacked.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/512bitPacked.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/512bitPadded.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/512bitPadded.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/IVconstants.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/IVconstants.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/shaRoundNoBoolCheck.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/embed/shaRoundNoBoolCheck.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/sha256.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/sha256.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/sha256Padded.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/sha256Padded.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha256/shaRound.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha256/shaRound.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha3/224bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha3/224bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha3/256bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha3/256bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha3/384bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha3/384bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/sha3/512bit.zok b/zokrates_prover/.zokrates/stdlib/hashes/sha3/512bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/hashes/utils/256bitsDirectionHelper.zok b/zokrates_prover/.zokrates/stdlib/hashes/utils/256bitsDirectionHelper.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/signatures/verifyEddsa.zok b/zokrates_prover/.zokrates/stdlib/signatures/verifyEddsa.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/snark/gm17.zok b/zokrates_prover/.zokrates/stdlib/snark/gm17.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts.zok b/zokrates_prover/.zokrates/stdlib/utils/casts.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/bool_128_to_u32_4.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/bool_128_to_u32_4.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/bool_256_to_u32_8.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/bool_256_to_u32_8.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/bool_array_to_u32_array.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/bool_array_to_u32_array.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/field_to_u16.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/field_to_u16.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/field_to_u32.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/field_to_u32.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/field_to_u64.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/field_to_u64.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/field_to_u8.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/field_to_u8.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u16_from_bits.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u16_from_bits.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u16_to_bits.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u16_to_bits.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u16_to_field.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u16_to_field.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u32_4_to_bool_128.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u32_4_to_bool_128.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u32_8_to_bool_256.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u32_8_to_bool_256.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u32_array_to_bool_array.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u32_array_to_bool_array.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u32_from_bits.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u32_from_bits.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u32_to_bits.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u32_to_bits.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u32_to_field.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u32_to_field.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u64_from_bits.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u64_from_bits.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u64_to_bits.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u64_to_bits.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u64_to_field.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u64_to_field.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u8_from_bits.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u8_from_bits.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u8_to_bits.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u8_to_bits.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/casts/u8_to_field.zok b/zokrates_prover/.zokrates/stdlib/utils/casts/u8_to_field.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/multiplexer/lookup1bit.zok b/zokrates_prover/.zokrates/stdlib/utils/multiplexer/lookup1bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/multiplexer/lookup2bit.zok b/zokrates_prover/.zokrates/stdlib/utils/multiplexer/lookup2bit.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/multiplexer/lookup3bitSigned.zok b/zokrates_prover/.zokrates/stdlib/utils/multiplexer/lookup3bitSigned.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/bool/nonStrictUnpack256.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/bool/nonStrictUnpack256.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/bool/pack.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/bool/pack.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/bool/pack128.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/bool/pack128.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/bool/pack256.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/bool/pack256.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/bool/unpack.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/bool/unpack.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/bool/unpack128.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/bool/unpack128.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/bool/unpack256.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/bool/unpack256.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/bool/unpack_unchecked.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/bool/unpack_unchecked.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/u32/nonStrictUnpack256.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/u32/nonStrictUnpack256.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/u32/pack.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/u32/pack.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/u32/pack128.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/u32/pack128.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/u32/pack256.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/u32/pack256.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/.zokrates/stdlib/utils/pack/u32/unpack128.zok b/zokrates_prover/.zokrates/stdlib/utils/pack/u32/unpack128.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/abi.json b/zokrates_prover/abi.json old mode 100644 new mode 100755 diff --git a/zokrates_prover/build.gradle.kts b/zokrates_prover/build.gradle.kts old mode 100644 new mode 100755 diff --git a/zokrates_prover/gradle.properties b/zokrates_prover/gradle.properties old mode 100644 new mode 100755 diff --git a/zokrates_prover/gradle/wrapper/gradle-wrapper.jar b/zokrates_prover/gradle/wrapper/gradle-wrapper.jar old mode 100644 new mode 100755 diff --git a/zokrates_prover/gradle/wrapper/gradle-wrapper.properties b/zokrates_prover/gradle/wrapper/gradle-wrapper.properties old mode 100644 new mode 100755 diff --git a/zokrates_prover/gradlew b/zokrates_prover/gradlew old mode 100644 new mode 100755 diff --git a/zokrates_prover/gradlew.bat b/zokrates_prover/gradlew.bat old mode 100644 new mode 100755 diff --git a/zokrates_prover/out b/zokrates_prover/out old mode 100644 new mode 100755 diff --git a/zokrates_prover/out.r1cs b/zokrates_prover/out.r1cs old mode 100644 new mode 100755 diff --git a/zokrates_prover/out.wtns b/zokrates_prover/out.wtns old mode 100644 new mode 100755 diff --git a/zokrates_prover/proof.json b/zokrates_prover/proof.json old mode 100644 new mode 100755 diff --git a/zokrates_prover/proving.key b/zokrates_prover/proving.key old mode 100644 new mode 100755 diff --git a/zokrates_prover/root.zok b/zokrates_prover/root.zok old mode 100644 new mode 100755 diff --git a/zokrates_prover/settings.gradle.kts b/zokrates_prover/settings.gradle.kts old mode 100644 new mode 100755 diff --git a/zokrates_prover/src/main/kotlin/hu/bme/Application.kt b/zokrates_prover/src/main/kotlin/hu/bme/Application.kt old mode 100644 new mode 100755 diff --git a/zokrates_prover/src/main/kotlin/hu/bme/Exceptions.kt b/zokrates_prover/src/main/kotlin/hu/bme/Exceptions.kt old mode 100644 new mode 100755 diff --git a/zokrates_prover/src/main/kotlin/hu/bme/Zokrates.kt b/zokrates_prover/src/main/kotlin/hu/bme/Zokrates.kt old mode 100644 new mode 100755 diff --git a/zokrates_prover/src/main/kotlin/hu/bme/plugins/Routing.kt b/zokrates_prover/src/main/kotlin/hu/bme/plugins/Routing.kt old mode 100644 new mode 100755 diff --git a/zokrates_prover/src/main/resources/logback.xml b/zokrates_prover/src/main/resources/logback.xml old mode 100644 new mode 100755 diff --git a/zokrates_prover/src/test/kotlin/hu/bme/ApplicationTest.kt b/zokrates_prover/src/test/kotlin/hu/bme/ApplicationTest.kt old mode 100644 new mode 100755 diff --git a/zokrates_prover/verification.key b/zokrates_prover/verification.key old mode 100644 new mode 100755 diff --git a/zokrates_prover/witness b/zokrates_prover/witness old mode 100644 new mode 100755