List view

cryptography: Poseidon1 and new zk-friendly encoding

Status: Open (in progress).

leanEthereum/leanSpecnumber 456

#456 In leanEthereum/leanSpec;

· tcoratger opened on Mar 16, 2026