29#include <unordered_set>
34 struct PrimarySignature;
73 std::string
str()
const
92 NodeInfo(
const std::string& hostname_,
const std::string& port_) :
103 using Nodes = std::map<NodeId, NodeInfo>;
112 j[
"address"] = fmt::format(
"{}:{}", ni.
hostname, ni.
port);
117 const std::string addr(j[
"address"]);
118 const auto& [h, p] = ccf::nonstd::split_1(addr,
":");
125 return "Configuration__NodeInfo";
131 schema[
"type"] =
"object";
132 schema[
"required"] = nlohmann::json::array();
133 schema[
"required"].push_back(
"address");
134 schema[
"properties"] = nlohmann::json::object();
135 schema[
"properties"][
"address"] = nlohmann::json::object();
136 schema[
"properties"][
"address"][
"$ref"] =
"#/components/schemas/string";
192 std::unordered_map<ccf::NodeId, Ack>
acks = {};
196 std::optional<std::unordered_map<ccf::NodeId, ccf::SeqNo>>
learners =
218 reconfiguration_type,
234 const std::unordered_set<NodeId>& learners = {},
235 const std::unordered_set<NodeId>& retired_nodes = {}) = 0;
243 std::shared_ptr<std::vector<uint8_t>>,
245 std::shared_ptr<ConsensusHookPtrs>>>;
278 static bool has_claims(
const EntryType& et)
284 static bool has_commit_evidence(
const EntryType& et)
292 static_assert(
sizeof(
EntryType) ==
sizeof(
bool));
296 static inline SecurityDomain get_security_domain(
const std::string& name)
306 static inline std::pair<SecurityDomain, AccessCategory> parse_map_name(
307 std::string_view name)
309 constexpr auto internal_category_prefix =
"ccf.internal.";
310 constexpr auto governance_category_prefix =
"ccf.gov.";
311 constexpr auto reserved_category_prefix =
"ccf.";
321 if (name.starts_with(internal_category_prefix))
325 else if (name.starts_with(governance_category_prefix))
329 else if (name.starts_with(reserved_category_prefix))
331 throw std::logic_error(fmt::format(
332 "Map name '{}' includes disallowed reserved prefix '{}'",
334 reserved_category_prefix));
337 return {security_domain, access_category};
361 virtual const char*
what()
const throw()
416 const std::vector<uint8_t>& hash_at_snapshot) = 0;
418 virtual void append(
const std::vector<uint8_t>& data) = 0;
421 std::optional<ccf::kv::Term> expected_term = std::nullopt) = 0;
430 std::shared_ptr<ccf::crypto::KeyPair_OpenSSL> keypair,
474 const NodeId& from,
const uint8_t* data,
size_t size) = 0;
476 virtual void periodic(std::chrono::milliseconds) {}
482 ccf::SeqNo,
const std::vector<NodeId>& node_ids)
492 std::vector<ConsensusHookPtr>
hooks;
496 std::vector<uint8_t>&& data_,
499 std::vector<ConsensusHookPtr>&& hooks_) :
518 std::vector<uint8_t> data;
525 std::vector<uint8_t>&& data_,
529 data(
std::move(data_)),
530 claims_digest(
std::move(claims_digest_)),
531 commit_evidence_digest(
std::move(commit_evidence_digest_)),
532 hooks(
std::move(hooks_))
540 std::move(claims_digest),
541 std::move(commit_evidence_digest),
552 const std::vector<uint8_t>& plain,
553 const std::vector<uint8_t>& additional_data,
554 std::vector<uint8_t>& serialised_header,
555 std::vector<uint8_t>& cipher,
558 bool historical_hint =
false) = 0;
560 const std::vector<uint8_t>& cipher,
561 const std::vector<uint8_t>& additional_data,
562 const std::vector<uint8_t>& serialised_header,
563 std::vector<uint8_t>& plain,
566 bool historical_hint =
false) = 0;
571 virtual uint64_t
get_term(
const uint8_t* data,
size_t size) = 0;
574 const TxID& tx_id,
bool historical_hint =
false) = 0;
609 class AbstractMap :
public std::enable_shared_from_this<AbstractMap>,
631 bool include_reads) = 0;
652 bool track_deletes_on_missing_keys =
false) = 0;
660 virtual std::optional<ccf::crypto::Sha256Hash>&&
688 const std::shared_ptr<AbstractTxEncryptor>& encryptor) = 0;
697 virtual std::tuple<Version, Version>
next_version(
bool commit_new_map) = 0;
708 Version v,
const std::string& map_name) = 0;
710 Version v,
const std::string& map_name) = 0;
712 Version v,
const std::shared_ptr<AbstractMap>&
map) = 0;
719 const std::vector<uint8_t>& data,
720 bool public_only =
false,
721 const std::optional<TxID>& expected_txid = std::nullopt) = 0;
727 std::unique_ptr<PendingTx> pending_tx,
728 bool globally_committable) = 0;
736 std::unique_ptr<AbstractSnapshot> snapshot) = 0;
741 std::vector<Version>* view_history =
nullptr,
742 bool public_only =
false) = 0;
761 template <
class StorePo
inter>
772 store->unlock_maps();
784struct formatter<
ccf::kv::Configuration::Nodes>
786 template <
typename ParseContext>
787 constexpr auto parse(ParseContext& ctx)
792 template <
typename FormatContext>
794 const ->
decltype(ctx.out())
796 std::set<ccf::NodeId> node_ids;
797 for (
auto& [nid, _] : nodes)
799 node_ids.insert(nid);
801 return fmt::format_to(ctx.out(),
"{{{}}}", fmt::join(node_ids,
" "));
806struct formatter<
ccf::kv::MembershipState>
808 template <
typename ParseContext>
809 constexpr auto parse(ParseContext& ctx)
814 template <
typename FormatContext>
816 ->
decltype(ctx.out())
818 const auto s = nlohmann::json(state).get<std::string>();
819 return format_to(ctx.out(),
"{}", s);
824struct formatter<
ccf::kv::LeadershipState>
826 template <
typename ParseContext>
827 constexpr auto parse(ParseContext& ctx)
832 template <
typename FormatContext>
834 ->
decltype(ctx.out())
836 const auto s = nlohmann::json(state).get<std::string>();
837 return format_to(ctx.out(),
"{}", s);
Definition claims_digest.h:10
Definition sha256_hash.h:16
Definition kv_types.h:590
virtual bool has_writes() const =0
virtual ~AbstractChangeSet()=default
Definition kv_types.h:598
virtual void commit(Version v, bool track_deletes_on_missing_keys)=0
virtual ConsensusHookPtr post_commit()=0
virtual ~AbstractCommitter()=default
virtual bool has_writes()=0
Definition kv_types.h:648
virtual ccf::kv::ConsensusHookPtrs & get_hooks()=0
virtual ccf::kv::ApplyResult apply(bool track_deletes_on_missing_keys=false)=0
virtual ~AbstractExecutionWrapper()=default
virtual bool should_rollback_to_last_committed()=0
virtual bool is_public_only()=0
virtual std::optional< ccf::crypto::Sha256Hash > && consume_commit_evidence_digest()=0
virtual const std::vector< uint8_t > & get_entry()=0
virtual ccf::kv::Term get_term()=0
virtual bool support_async_execution()=0
virtual ccf::ClaimsDigest && consume_claims_digest()=0
virtual ccf::kv::Version get_index()=0
Definition kv_types.h:614
virtual void serialise(KvStoreSerialiser &s)=0
virtual SecurityDomain get_security_domain() const =0
virtual ~Snapshot()=default
Definition kv_types.h:611
virtual std::unique_ptr< Snapshot > snapshot(Version v)=0
virtual SecurityDomain get_security_domain()=0
virtual AbstractStore * get_store()=0
virtual std::unique_ptr< AbstractCommitter > create_committer(AbstractChangeSet *changes)=0
virtual AbstractMap * clone(AbstractStore *store)=0
virtual void post_compact()=0
virtual void serialise_changes(const AbstractChangeSet *changes, KvStoreSerialiser &s, bool include_reads)=0
virtual void compact(Version v)=0
virtual void rollback(Version v)=0
virtual void swap(AbstractMap *map)=0
virtual ~AbstractMap()
Definition kv_types.h:622
Definition kv_types.h:579
virtual void rollback(ccf::kv::Version v)=0
virtual bool record_committable(ccf::kv::Version v)=0
virtual void commit(ccf::kv::Version v, bool generate_snapshot)=0
virtual ~AbstractSnapshotter()=default
Definition kv_types.h:683
virtual std::vector< uint8_t > serialise(const std::shared_ptr< AbstractTxEncryptor > &encryptor)=0
virtual ~AbstractSnapshot()=default
virtual Version get_version() const =0
Definition kv_types.h:680
virtual std::unique_ptr< AbstractSnapshot > snapshot_unsafe_maps(Version v)=0
virtual bool flag_enabled_unsafe(StoreFlag f) const =0
StoreFlag
Definition kv_types.h:749
@ SNAPSHOT_AT_NEXT_SIGNATURE
virtual std::shared_ptr< TxHistory > get_history()=0
virtual ~AbstractStore()
Definition kv_types.h:691
virtual std::shared_ptr< AbstractMap > get_map(Version v, const std::string &map_name)=0
virtual EncryptorPtr get_encryptor()=0
virtual void add_dynamic_map(Version v, const std::shared_ptr< AbstractMap > &map)=0
virtual bool should_create_ledger_chunk_unsafe(Version version)=0
virtual void rollback(const TxID &tx_id, Term write_term_)=0
virtual void set_flag_unsafe(StoreFlag f)=0
virtual void compact(Version v)=0
virtual bool should_create_ledger_chunk(Version version)=0
virtual std::shared_ptr< Consensus > get_consensus()=0
virtual void lock_map_set()=0
virtual std::pair< TxID, Term > current_txid_and_commit_term()=0
virtual std::shared_ptr< AbstractMap > get_map_unsafe(Version v, const std::string &map_name)=0
virtual bool flag_enabled(StoreFlag f)=0
virtual CommitResult commit(const TxID &txid, std::unique_ptr< PendingTx > pending_tx, bool globally_committable)=0
virtual void unlock_map_set()=0
virtual size_t committable_gap()=0
virtual void unset_flag(StoreFlag f)=0
virtual TxID next_txid()=0
virtual void lock_maps()=0
virtual Version current_version()=0
virtual Term commit_view()=0
virtual Version next_version()=0
virtual void set_flag(StoreFlag f)=0
virtual bool check_rollback_count(Version count)=0
virtual std::shared_ptr< ILedgerChunker > get_chunker()=0
virtual std::vector< uint8_t > serialise_snapshot(std::unique_ptr< AbstractSnapshot > snapshot)=0
virtual Version compacted_version()=0
virtual void unlock_maps()=0
virtual ApplyResult deserialise_snapshot(const uint8_t *data, size_t size, ConsensusHookPtrs &hooks, std::vector< Version > *view_history=nullptr, bool public_only=false)=0
virtual void initialise_term(Term t)=0
virtual void unset_flag_unsafe(StoreFlag f)=0
virtual TxID current_txid()=0
virtual std::unique_ptr< AbstractExecutionWrapper > deserialize(const std::vector< uint8_t > &data, bool public_only=false, const std::optional< TxID > &expected_txid=std::nullopt)=0
virtual std::tuple< Version, Version > next_version(bool commit_new_map)=0
Definition kv_types.h:547
virtual bool encrypt(const std::vector< uint8_t > &plain, const std::vector< uint8_t > &additional_data, std::vector< uint8_t > &serialised_header, std::vector< uint8_t > &cipher, const TxID &tx_id, EntryType entry_type=EntryType::WriteSet, bool historical_hint=false)=0
virtual bool decrypt(const std::vector< uint8_t > &cipher, const std::vector< uint8_t > &additional_data, const std::vector< uint8_t > &serialised_header, std::vector< uint8_t > &plain, Version version, Term &term, bool historical_hint=false)=0
virtual size_t get_header_length()=0
virtual void rollback(Version version)=0
virtual uint64_t get_term(const uint8_t *data, size_t size)=0
virtual ~AbstractTxEncryptor()
Definition kv_types.h:549
virtual ccf::crypto::HashBytes get_commit_nonce(const TxID &tx_id, bool historical_hint=false)=0
Definition kv_types.h:229
virtual void add_configuration(ccf::SeqNo seqno, const Configuration::Nodes &conf, const std::unordered_set< NodeId > &learners={}, const std::unordered_set< NodeId > &retired_nodes={})=0
virtual ConsensusDetails get_details()=0
virtual Configuration::Nodes get_latest_configuration()=0
virtual Configuration::Nodes get_latest_configuration_unsafe() const =0
Definition kv_types.h:436
virtual void enable_all_domains()
Definition kv_types.h:479
virtual std::pair< ccf::View, ccf::SeqNo > get_committed_txid()=0
virtual bool is_candidate()=0
virtual ccf::SeqNo get_committed_seqno()=0
virtual bool can_replicate()=0
virtual void periodic_end()
Definition kv_types.h:477
SignatureDisposition
Definition kv_types.h:448
virtual void init_as_backup(ccf::SeqNo, ccf::View, const std::vector< ccf::SeqNo > &, ccf::SeqNo)=0
virtual std::vector< ccf::SeqNo > get_view_history(ccf::SeqNo seqno=std::numeric_limits< ccf::SeqNo >::max())=0
virtual void recv_message(const NodeId &from, const uint8_t *data, size_t size)=0
virtual bool is_primary()=0
virtual std::optional< NodeId > primary()=0
virtual void force_become_primary(ccf::SeqNo, ccf::View, const std::vector< ccf::SeqNo > &, ccf::SeqNo)=0
virtual bool replicate(const BatchVector &entries, ccf::View view)=0
virtual void set_retired_committed(ccf::SeqNo, const std::vector< NodeId > &node_ids)
Definition kv_types.h:481
virtual void force_become_primary()=0
virtual bool is_at_max_capacity()=0
virtual SignatureDisposition get_signature_disposition()=0
virtual void periodic(std::chrono::milliseconds)
Definition kv_types.h:476
virtual ccf::View get_view(ccf::SeqNo seqno)=0
virtual ~Consensus()
Definition kv_types.h:438
virtual std::vector< ccf::SeqNo > get_view_history_since(ccf::SeqNo seqno)=0
virtual ccf::View get_view()=0
virtual bool is_backup()=0
Definition generic_serialise_wrapper.h:20
Definition kv_types.h:354
virtual const char * what() const
Definition kv_types.h:361
KvSerialiserException(const std::string &msg_)
Definition kv_types.h:359
Definition kv_types.h:516
MovePendingTx(std::vector< uint8_t > &&data_, ccf::ClaimsDigest &&claims_digest_, ccf::crypto::Sha256Hash &&commit_evidence_digest_, ConsensusHookPtrs &&hooks_)
Definition kv_types.h:524
PendingTxInfo call() override
Definition kv_types.h:535
Definition kv_types.h:509
virtual ~PendingTx()=default
virtual PendingTxInfo call()=0
Definition kv_types.h:763
ScopedStoreMapsLock()=delete
ScopedStoreMapsLock(StorePointer _store)
Definition kv_types.h:766
~ScopedStoreMapsLock()
Definition kv_types.h:770
Definition kv_types.h:368
virtual void compact(Version v)=0
virtual void set_term(ccf::kv::Term)=0
virtual std::vector< uint8_t > get_proof(Version v)=0
virtual void emit_signature()=0
std::tuple< size_t, size_t > RequestID
Definition kv_types.h:372
virtual void set_service_signing_identity(std::shared_ptr< ccf::crypto::KeyPair_OpenSSL > keypair, const COSESignaturesConfig &cose_signatures)=0
virtual const ccf::COSESignaturesConfig & get_cose_signatures_config()=0
virtual bool verify_root_signatures(ccf::kv::Version version)=0
virtual bool init_from_snapshot(const std::vector< uint8_t > &hash_at_snapshot)=0
virtual std::vector< uint8_t > serialise_tree(size_t to)=0
virtual std::vector< uint8_t > get_raw_leaf(uint64_t index)=0
virtual void try_emit_signature()=0
virtual void rollback(const ccf::kv::TxID &tx_id, ccf::kv::Term term_of_next_version_)=0
Result
Definition kv_types.h:396
virtual ccf::crypto::Sha256Hash get_replicated_state_root()=0
virtual void append_entry(const ccf::crypto::Sha256Hash &digest, std::optional< ccf::kv::Term > expected_term=std::nullopt)=0
virtual void append(const std::vector< uint8_t > &data)=0
virtual void start_signature_emit_timer()=0
virtual ~TxHistory()
Definition kv_types.h:403
virtual bool verify_proof(const std::vector< uint8_t > &proof)=0
virtual void set_endorsed_certificate(const ccf::crypto::Pem &cert)=0
virtual std::tuple< ccf::kv::TxID, ccf::crypto::Sha256Hash, ccf::kv::Term > get_replicated_state_txid_and_root()=0
#define DECLARE_JSON_REQUIRED_FIELDS(TYPE,...)
Definition json.h:714
#define DECLARE_JSON_TYPE(TYPE)
Definition json.h:663
#define DECLARE_JSON_TYPE_WITH_OPTIONAL_FIELDS(TYPE)
Definition json.h:690
#define DECLARE_JSON_OPTIONAL_FIELDS(TYPE,...)
Definition json.h:786
#define DECLARE_JSON_ENUM(TYPE,...)
Definition json.h:837
std::vector< uint8_t > HashBytes
Definition hash_bytes.h:10
Definition app_interface.h:19
std::shared_ptr< AbstractTxEncryptor > EncryptorPtr
Definition kv_types.h:576
RetirementPhase
Definition kv_types.h:166
std::string schema_name(const Configuration::NodeInfo *)
Definition kv_types.h:123
uint64_t Term
Definition kv_types.h:48
SecurityDomain
Definition kv_types.h:255
@ SECURITY_DOMAIN_MAX
Definition kv_types.h:258
@ PRIVATE
Definition kv_types.h:257
@ PUBLIC
Definition kv_types.h:256
std::unique_ptr< ConsensusHook > ConsensusHookPtr
Definition hooks.h:21
EntryType
Definition kv_types.h:269
@ WriteSetWithCommitEvidenceAndClaims
@ WriteSetWithCommitEvidence
std::vector< std::tuple< Version, std::shared_ptr< std::vector< uint8_t > >, bool, std::shared_ptr< ConsensusHookPtrs > > > BatchVector
Definition kv_types.h:245
uint64_t Version
Definition version.h:8
LeadershipState
Definition kv_types.h:140
CommitResult
Definition kv_types.h:248
@ FAIL_NO_REPLICATE
Definition kv_types.h:251
@ SUCCESS
Definition kv_types.h:249
@ FAIL_CONFLICT
Definition kv_types.h:250
std::shared_ptr< AbstractSnapshotter > SnapshotterPtr
Definition kv_types.h:587
void fill_json_schema(nlohmann::json &schema, const Configuration::NodeInfo *)
Definition kv_types.h:128
uint64_t ReconfigurationId
Definition kv_types.h:81
constexpr auto public_domain_prefix
Definition kv_types.h:294
ApplyResult
Definition kv_types.h:341
@ PASS_NONCES
Definition kv_types.h:346
@ PASS_SIGNATURE
Definition kv_types.h:343
@ PASS_BACKUP_SIGNATURE
Definition kv_types.h:344
@ PASS_BACKUP_SIGNATURE_SEND_ACK
Definition kv_types.h:345
@ FAIL
Definition kv_types.h:350
@ PASS
Definition kv_types.h:342
@ PASS_APPLY
Definition kv_types.h:349
@ PASS_ENCRYPTED_PAST_LEDGER_SECRET
Definition kv_types.h:348
@ PASS_NEW_VIEW
Definition kv_types.h:347
AccessCategory
Definition kv_types.h:262
@ INTERNAL
Definition kv_types.h:263
@ APPLICATION
Definition kv_types.h:265
@ GOVERNANCE
Definition kv_types.h:264
MembershipState
Definition kv_types.h:155
void to_json(nlohmann::json &j, const Configuration::NodeInfo &ni)
Definition kv_types.h:110
std::vector< ConsensusHookPtr > ConsensusHookPtrs
Definition hooks.h:22
void from_json(const nlohmann::json &j, Configuration::NodeInfo &ni)
Definition kv_types.h:115
Definition app_interface.h:14
EntityId< NodeIdFormatter > NodeId
Definition entity_id.h:155
view
Definition signatures.h:54
ReconfigurationType
Definition reconfiguration_type.h:10
seqno
Definition signatures.h:54
uint64_t View
Definition tx_id.h:23
uint64_t SeqNo
Definition tx_id.h:36
Definition map_serializers.h:11
Definition cose_signatures_config.h:12
std::string hostname
Definition kv_types.h:87
bool operator==(const NodeInfo &other) const
Definition kv_types.h:97
NodeInfo(const std::string &hostname_, const std::string &port_)
Definition kv_types.h:92
std::string port
Definition kv_types.h:88
ccf::SeqNo idx
Definition kv_types.h:105
std::map< NodeId, NodeInfo > Nodes
Definition kv_types.h:103
ReconfigurationId rid
Definition kv_types.h:107
Nodes nodes
Definition kv_types.h:106
Definition kv_types.h:186
size_t last_received_ms
Definition kv_types.h:188
ccf::SeqNo seqno
Definition kv_types.h:187
Definition kv_types.h:184
bool ticking
Definition kv_types.h:201
std::optional< std::unordered_map< ccf::NodeId, ccf::SeqNo > > learners
Definition kv_types.h:196
std::optional< ccf::ReconfigurationType > reconfiguration_type
Definition kv_types.h:198
std::optional< RetirementPhase > retirement_phase
Definition kv_types.h:195
ccf::View current_view
Definition kv_types.h:200
std::optional< LeadershipState > leadership_state
Definition kv_types.h:194
MembershipState membership_state
Definition kv_types.h:193
std::unordered_map< ccf::NodeId, Ack > acks
Definition kv_types.h:192
std::optional< ccf::NodeId > primary_id
Definition kv_types.h:199
std::vector< Configuration > configs
Definition kv_types.h:191
Definition kv_types.h:224
ccf::ReconfigurationType reconfiguration_type
Definition kv_types.h:225
GetName(const std::string &s)
Definition get_name.h:15
Definition kv_types.h:487
ccf::crypto::Sha256Hash commit_evidence_digest
Definition kv_types.h:491
PendingTxInfo(CommitResult success_, std::vector< uint8_t > &&data_, ccf::ClaimsDigest &&claims_digest_, ccf::crypto::Sha256Hash &&commit_evidence_digest_, std::vector< ConsensusHookPtr > &&hooks_)
Definition kv_types.h:494
std::vector< ConsensusHookPtr > hooks
Definition kv_types.h:492
ccf::ClaimsDigest claims_digest
Definition kv_types.h:490
std::vector< uint8_t > data
Definition kv_types.h:489
CommitResult success
Definition kv_types.h:488
Definition kv_types.h:375
uint8_t frame_format
Definition kv_types.h:379
std::vector< uint8_t > caller_cert
Definition kv_types.h:378
RequestID rid
Definition kv_types.h:376
std::vector< uint8_t > request
Definition kv_types.h:377
Definition kv_types.h:390
RequestID rid
Definition kv_types.h:391
std::vector< uint8_t > response
Definition kv_types.h:392
Definition kv_types.h:383
Version version
Definition kv_types.h:385
RequestID rid
Definition kv_types.h:384
ccf::crypto::Sha256Hash replicated_state_merkle_root
Definition kv_types.h:386
bool operator==(const TxID &other) const
Definition kv_types.h:68
TxID(const ccf::TxID &other)
Definition kv_types.h:61
std::string str() const
Definition kv_types.h:73
Version version
Definition kv_types.h:54
TxID(Term t, Version v)
Definition kv_types.h:57
Term term
Definition kv_types.h:53