The CESS specific aspects of storage-proofs, including a C based FFI, to generate and verify proofs.
storage-proofs
MIT or Apache 2.0