Jonathan Protzenko
Jonathan Protzenko
Aren't those in the generated Makefile.include? Makefile.basic is hand-written in lives in misc/
did you pass -o foobar.exe to krml?
@karthikbhargavan you've been working on P-curves, any chance the stack consumption can be improved? @vladak is there any large allocation somewhere that causes the stack to increase dramatically or is...
> It does use a base container hosted in Dockerhub, at least for now. It'd be nicer to keep a container description in the repo and build on-demand. Who is...
Looks good to me, thanks! Do you know why the build failed?
This is not normal and I will take a look. Thank you
Indeed, I can reproduce with this simple test: ``` function testLargeChachaPoly(Hacl) { let plain = new Uint8Array(1024*1024); let aad = new Uint8Array(0); let key = new Uint8Array(32); let nonce =...
Confirmed via this simple-minded test that the C version is fine: ``` #include #include #include "Hacl_AEAD_Chacha20Poly1305.h" #define PLAIN_LEN (1024*1024) int main() { uint8_t *plain = calloc(PLAIN_LEN, 1); uint8_t *aad =...
Probably something wrong with the WASM compilation scheme, since around 480k incorrect results start to appear, and then this test triggers a WASM out of bounds access: ``` function testLargeChachaPoly(Hacl)...
Could you confirm whether replacing `initial: 16` with `initial: 32` in `loader.js` fixes your issue?