feat : Check config hash and ProgramInfoChanged event

[thomas192]

• issue [feat] Check Config Hash #5
• follows contribution guide
• code change includes tests
• breaking change

Hello first PR ever here, not sure if I needed to make a test (similar PRs haven't seemed to do it).
I implemented the ProgramInfoChanged event also related to issue #5 and discussed in PR #13

[b-j-roberts]

Hey, welcome! If you can rebase / resolve conflicts ( I merged the other ProgramInfo PR ), then add the config hash functionality ( set, get, events, ... ) from the Solidity side that would be a good next step.

I think we also want to have a config hash check in updateState like here https://github.com/starkware-libs/cairo-lang/blob/ab6d079f0265f903630aac9287e93d9e7cfb6fcf/src/starkware/starknet/solidity/Starknet.sol#L209 as part of this issue.

[thomas192]

Hey, I resolved conflicts.

To make sure I understand your request, a getter and setter for the config hash specifically is needed in addition to the get_program_info() and set_program_info() methods of the config component ?

When it comes to the config hash check i think the following snippet from the appchain update_state() method does the trick:

            let (_, current_config_hash): (felt252, felt252) = self.config.program_info.read();
            assert(
                program_output_struct.config_hash == current_config_hash,
                errors::SNOS_INVALID_CONFIG_HASH
            );

Let me know :)

[b-j-roberts]

To make sure I understand your request, a getter and setter for the config hash specifically is needed in addition to the get_program_info() and set_program_info() methods of the config component ?

Maybe just the program_info is fine for now, so no worries.

When it comes to the config hash check i think the following snippet from the appchain update_state() method does the trick:

            let (_, current_config_hash): (felt252, felt252) = self.config.program_info.read();
            assert(
                program_output_struct.config_hash == current_config_hash,
                errors::SNOS_INVALID_CONFIG_HASH
            );

👍