search

ralexstokes / ssz-rs

Implementation of ethereum's `ssz`
Apache License 2.0
103 stars 41 forks source link

Support merkle proof construction for SSZ unions by implementing `Prove` #137

Closed ralexstokes closed 7 months ago

ralexstokes commented 7 months ago

Currently unimplemented.

Requires implementation for std::option::Option with special handling of the None variant (like need a custom NoneMerkleElement to do what we need).

Requires implementation for general enums in the ssz-rs-derive proc macro, again with special handling for SSZ unions with None variant.

Also requires proving the selector chunk of a Merkleized union.