31 lines
506 B
C++
31 lines
506 B
C++
#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 {
|
|
|
|
};
|
|
|
|
}
|
|
|