Jake McGinty

That change (making separate benches crate in the same workspace) sounds fine to me if it allows us to be `no_std` compatible :).

HACL* support was removed because of a correctness issue in the snow's wrapper for it, but it could be easily added back in. I removed it in the mean time...

Thanks for opening the issue. I'll look into the boot options and see if we can speed it up.

@Magniquick sorry, I hadn't looked at it yet. Will take a peek today.

Yeah, I think the problem is that I used the "cheapest" method for booting with qemu's UEFI which is [using a `startup.nsh` script](https://wiki.archlinux.org/title/EFISTUB#Using_a_startup.nsh_script). As I understand it, this boots into...

Hey @piegamesde! That is indeed something I added previously for an early WireGuard experiment using snow, and have not integrated into the API. To be honest, snow hasn't gotten the...

Hey @Gowee, Yes, support for Elligator could be added (or possibly just adding "codec" functions to the keys being transmitted over the wire so folks could take control of it...

Interesting, it sounds like shoop needs some more useful debug output... On Fri, Aug 24, 2018, at 11:46 PM, Jan-Oliver Kaiser wrote: > I have two basically identically-setup laptops here...

Sorry for taking so long on this, I'm traveling so please bear with me.

I'll push a version with more debug output for now, but this tool really needs to be rewritten at this point. This was one of my first Rust projects and...