Franziskus Kiefer

So what you can do right now is to add an attribute to a function such that it will be ignored by the typechecker https://github.com/hacspec/hacspec/blob/a9f098d3a7f0adf40b37b289692324ec84c75bed/utils/attributes/tests/hacspec_file.rs#L3 Essentially what the Readme here...

> There does not seem to be any code in the `language` crate related to `hacspec_unsafe`, so it only does something when running as part of rust code, not when...

Yes, that's the cost. But I don't think it's that high and you can skip the type bit (`::`) when initialising so you have a small win there. And I...

hm, I guess the question is what semantics we want to allow here. Downcasting with `as` and wrapping semantics is certainly idiomatic and even non-Rust developers will be used to...

I think we should wrap `try_from` in the library then we can expose an API in any way we want. I would suggest something like the following and just panic....

When this is ready I'd like Denis and Karthik to have a look as well. There are substential changes here in the typechecker. We should really get a CI running...

Thanks. @W95Psp can you have a look at this PR? I want to get this moving in some way. Maybe we have to split it into multiple pieces to make...

From the March 3 call: Let's make examples of SHA2, Blake2, Koblitz curves and RSA in hacspec but with generics to get an understanding of how this would look and...

I think the Language.md is a little outdated we have to update it to what we currently really support. The `poly` macro unfortunately never got finished (but it's something's like...

@DaWouw can you please reach out to [email protected] with details?