search

BlockstreamResearch / simfony

Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.
26 stars 9 forks source link

Witness update #91

Closed uncomputable closed 1 month ago

uncomputable commented 1 month ago

Add some methods to make the map of witness values more useful. Test witness serialization in a fuzz test. Fix some docs.