Tags cryptography (1) functional programming (1) haskell (1) monads (1) programming (2) snarks (1) TDD (1) testing (1) zero-knowledge (1)