search

BlockstreamResearch / simfony

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

High-level types #12

Closed uncomputable closed 2 months ago

uncomputable commented 7 months ago

There should be types for public keys, elliptic curve points, Elements assets, sha2 contexts, ... Basically every type that occurs in the tech report.

uncomputable commented 2 months ago

Fixed in #54