Use immutable state in contracts.

keep-starknet-strange · Nov 3, 2024 · c338170 · c338170
1 parent 1c67117
commit c338170
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 12 deletions.
diff --git a/hydra/garaga/starknet/groth16_contract_generator/generator.py b/hydra/garaga/starknet/groth16_contract_generator/generator.py
@@ -63,7 +63,7 @@ def gen_groth16_verifier(
 #[starknet::interface]
 trait IGroth16Verifier{curve_id.name}<TContractState> {{
     fn verify_groth16_proof_{curve_id.name.lower()}(
-        ref self: TContractState,
+        self: @TContractState,
         full_proof_with_hints: Span<felt252>,
     ) -> Option<Span<u256>>;
 }}
@@ -87,7 +87,7 @@ def gen_groth16_verifier(
     #[abi(embed_v0)]
     impl IGroth16Verifier{curve_id.name} of super::IGroth16Verifier{curve_id.name}<ContractState> {{
         fn verify_groth16_proof_{curve_id.name.lower()}(
-            ref self: ContractState,
+            self: @ContractState,
             full_proof_with_hints: Span<felt252>,
         ) -> Option<Span<u256>> {{
             // DO NOT EDIT THIS FUNCTION UNLESS YOU KNOW WHAT YOU ARE DOING.

diff --git a/hydra/garaga/starknet/groth16_contract_generator/generator_risc0.py b/hydra/garaga/starknet/groth16_contract_generator/generator_risc0.py
@@ -60,7 +60,7 @@ def gen_risc0_groth16_verifier(
 #[starknet::interface]
 trait IRisc0Groth16Verifier{curve_id.name}<TContractState> {{
     fn verify_groth16_proof_{curve_id.name.lower()}(
-        ref self: TContractState,
+        self: @TContractState,
         full_proof_with_hints: Span<felt252>,
     ) -> Option<Span<u8>>;
 }}
@@ -84,7 +84,7 @@ def gen_risc0_groth16_verifier(
     #[abi(embed_v0)]
     impl IRisc0Groth16Verifier{curve_id.name} of super::IRisc0Groth16Verifier{curve_id.name}<ContractState> {{
         fn verify_groth16_proof_{curve_id.name.lower()}(
-            ref self: ContractState,
+            self: @ContractState,
             full_proof_with_hints: Span<felt252>,
         ) -> Option<Span<u8>> {{
             // DO NOT EDIT THIS FUNCTION UNLESS YOU KNOW WHAT YOU ARE DOING.

diff --git a/src/contracts/drand_quicknet/src/drand_verifier.cairo b/src/contracts/drand_quicknet/src/drand_verifier.cairo
@@ -3,7 +3,7 @@ use super::drand_verifier_constants::{G2_GEN, precomputed_lines};
 #[starknet::interface]
 trait IDrandQuicknet<TContractState> {
     fn verify_round_and_get_randomness(
-        ref self: TContractState, full_proof_with_hints: Span<felt252>,
+        self: @TContractState, full_proof_with_hints: Span<felt252>,
     ) -> Option<felt252>;
 }
 
@@ -35,7 +35,7 @@ mod DrandQuicknet {
     #[abi(embed_v0)]
     impl IDrandQuicknet of super::IDrandQuicknet<ContractState> {
         fn verify_round_and_get_randomness(
-            ref self: ContractState, mut full_proof_with_hints: Span<felt252>,
+            self: @ContractState, mut full_proof_with_hints: Span<felt252>,
         ) -> Option<felt252> {
             let drand_hint: DrandHint = Serde::deserialize(ref full_proof_with_hints).unwrap();
             let message = round_to_curve_bls12_381(

diff --git a/src/contracts/groth16_example_bls12_381/src/groth16_verifier.cairo b/src/contracts/groth16_example_bls12_381/src/groth16_verifier.cairo
@@ -3,7 +3,7 @@ use super::groth16_verifier_constants::{N_PUBLIC_INPUTS, vk, ic, precomputed_lin
 #[starknet::interface]
 trait IGroth16VerifierBLS12_381<TContractState> {
     fn verify_groth16_proof_bls12_381(
-        ref self: TContractState, full_proof_with_hints: Span<felt252>,
+        self: @TContractState, full_proof_with_hints: Span<felt252>,
     ) -> Option<Span<u256>>;
 }
 
@@ -27,7 +27,7 @@ mod Groth16VerifierBLS12_381 {
     #[abi(embed_v0)]
     impl IGroth16VerifierBLS12_381 of super::IGroth16VerifierBLS12_381<ContractState> {
         fn verify_groth16_proof_bls12_381(
-            ref self: ContractState, full_proof_with_hints: Span<felt252>,
+            self: @ContractState, full_proof_with_hints: Span<felt252>,
         ) -> Option<Span<u256>> {
             // DO NOT EDIT THIS FUNCTION UNLESS YOU KNOW WHAT YOU ARE DOING.
             // This function returns an Option for the public inputs if the proof is valid.

diff --git a/src/contracts/groth16_example_bn254/src/groth16_verifier.cairo b/src/contracts/groth16_example_bn254/src/groth16_verifier.cairo
@@ -3,7 +3,7 @@ use super::groth16_verifier_constants::{N_PUBLIC_INPUTS, vk, ic, precomputed_lin
 #[starknet::interface]
 trait IGroth16VerifierBN254<TContractState> {
     fn verify_groth16_proof_bn254(
-        ref self: TContractState, full_proof_with_hints: Span<felt252>,
+        self: @TContractState, full_proof_with_hints: Span<felt252>,
     ) -> Option<Span<u256>>;
 }
 
@@ -27,7 +27,7 @@ mod Groth16VerifierBN254 {
     #[abi(embed_v0)]
     impl IGroth16VerifierBN254 of super::IGroth16VerifierBN254<ContractState> {
         fn verify_groth16_proof_bn254(
-            ref self: ContractState, full_proof_with_hints: Span<felt252>,
+            self: @ContractState, full_proof_with_hints: Span<felt252>,
         ) -> Option<Span<u256>> {
             // DO NOT EDIT THIS FUNCTION UNLESS YOU KNOW WHAT YOU ARE DOING.
             // This function returns an Option for the public inputs if the proof is valid.

diff --git a/src/contracts/risc0_verifier_bn254/src/groth16_verifier.cairo b/src/contracts/risc0_verifier_bn254/src/groth16_verifier.cairo
@@ -3,7 +3,7 @@ use super::groth16_verifier_constants::{N_FREE_PUBLIC_INPUTS, vk, ic, precompute
 #[starknet::interface]
 trait IRisc0Groth16VerifierBN254<TContractState> {
     fn verify_groth16_proof_bn254(
-        ref self: TContractState, full_proof_with_hints: Span<felt252>,
+        self: @TContractState, full_proof_with_hints: Span<felt252>,
     ) -> Option<Span<u8>>;
 }
 
@@ -27,7 +27,7 @@ mod Risc0Groth16VerifierBN254 {
     #[abi(embed_v0)]
     impl IRisc0Groth16VerifierBN254 of super::IRisc0Groth16VerifierBN254<ContractState> {
         fn verify_groth16_proof_bn254(
-            ref self: ContractState, full_proof_with_hints: Span<felt252>,
+            self: @ContractState, full_proof_with_hints: Span<felt252>,
         ) -> Option<Span<u8>> {
             // DO NOT EDIT THIS FUNCTION UNLESS YOU KNOW WHAT YOU ARE DOING.
             // This function returns an Option for the public inputs if the proof is valid.