Christopher Goes
Christopher Goes
[CosmWASM](https://cosmwasm.com/) is a WASM runtime for many Cosmos ecosystem blockchains, including [Osmosis](https://docs.osmosis.zone/) and [Nyx](https://blog.nymtech.net/nym-now-supports-smart-contracts-2186da46bc7f). CosmWASM uses Wasmer inside, so it shouldn't require changes to compilation - we just need to...
QTT does not natively support induction derivation; we need to add typing rules for it. Some options are: - Add primitive datatypes (e.g. Nat) with elimination rules which can be...
This will be very helpful to ensure we've implemented everything correctly, increase our intuitional grasp on the system, and produce attractive visualizations. - Convert an interaction net graph into a...
If we only reduce primary pairs, we will end up performing unnecessary evaluation on garbage. See e.g. [BOHM](https://pdfs.semanticscholar.org/3517/03af066fd2e65ad64c63108672d960b9d8fb.pdf) p.26 if `M` is connected to an `if-then-else` subgraph which is disconnected....
How best to optimize (~ reduce normalization time & space cost) [interaction nets](https://en.wikipedia.org/wiki/Interaction_nets)? Note that the following properties have to be preserved: - Locality on active pairs - Strong confluence...
Basically [this paper](https://theory.stanford.edu/~aiken/publications/papers/asplos13.pdf) - utilize sparse sampling (probably MCMC) to search the configuration space of semantically equivalent programs, and select the fastest. Will need a lot of clever tricks to...
Namely, those with the possibly of asymmetrically-better performance than Levy's optimal reduction. As far as I can tell, the only candidates here are forms of memoization which attempt to detect...
Can we update the README file to reflect: 1. The inclusion of the convert circuit in this repository as well as the MASP circuit 2. The recent audit conducted by...
Let's just add a quick README explaining what the MASP is and linking to the spec.
make sure no invalid stuff is online