feat: kadena workspace

[tchataigner]

This PR contians the setup of the Kadena Light Client. The PR is based of @storojs72 branch block-header-hashing. I just updated the CI files, added the MdBook, added our xclippy conf and changed the Cargo.tomls versions.

Related issues

Closes #148
Closes #149
Closes #150

[storojs72]

LGTM!

I think that another useful program at this stage would be just SHA-512 hashing of some arbitrary input using sha2 patched dependency forked to our organisation from SP1. I suspect that by design the SHA512 precompile would still be the same as in SHA256 from SP1 - e.g. two syscalls:

extern "C" {
    fn syscall_sha512_extend(w: *mut u32);
    fn syscall_sha512_compress(w: *mut u32, state: *mut u32);
}

So far we can have them as out-of-circuit (out-of-sphinx) implementations to match the test vectors and eventually replace with prepared sys calls

[tchataigner]

LGTM!

I think that another useful program at this stage would be just SHA-512 hashing of some arbitrary input using sha2 patched dependency forked to our organisation from SP1. I suspect that by design the SHA512 precompile would still be the same as in SHA256 from SP1 - e.g. two syscalls:

extern "C" {
    fn syscall_sha512_extend(w: *mut u32);
    fn syscall_sha512_compress(w: *mut u32, state: *mut u32);
}

So far we can have them as out-of-circuit (out-of-sphinx) implementations to match the test vectors and eventually replace with prepared sys calls

I think this should be an issue created on our bls12_381 repo