Andrew Miller

Workaround: include a minimal type and method: ``` type useless = Useless ``` --- ``` f_useless () = auth Useless ```

All benchmarking and efficiency analysis so far involves assuming transactions are constant size. In some applications transactions submitted by users may need to vary in size. For example, Ethereum transactions...

This example causes stack overflow: ``` type tree = Tip | Bin of (tree * int * tree) authtype | UnBin of (tree * int * tree) ``` This workaround...

Right now the main guarantee we provide is to tolerate faults.... however, if a fault occurs, we'd like not just to tolerate it, but also to identify the node responsible...

spec for speudorandom generation

2

inspiration: https://docs.oasis.io/dapp/sapphire/precompiles/#generating-pseudo-random-bytes

Right now we only support a customized consensus unique to rigil/toliman testnets. But we're already using Helios so we should be able to support these other networks as well. We...

This is not relevant to SGX. It's a scrape for the SGX.com website which is not related to Intel SGX. It is not a scraper in a tee