Dafny | Eth2 spec/verif. with Dafny | ConsenSys Software and Ethereum Foundation | Apache2.0 | Active | Formal spec, corectness, proofs | ConsenSys/eth2.0/dafny |
Go | ZRNT | Diederik Loerakker (@protolambda) | MIT | Active | Generic, caching, datasharing | protolambda/ztyp |
Go | Prysm | Ferran Borreguero (@ferranbt) | MIT | Active | Code-gen, fast | ferranbt/fastssz |
Java | Teku | Consensys/PegaSys Eng. | Apache-2.0 | Active | Caching, datasharing | PegaSysEng/teku/ssz |
Nim | Nimbus | Status | MIT and Apache2.0 | Active | In-place decode, Caching | status-im/nim-beacon-chain/ssz.nim |
Python | Trinity | Ethereum Foundation | MIT | Active | Pyrsistent, partial caching | ethereum/py-ssz |
Python | Pyspec / Eth2.py | Diederik Loerakker (@protolambda) | MIT | Active | Datasharing, caching, streaming | protolambda/remerkleable |
Rust | Lighthouse | Sigma Prime | Apache2.0 | Active | Partial caching, fast | https://github.com/sigp/lighthouse/tree/master/consensus/ssz |
Typescript | Lodestar | Chainsafe Systems | LGPL-v3.0 | Active | Both Tree & structural, caching | ChainSafe/lodestar/ssz |
Zig | | Guillaume Ballet (@gballet) | Unlicense | Active | No merkleization (yet) | gballet/ssz.zig |
C# | Cortex | Sly Gryphon (@sgryphon) | LGPL-v3.0 | Active | Experimental | sgryphon/cortex-ssz |