lily comments

Results 34 comments of


                                            lily

Which features work with WASM (WebAssembly)?

For another use case, I'm trying to receive an AEAD-sealed message on a browser. (For technical reasons I can't use the built-in `Crypto.subtle` web API for this, so I'm using...

Discrepancy about ordering of faces_edges between spec and example

I think [this branch](https://github.com/edemaine/fold/compare/main...cryslith:lily/fix-faces-edges-order) should fix the issue in CP-Editor, but I can't manage to build the FOLD library to check.

Integrity and MAC games should require safety in the presence of a verification oracle

There is a discussion of the issue in [The Power of Verification Queries in Message Authentication and Authenticated Encryption (Bellare, Goldreich, Mityagin)](https://eprint.iacr.org/2004/309.pdf)

Port fcd to use Remill

@pgoodman Out of curiosity, why was that repo archived?

spire: don't scan for supervisor keys during auto-launch

bors r+ bors r-

spire: don't scan for supervisor keys during auto-launch

bors r+ (for science)

spire: don't scan for supervisor keys during auto-launch

no, stop that. bors r-

Set up merge bot for repository

Unfortunately bors only supports merge and squash-merge, not rebasing right now, as we currently use.

Set up merge bot for repository

Sounds fine to me :)

Set up merge bot for repository

We've decided to go with our own homegrown solution to this, so we can use cherry-picking and also for general stability/quality.