List view

cryptography: Poseidon1 and new zk-friendly encoding

specsScope: Changes to the specificationsScope: Changes to the specifications

Status: Open (in progress).

leanEthereum/leanSpecnumber 456

#456 In leanEthereum/leanSpec;

· tcoratger opened on Mar 16, 2026