Skip to content

Commit

Permalink
Revert starknet and starknet_with_keccak split
Browse files Browse the repository at this point in the history
  • Loading branch information
fmkra committed Sep 10, 2024
1 parent e4ca8eb commit 1e0a656
Show file tree
Hide file tree
Showing 6 changed files with 8,465 additions and 43,880 deletions.
14 changes: 3 additions & 11 deletions src/air/layouts/starknet.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -3,16 +3,12 @@ mod constants;
mod global_values;
mod public_input;
mod traces;
mod contract;

use cairo_verifier::{
air::{
constants::{SHIFT_POINT_X, SHIFT_POINT_Y, StarkCurve},
layouts::starknet::{
contract::{
IStarknetLayoutContract1Dispatcher, IStarknetLayoutContract1DispatcherTrait,
IStarknetLayoutContract2Dispatcher, IStarknetLayoutContract2DispatcherTrait,
},
autogenerated::{eval_composition_polynomial_inner, eval_oods_polynomial_inner},
global_values::{
GlobalValues, InteractionElements, EcPoint, EcdsaSigConfig, CurveConfig
},
Expand Down Expand Up @@ -145,9 +141,7 @@ impl StarknetAIRCompositionImpl of AIRComposition<InteractionElements, PublicInp
diluted_check_final_cum_val: diluted_prod
};

IStarknetLayoutContract1Dispatcher {
contract_address: contract_address_1
}.eval_composition_polynomial_inner(
eval_composition_polynomial_inner(
mask_values, constraint_coefficients, point, trace_generator, global_values
)
}
Expand All @@ -163,9 +157,7 @@ impl StarknetAIROodsImpl of AIROods {
trace_generator: felt252,
contract_address_2: ContractAddress,
) -> felt252 {
IStarknetLayoutContract2Dispatcher {
contract_address: contract_address_2
}.eval_oods_polynomial_inner(
eval_oods_polynomial_inner(
column_values, oods_values, constraint_coefficients, point, oods_point, trace_generator,
)
}
Expand Down
Loading

0 comments on commit 1e0a656

Please sign in to comment.