rust-simplicity

rust-simplicity copied to clipboard

Fix jets

3

Fix two things to make jets more usable.

uncomputable

Display Simplicity expressions as linear strings, like in the tech report. Include some simple transformations like infix `pair` and `comp`, and `true` or `false`, and the `{O,I,H}` notation. This will...

uncomputable

Unpinned nightly rust toolchain

1

We should pin nightly like https://github.com/rust-bitcoin/rust-bitcoin/pull/2489.

uncomputable

Reading / writing values from / to frames is broken

1

The representation of a left value `left(a): A + B` is `[0] * [?]^padL(A,B) * representation(a, A)`. The representation of a right value `right(b): A + B` is `[1] *...

uncomputable

Human encoding: Comments collide with names

2

In the human encoding, comments start with `--`. Meanwhile, `-` is allowed in names, making `--` a valid name. This leads to weird errors like "_Error: 1: 1: name `--`...

uncomputable

Infinite finalization loop

1

If I try to decode the bytes of the program `case (drop iden) iden` from the [occurs check test](https://github.com/BlockstreamResearch/simplicity/blob/69eb1719b6a13a4346abde9b221eebc99002cc6f/C/test.c#L278), the binary gets stuck at the line that does the decoding....

uncomputable

The following program takes minutes to finalize on my machine. It is taken from the [Simplicity test vectors](https://github.com/BlockstreamResearch/simplicity/blob/69eb1719b6a13a4346abde9b221eebc99002cc6f/C/test.c#L503), also found in the [asset generator](https://github.com/uncomputable/asset-gen/blob/0ec17d96f9e915a532abbafd3d7a6bb066df89ba/src/main.rs#L234). rust-simplicity is not meant to be...

uncomputable

The following program can be disassembled but not re-assembled. ``` sanket1729:~/rust-simplicity$ ./target/debug/simpcli disassemble 4MmyAAAACgRswIQKEGMTtoNQNpVbfx0Z7yNAFvcHOnVjPKpYTxVfJS0O0xfn5YYSBrFWbcQRgECZn3AgG8A= > ./simpcli/example_programs/test.simpl sanket1729:~/rust-simplicity$ ./target/debug/simpcli assemble ./simpcli/example_programs/test.simpl Expression `main` not found. ```

uncomputable

Test cost calculation against C

2

We could add this to the `c_rust_merkle` fuzz test. https://github.com/BlockstreamResearch/simplicity/pull/166 exposes the API we need for FFI.

uncomputable

Scribe with word jets

1

Scribe is pretty useless now that we have word jets. It's basically only useful for values that are not strings of bytes. With that in mind, I propose we redefine...

uncomputable