Closed ralexstokes closed 5 months ago
e.g. proving the length of an SSZ list, or the type selector of a SSZ union
e.g. proving the length of an SSZ list, or the type selector of a SSZ union