Franziskus Kiefer

This issue is for tracking and discussing changes to the dist folder. After discussions with @msprotz the high level goal is as follows. ## Evercrypt library The `dist` folder contains...

We can't fully test 32-bit ARM but we should at least have a cross-compilation target on CI. This requires to add 32-bit ARM cross compilation support first. cc @msprotz

make cases for lowstar_endianness consistent

1

I don't mind which version to use but the warnings about this are annoying, let's decide on a casing.

Check stack memory allocation

3

As noted in https://github.com/project-everest/hacl-star/issues/446 it looks like `KRML_CHECK_SIZE` isn't doing the right thing. It checks for `SIZE_MAX`, not what can be allocated on the stack. I'm not entirely sure what...

function `<tuple>::clone` cannot be found

4

Cloning tuples fails. This makes it impossible to loop over sequences of tuples. ```rust bytes!(MyArray, 8); pub type MyTupleType = (Seq, u8, MyArray); pub fn deconstruct(input: &Seq) { for i...

This causes the hacspec typechecker to fail with the following error: ``` error[Hacspec]: operation not available for type bool --> examples/edwards25519-hash/src/edwards25519-hash.rs:244:31 | 244 | let y = cmov(y, zero -...

This PR now passes the BIP-340 signing and verification test vectors and should be ready for review. The implementation is definitely not constant time. I addressed all TODOs in some...

Would be nice to be able to skip the `PubkeyGenResult::` prefix (as in regular rust). _Originally posted by @jonasnick in https://github.com/hacspec/hacspec/pull/244#discussion_r863748973_

Using consts from other module fails

3

Using a constant in `some_mod/sub_mod.rs` from `other_mod/other_sub_mod.rs` fails with ``` error[Hacspec]: identifier is not a constant ``` See https://github.com/hacspec/hacspec/compare/master...franziskus/const_use_error for a test case.

im broke hacspec recently by changing the way union works. Let's replace it to avoid issues like this in future. See #271 Also see https://github.com/bodil/im-rs/issues/202