aiken-lang / aiken

A modern smart contract platform for Cardano
https://aiken-lang.org
Apache License 2.0
486 stars 98 forks source link

Constant hoisting and BLS const fix #1025

Closed MicroProofs closed 1 month ago

MicroProofs commented 2 months ago

Hoist Constants and also automatically translate constant bls terms to compressed form with builtin call to uncompress

MicroProofs commented 1 month ago

In the end it doesn't seem worth it for the extra complexity it adds to code gen. So instead I will close this and leave this as a reference in case I ever want to come back.