Rename cairo_verifier -> integrity

HerodotusDev · Nov 5, 2024 · f065075 · f065075
1 parent 2d54ef5
commit f065075
Show file tree

Hide file tree

Showing 148 changed files with 256 additions and 256 deletions.
diff --git a/.github/workflows/proof_verification_tests.yml b/.github/workflows/proof_verification_tests.yml
@@ -1,37 +1,37 @@
 name: Continuous Integration - proof verification tests
 
 on:
-  push:
-    branches:
-      - main
-  pull_request:
-    branches:
-      - main
+    push:
+        branches:
+            - main
+    pull_request:
+        branches:
+            - main
 
 jobs:
-  verify-example-proofs:
-    runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        cairo_version: ["cairo0", "cairo1"]
-        layout: ["recursive", "recursive_with_poseidon", "small", "dex", "starknet", "starknet_with_keccak"]
-        hash_function: ["keccak"]
-        hasher_bit_length: ["160_lsb"]
-        stone_version: ["stone5"]
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v3
-        with:
-          lfs: true
-      
-      - name: Setup Scarb
-        uses: software-mansion/setup-scarb@v1
-      
-      - name: Setup Rust toolchain
-        uses: actions-rust-lang/setup-rust-toolchain@v1
-      
-      - name: Build project
-        run: scarb build --no-default-features --features monolith,${{ matrix.layout }},${{ matrix.hash_function }}
-      
-      - name: Run verification
-        run: cargo run --release --bin runner -- --program target/dev/cairo_verifier.sierra.json --cairo-version ${{ matrix.cairo_version }} --stone-version ${{ matrix.stone_version }} --hasher-bit-length ${{ matrix.hasher_bit_length }} < examples/proofs/${{ matrix.layout }}/${{ matrix.cairo_version }}_${{ matrix.stone_version }}_${{ matrix.hash_function }}_${{ matrix.hasher_bit_length }}_example_proof.json
+    verify-example-proofs:
+        runs-on: ubuntu-latest
+        strategy:
+            matrix:
+                cairo_version: ['cairo0', 'cairo1']
+                layout: ['recursive', 'recursive_with_poseidon', 'small', 'dex', 'starknet', 'starknet_with_keccak']
+                hash_function: ['keccak']
+                hasher_bit_length: ['160_lsb']
+                stone_version: ['stone5']
+        steps:
+            - name: Checkout repository
+              uses: actions/checkout@v3
+              with:
+                  lfs: true
+
+            - name: Setup Scarb
+              uses: software-mansion/setup-scarb@v1
+
+            - name: Setup Rust toolchain
+              uses: actions-rust-lang/setup-rust-toolchain@v1
+
+            - name: Build project
+              run: scarb build --no-default-features --features monolith,${{ matrix.layout }},${{ matrix.hash_function }}
+
+            - name: Run verification
+              run: cargo run --release --bin runner -- --program target/dev/integrity.sierra.json --cairo-version ${{ matrix.cairo_version }} --stone-version ${{ matrix.stone_version }} --hasher-bit-length ${{ matrix.hasher_bit_length }} < examples/proofs/${{ matrix.layout }}/${{ matrix.cairo_version }}_${{ matrix.stone_version }}_${{ matrix.hash_function }}_${{ matrix.hasher_bit_length }}_example_proof.json
diff --git a/README.md b/README.md
@@ -69,7 +69,7 @@ You can use cairo runner to run the verifier on example proof:
 
 ```bash
 cargo run --release --bin runner -- \
---program target/dev/cairo_verifier.sierra.json \
+--program target/dev/integrity.sierra.json \
 --cairo-version cairo0 \
 --stone-version stone5 \
 --hasher-bit-length 160_lsb \
@@ -113,7 +113,7 @@ scarb test
 In order to launch benchmarking, just run this (it requires recursive layout configuration):
 
 ```bash
-cargo run --release --bin benches -- target/dev/cairo_verifier.sierra.json
+cargo run --release --bin benches -- target/dev/integrity.sierra.json
 ```
 
 ## Creating a Proof

diff --git a/Scarb.toml b/Scarb.toml
@@ -1,5 +1,5 @@
 [package]
-name = "cairo_verifier"
+name = "integrity"
 version = "0.1.0"
 
 [dependencies]

diff --git a/src/air/diluted.cairo b/src/air/diluted.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::common::math::pow;
+use integrity::common::math::pow;
 
 // The cumulative value is defined using the next recursive formula:
 //   r_1 = 1, r_{j+1} = r_j * (1 + z * u_j) + alpha * u_j^2

diff --git a/src/air/layouts/_generator/main.py b/src/air/layouts/_generator/main.py
@@ -35,7 +35,7 @@ def pair_with_next(iterable, fill=None):
 }
 
 imports = lambda layout: f"""\
-use cairo_verifier::{{
+use integrity::{{
     air::layouts::{layout}::{{
         global_values::GlobalValues,
         constants::{{CONSTRAINT_DEGREE, NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, MASK_SIZE}},

diff --git a/src/air/layouts/dex.cairo b/src/air/layouts/dex.cairo
@@ -6,7 +6,7 @@ mod traces;
 #[cfg(feature: 'split')]
 mod contract;
 
-use cairo_verifier::{
+use integrity::{
     air::{
         constants::{SHIFT_POINT_X, SHIFT_POINT_Y, StarkCurve},
         layouts::dex::{
@@ -27,7 +27,7 @@ use cairo_verifier::{
 use starknet::ContractAddress;
 
 #[cfg(feature: 'monolith')]
-use cairo_verifier::air::layouts::dex::autogenerated::{
+use integrity::air::layouts::dex::autogenerated::{
     eval_oods_polynomial_inner as eval_oods_polynomial_inner_,
 };
 
@@ -47,7 +47,7 @@ fn eval_oods_polynomial_inner(
 }
 
 #[cfg(feature: 'split')]
-use cairo_verifier::air::layouts::dex::contract::{
+use integrity::air::layouts::dex::contract::{
     ILayoutOodsContractDispatcher, ILayoutOodsContractDispatcherTrait,
 };
 

diff --git a/src/air/layouts/dex/autogenerated.cairo b/src/air/layouts/dex/autogenerated.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     air::layouts::dex::{
         global_values::GlobalValues,
         constants::{CONSTRAINT_DEGREE, NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, MASK_SIZE},

diff --git a/src/air/layouts/dex/contract.cairo b/src/air/layouts/dex/contract.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::air::layouts::dex::global_values::GlobalValues;
+use integrity::air::layouts::dex::global_values::GlobalValues;
 
 #[starknet::interface]
 trait ILayoutOodsContract<ContractState> {
@@ -16,7 +16,7 @@ trait ILayoutOodsContract<ContractState> {
 #[starknet::contract]
 mod LayoutOodsContract {
     use super::ILayoutOodsContract;
-    use cairo_verifier::air::layouts::dex::{
+    use integrity::air::layouts::dex::{
         global_values::GlobalValues, autogenerated::eval_oods_polynomial_inner,
     };
 

diff --git a/src/air/layouts/dex/public_input.cairo b/src/air/layouts/dex/public_input.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     common::{
         math::{pow, Felt252PartialOrd, Felt252Div},
         asserts::{assert_range_u128_le, assert_range_u128},

diff --git a/src/air/layouts/dex/traces.cairo b/src/air/layouts/dex/traces.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     air::layouts::dex::{
         constants::{NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND}, global_values::InteractionElements,
     },

diff --git a/src/air/layouts/recursive.cairo b/src/air/layouts/recursive.cairo
@@ -4,7 +4,7 @@ mod global_values;
 mod public_input;
 mod traces;
 
-use cairo_verifier::{
+use integrity::{
     air::{
         constants::{SHIFT_POINT_X, SHIFT_POINT_Y},
         layouts::recursive::{

diff --git a/src/air/layouts/recursive/autogenerated.cairo b/src/air/layouts/recursive/autogenerated.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     air::layouts::recursive::{
         global_values::GlobalValues,
         constants::{CONSTRAINT_DEGREE, NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, MASK_SIZE},

diff --git a/src/air/layouts/recursive/public_input.cairo b/src/air/layouts/recursive/public_input.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     common::{
         math::{pow, Felt252PartialOrd, Felt252Div},
         asserts::{assert_range_u128_le, assert_range_u128},

diff --git a/src/air/layouts/recursive/traces.cairo b/src/air/layouts/recursive/traces.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     air::layouts::recursive::{
         constants::{NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND}, global_values::InteractionElements,
     },

diff --git a/src/air/layouts/recursive_with_poseidon.cairo b/src/air/layouts/recursive_with_poseidon.cairo
@@ -6,7 +6,7 @@ mod traces;
 #[cfg(feature: 'split')]
 mod contract;
 
-use cairo_verifier::{
+use integrity::{
     air::{
         constants::{SHIFT_POINT_X, SHIFT_POINT_Y},
         layouts::recursive_with_poseidon::{
@@ -31,7 +31,7 @@ use cairo_verifier::{
 use starknet::ContractAddress;
 
 #[cfg(feature: 'monolith')]
-use cairo_verifier::air::layouts::recursive_with_poseidon::autogenerated::{
+use integrity::air::layouts::recursive_with_poseidon::autogenerated::{
     eval_oods_polynomial_inner as eval_oods_polynomial_inner_,
 };
 
@@ -51,7 +51,7 @@ fn eval_oods_polynomial_inner(
 }
 
 #[cfg(feature: 'split')]
-use cairo_verifier::air::layouts::recursive_with_poseidon::contract::{
+use integrity::air::layouts::recursive_with_poseidon::contract::{
     ILayoutOodsContractDispatcher, ILayoutOodsContractDispatcherTrait,
 };
 

diff --git a/src/air/layouts/recursive_with_poseidon/autogenerated.cairo b/src/air/layouts/recursive_with_poseidon/autogenerated.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     air::layouts::recursive_with_poseidon::{
         global_values::GlobalValues,
         constants::{CONSTRAINT_DEGREE, NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, MASK_SIZE},

diff --git a/src/air/layouts/recursive_with_poseidon/contract.cairo b/src/air/layouts/recursive_with_poseidon/contract.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::air::layouts::recursive_with_poseidon::global_values::GlobalValues;
+use integrity::air::layouts::recursive_with_poseidon::global_values::GlobalValues;
 
 #[starknet::interface]
 trait ILayoutOodsContract<ContractState> {
@@ -16,7 +16,7 @@ trait ILayoutOodsContract<ContractState> {
 #[starknet::contract]
 mod LayoutOodsContract {
     use super::ILayoutOodsContract;
-    use cairo_verifier::air::layouts::recursive_with_poseidon::{
+    use integrity::air::layouts::recursive_with_poseidon::{
         global_values::GlobalValues, autogenerated::eval_oods_polynomial_inner,
     };
 

diff --git a/src/air/layouts/recursive_with_poseidon/public_input.cairo b/src/air/layouts/recursive_with_poseidon/public_input.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     common::{
         math::{pow, Felt252PartialOrd, Felt252Div},
         asserts::{assert_range_u128_le, assert_range_u128},

diff --git a/src/air/layouts/recursive_with_poseidon/traces.cairo b/src/air/layouts/recursive_with_poseidon/traces.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     air::layouts::recursive_with_poseidon::{
         constants::{NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND}, global_values::InteractionElements,
     },

diff --git a/src/air/layouts/small.cairo b/src/air/layouts/small.cairo
@@ -6,7 +6,7 @@ mod traces;
 #[cfg(feature: 'split')]
 mod contract;
 
-use cairo_verifier::{
+use integrity::{
     air::{
         constants::{SHIFT_POINT_X, SHIFT_POINT_Y, StarkCurve},
         layouts::small::{
@@ -27,7 +27,7 @@ use cairo_verifier::{
 use starknet::ContractAddress;
 
 #[cfg(feature: 'monolith')]
-use cairo_verifier::air::layouts::small::autogenerated::{
+use integrity::air::layouts::small::autogenerated::{
     eval_oods_polynomial_inner as eval_oods_polynomial_inner_,
 };
 
@@ -47,7 +47,7 @@ fn eval_oods_polynomial_inner(
 }
 
 #[cfg(feature: 'split')]
-use cairo_verifier::air::layouts::small::contract::{
+use integrity::air::layouts::small::contract::{
     ILayoutOodsContractDispatcher, ILayoutOodsContractDispatcherTrait,
 };
 

diff --git a/src/air/layouts/small/autogenerated.cairo b/src/air/layouts/small/autogenerated.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     air::layouts::small::{
         global_values::GlobalValues,
         constants::{CONSTRAINT_DEGREE, NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, MASK_SIZE},

diff --git a/src/air/layouts/small/contract.cairo b/src/air/layouts/small/contract.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::air::layouts::small::global_values::GlobalValues;
+use integrity::air::layouts::small::global_values::GlobalValues;
 
 #[starknet::interface]
 trait ILayoutOodsContract<ContractState> {
@@ -16,7 +16,7 @@ trait ILayoutOodsContract<ContractState> {
 #[starknet::contract]
 mod LayoutOodsContract {
     use super::ILayoutOodsContract;
-    use cairo_verifier::air::layouts::small::{
+    use integrity::air::layouts::small::{
         global_values::GlobalValues, autogenerated::eval_oods_polynomial_inner,
     };
 

diff --git a/src/air/layouts/small/public_input.cairo b/src/air/layouts/small/public_input.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     common::{
         math::{pow, Felt252PartialOrd, Felt252Div},
         asserts::{assert_range_u128_le, assert_range_u128},

diff --git a/src/air/layouts/small/traces.cairo b/src/air/layouts/small/traces.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     air::layouts::small::{
         constants::{NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND}, global_values::InteractionElements,
     },

diff --git a/src/air/layouts/starknet.cairo b/src/air/layouts/starknet.cairo
@@ -6,7 +6,7 @@ mod traces;
 #[cfg(feature: 'split')]
 mod contract;
 
-use cairo_verifier::{
+use integrity::{
     air::{
         constants::{SHIFT_POINT_X, SHIFT_POINT_Y, StarkCurve},
         layouts::starknet::{
@@ -35,7 +35,7 @@ use cairo_verifier::{
 use starknet::ContractAddress;
 
 #[cfg(feature: 'monolith')]
-use cairo_verifier::air::layouts::starknet::autogenerated::{
+use integrity::air::layouts::starknet::autogenerated::{
     eval_composition_polynomial_inner as eval_composition_polynomial_inner_,
 };
 
@@ -54,7 +54,7 @@ fn eval_composition_polynomial_inner(
 }
 
 #[cfg(feature: 'split')]
-use cairo_verifier::air::layouts::starknet::contract::{
+use integrity::air::layouts::starknet::contract::{
     ILayoutCompositionContractDispatcher, ILayoutCompositionContractDispatcherTrait,
 };
 

diff --git a/src/air/layouts/starknet/autogenerated.cairo b/src/air/layouts/starknet/autogenerated.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     air::layouts::starknet::{
         global_values::GlobalValues,
         constants::{CONSTRAINT_DEGREE, NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, MASK_SIZE},

diff --git a/src/air/layouts/starknet/contract.cairo b/src/air/layouts/starknet/contract.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::air::layouts::starknet::global_values::GlobalValues;
+use integrity::air::layouts::starknet::global_values::GlobalValues;
 
 #[starknet::interface]
 trait ILayoutCompositionContract<ContractState> {
@@ -15,7 +15,7 @@ trait ILayoutCompositionContract<ContractState> {
 #[starknet::contract]
 mod LayoutCompositionContract {
     use super::ILayoutCompositionContract;
-    use cairo_verifier::air::layouts::starknet::{
+    use integrity::air::layouts::starknet::{
         global_values::GlobalValues, autogenerated::eval_composition_polynomial_inner,
     };
 

diff --git a/src/air/layouts/starknet/public_input.cairo b/src/air/layouts/starknet/public_input.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     common::{
         math::{pow, Felt252PartialOrd, Felt252Div},
         asserts::{assert_range_u128_le, assert_range_u128},

diff --git a/src/air/layouts/starknet/traces.cairo b/src/air/layouts/starknet/traces.cairo
@@ -1,4 +1,4 @@
-use cairo_verifier::{
+use integrity::{
     air::layouts::starknet::{
         constants::{NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND}, global_values::InteractionElements,
     },