Ben Lynn
The following generates JavaScript that crashes due to an Uncaught ReferenceError involving what seems to be a generated symbol (e.g. "_l2"). It succeeds if compiled with --ddisable-js-opts. ``` import Control.Concurrent.MVar...
@hansl suggested a collectible card game. The wild popularity of CryptoKitties comes to mind. DFINITY's better scaling properties means we ought to be able to create something better.
@krzysztofwos suggested a theorem prover. We can prove and store theorems and use them to prove more theorems, and since the IC is tamper-proof, we can trust all the results....
@krzysztofwos suggested something like Jupyter notebooks. I'm not quite sure what this means, because if you interpret code on the client-side, there's not much for the internet computer to do....
dmd and others suggested a compiler app. The tamper-proof nature of the internet computer means you can trust the binary such a compiler produces, as long as you trust that...
In D curves, we save a little time when generating points in G2 by avoiding an exponentiation to make them order r. Unfortunately this breaks element_is1 and element_cmp in G2,...
Angelo DeCaro writes: it will be very useful to have a way to store the data computed for the preprocessing (for both the exponentiation and the pairing). Something like void...