Arvid E. Picciani
Arvid E. Picciani
No worries. As you know we're not using rust and therefor snow anymore anyways
nice! intermediately, you can just use the alloc crate, which offers Box. but reducing heap in general is very welcome
this is more difficult than expected because cargo will pull in rand with dependencies anyway because its specified somewhere down the default resolver dependencies carving out the default implementation into...
yes! its criterion. that's actually easier to fix then. with this diff it works https://github.com/aep/snow/commit/78426ea780231b36b133f767514ba36c5b55630f all of these are upstreamable, except removing criterion, but this isn't even strictly necessary. would...
@nickray unfortunately no. after 5 years of trying to do rust on embedded we have decided that it's not the right tool. Reimplementing noise in zz (https://github.com/aep/zz) was a more...
@benma http://aep.github.io/from-rust-to-zz/ :)
Yes that's ferrous, not the rust devs, trying to make rust work on embedded. They're doing a great job. i don't think that's the right place to discuss this. everyone...
@benma btw if I get your use case right this might relevant: snow used to support hacl-star which is formally verified high quality crypto by Microsoft research and works fine...
no, i never got rust really stable. but since it works for you, you might want to use the snow hacl-star resolver which itself is F* not rust, so works...
Could you tell more about the correctness issue?