search

TritonVM / tasm-lang

Writing tasm with Rust syntax
15 stars 2 forks source link

Add library support for `ProofItem` #61

Open Sword-Smith opened 8 months ago

Sword-Smith commented 8 months ago

Add support for ProofItem, not as compiled code, but as built-in types.

This takes place on the branch thv/proof-stream-lib.