0xMiden / 0xMiden/miden-vm

Allow constants in `adv_map` definition

Đang mở
#2,500 12 bình luận 0 reaction 2 người được giao Được @mooori nhận Xem trên GitHub
assembly
Ngôn ngữ chính
Rust
Star
772
Fork
352
Merge trung bình
1 ngày 12 giờ
Pull request đã merge (30 ngày)
93

Mô tả

### Feature description

Currently the only way to create an advice map from the assembly code is to use the `Felt`s themselves. Here is the code fragment from the `grammar.lalrpop` file:
` "adv_map" <...> "=" "[" > "]" `

It would be very convenient to be able to use the constants in addition to felts, so changing the above code to something like:
` "adv_map" <...> "=" "[" > "]" `

### Why is this feature needed?

This feature will massively simplify the development of the new Agglayer functionality, namely the Keccak-based MMR frontier.

Its main algorithm requires to have a list of canonical zeros in memory, and the most efficient way to load them there is to use the advice map. These canonical zeros are generated as constants in a separate file, so for now they cannot be used as `adv_map` values.

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Đánh giá

Issue này chưa được đánh giá.

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.