Try   HackMD

AirScript plan

Frontend and IR

  1. Improve AirScript compilation process as described in here.
  2. Introduce the new bus construct as described here and here.
  3. Combine constraints generated by selector expressions as described here.
  4. IR improvements described in #333 and #334.
  5. Frontend improvements described in #142, #146, #245, and #266.

Backends

  • Finishing MASM backed. Some issues related to this are #335 and #339, but there are probably a few other things which are not yet captures in the issues.
  • Update and better test Winterfell back-end.
  • Implement Plonky3 backend (this is not yet captures in the issues).
Last changed by 
 
Bobbin Threadbare
0
116

Read more

Miden roadmap

Full changelog available is here. Key highlights:

Jun 23, 2025
Large-capacity SMT

Currently, our Sparse Merkle tree implementation (i.e., the Smt struct) has a purely in-memory representation. This will work fine when the amount of data stored in the tree is dozens of GB, but will break down when we'll need to store hundreds of GB in an Smt (as we may need for the nullifier tree in the Miden rollup). The purpose of these improvements would be to develop an approach which implements a variant of our Smt struct which can efficiently accommodate up to several terabytes of data inserted into it.

Feb 20, 2025
Constraint evaluation format

Below is a description of the format for describing the constraint evaluation AST. The format is JSON-based. All field elements are represented in their canonical values encoded as strings.

Oct 28, 2024
Constraint evaluation AST

Do we assume that expressions work with base elements?

Sep 6, 2024
Read more from Bobbin Threadbare
Published on HackMD