#pragma once
#include <bfv.hpp>

/*
Homcert provides certificates that can be verified confidentially.
After verification, the verifyer holds BFV encrypted certificate attributes.
*/

namespace homcert {

class Certificate {
	// Bound to an owner pubkey (anonymously checked during verification)
	// Expiration timestamp is checked during verification
	// Arbitrary attributes (BFV slot vectors) are available as ciphertexts to verifier
};

class Issuer {

};

class Prover {

};

class Verifier {

};

}