Nicolás Venturo

Contract instances also have to prove the derivation of the public keys hash to show that they `Ivpk_m` they're using in the final address derivation is the same as the...

I think my comment was referencing the fact that someone (@sklppy88?) mentioned they thought you had found an issue with the removal of this siloing, and that you had said...

Interestingly `do_thing_with_serialization_with_extra_steps` works fine if I add an `impl`: ```rust impl ToField for Field { fn to_field(self) -> Field { self } } ``` I'd want to be able to...

I see, that makes perfect sense. It seems we've been abusing this bug a little bit, so some aztec-nr code will break due to missing `where` clauses once this is...