* init keccak proposals

* merklelization

* merk fixes

* Preimage parts, challenge tests

* Tests

* bindings + snapshots

* lint

* tests

* bind

* :broom:, checks, tests

* Contiguous state tests

* :broom:, r4r

* review

* rabbit

* @refcell review

* bindings

* bindings

* @tynes review

* @inphi review

* Keccak dispute DA gas estimation

* worst-case, all bits set

* bindings

* bindings

* Add challenger indexing

* slither

* Add append-only array of proposal keys

* rebase

* rebase