runtimeverification / beacon-chain-spec

Formalization of the Beacon Chain Phase 0 Specification in K
20Updated 2 years ago

Related projects

Alternatives and complementary repositories for beacon-chain-spec