You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
that we use inside of a program that is written in rust and that needs to be converted to Tasm. The rust code can just dot its way into the right fields to access them. But the encoding of this object is passed to the VM's secret input as a list of BFieldElements. We then need to manually implement getters for every field in Tasm. It would be nice to automatically derive the getters in Tasm from a proc_macro derive
#[derive(BFieldCodec, TasmObject)]
which, for example, adds methods
tasm_get_field_field() -> String
tasm_get_field_meadow() -> String
that output the indicated Tasm code.
The text was updated successfully, but these errors were encountered:
Suppose we have a struct
that we use inside of a program that is written in rust and that needs to be converted to Tasm. The rust code can just dot its way into the right fields to access them. But the encoding of this object is passed to the VM's secret input as a list of BFieldElements. We then need to manually implement getters for every field in Tasm. It would be nice to automatically derive the getters in Tasm from a proc_macro derive
which, for example, adds methods
tasm_get_field_field() -> String
tasm_get_field_meadow() -> String
that output the indicated Tasm code.
The text was updated successfully, but these errors were encountered: