Franziskus Kiefer comments

Results 353 comments of


                                            Franziskus Kiefer

Verify libcrux-sha3

First steps: #1092

[PQCP] Add descriptive README

I didn't get to this yet. I'll try to finally get this merged this week.

[PQCP] Add descriptive README

Merged 🥳

Verify ML-DSA

@karthikbhargavan a lot in here is stale. Please have a look and clean up.

ML-DSA: Include verification key in the Wycheproof signature JSON KAT files.

Closing in favour of #1007 for now.

Reuse CI workflows across the workspace

I created [cryspen/actions](https://github.com/cryspen/actions) for general workflows. #335 is a first use of that. Let's add generally useful workflows there.

Reuse CI workflows across the workspace

Closing, let's file something more specific when we actually tackle this.

Add features for assurance levels

* pure rust * side-channels

Add features for assurance levels

@jschneider-bensch is adding some features in #329. Can you update what the plan is here?

Add features for assurance levels

There's some work happening in #448. @jschneider-bensch can we get that PR and either close this issue or describe what else we should do here for now?