refactor WASM memory data passing with strict provenance

anoma / namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

https://namada.net

GNU General Public License v3.0

2.39k stars 947 forks source link

Open tzemanovic opened 2 years ago

tzemanovic commented 2 years ago

In host-guest WASM FFI, we're doing many unsafe memory pointer conversions. This could be done better with strict provenance. We can use polyfill https://docs.rs/sptr/latest/sptr before this becomes available in stable std. For background: https://gankra.github.io/blah/tower-of-weakenings/

cwgoes commented 1 year ago

@tzemanovic do you know the status of this?

tzemanovic commented 11 months ago

to be done