Cryptoaudit is a collection of tools that enables auditing system in a secure and publicly verificable way. Its main component are:
- Publication module into a secure broadcast channel
- Standard library for computing commitments and zero-knowledge proofs
- Library for handling cryptographic data-structures including Merkle trees
Cryptoaudit is written in Scala.