GitHub repository: lurk-lab/Poseidon.lean
Primary language: Lean
Description: A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function