Module `0x1::DiemConfig`

Publishes configuration information for validators, and issues reconfiguration events to synchronize configuration changes for the validators.

Resource DiemConfig
Struct NewEpochEvent
Resource Configuration
Resource ModifyConfigCapability
Resource DisableReconfiguration
Constants
Function initialize
Function get
Function set
Function set_with_capability_and_reconfigure
Function disable_reconfiguration
Function enable_reconfiguration
Function reconfiguration_enabled
Function publish_new_config_and_get_capability
Function publish_new_config
Function reconfigure
Function reconfigure_
Function emit_genesis_reconfiguration_event
Module Specification

<pre><code>use <a href="CoreAddresses.md#0x1_CoreAddresses">0x1::CoreAddresses</a>; use <a href="DiemTimestamp.md#0x1_DiemTimestamp">0x1::DiemTimestamp</a>; use <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors">0x1::Errors</a>; use <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event">0x1::Event</a>; use <a href="Roles.md#0x1_Roles">0x1::Roles</a>; use <a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer">0x1::Signer</a>; </code></pre>

Resource `DiemConfig`

A generic singleton resource that holds a value of a specific type.

<pre><code>resource struct <a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config: copyable> </code></pre> <details> <summary>Fields</summary> <dl> <dt> <code>payload: Config</code> </dt> <dd> Holds specific info for instance of <code>Config</code> type. </dd> </dl> </details>

Struct `NewEpochEvent`

Event that signals DiemBFT algorithm to start a new epoch, with new configuration information. This is also called a "reconfiguration event"

<pre><code>struct <a href="DiemConfig.md#0x1_DiemConfig_NewEpochEvent">NewEpochEvent</a> </code></pre> <details> <summary>Fields</summary> <dl> <dt> <code>epoch: u64</code> </dt> <dd> </dd> </dl> </details>

Resource `Configuration`

Holds information about state of reconfiguration

<pre><code>resource struct <a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a> </code></pre> <details> <summary>Fields</summary> <dl> <dt> <code>epoch: u64</code> </dt> <dd> Epoch number </dd> <dt> <code>last_reconfiguration_time: u64</code> </dt> <dd> Time of last reconfiguration. Only changes on reconfiguration events. </dd> <dt> <code>events: <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_EventHandle">Event::EventHandle</a><<a href="DiemConfig.md#0x1_DiemConfig_NewEpochEvent">DiemConfig::NewEpochEvent</a>></code> </dt> <dd> Event handle for reconfiguration events </dd> </dl> </details>

Resource `ModifyConfigCapability`

Accounts with this privilege can modify DiemConfig<TypeName> under Diem root address.

<pre><code>resource struct <a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><TypeName> </code></pre> <details> <summary>Fields</summary> <dl> <dt> <code>dummy_field: bool</code> </dt> <dd> </dd> </dl> </details>

Resource `DisableReconfiguration`

Reconfiguration disabled if this resource occurs under LibraRoot.

<pre><code>resource struct <a href="DiemConfig.md#0x1_DiemConfig_DisableReconfiguration">DisableReconfiguration</a> </code></pre> <details> <summary>Fields</summary> <dl> <dt> <code>dummy_field: bool</code> </dt> <dd> </dd> </dl> </details>

Constants

The largest possible u64 value

<pre><code>const <a href="DiemConfig.md#0x1_DiemConfig_MAX_U64">MAX_U64</a>: u64 = 18446744073709551615; </code></pre>

The <code><a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a></code> resource is in an invalid state

<pre><code>const <a href="DiemConfig.md#0x1_DiemConfig_ECONFIGURATION">ECONFIGURATION</a>: u64 = 0; </code></pre>

A <code><a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a></code> resource is in an invalid state

<pre><code>const <a href="DiemConfig.md#0x1_DiemConfig_EDIEM_CONFIG">EDIEM_CONFIG</a>: u64 = 1; </code></pre>

An invalid block time was encountered.

<pre><code>const <a href="DiemConfig.md#0x1_DiemConfig_EINVALID_BLOCK_TIME">EINVALID_BLOCK_TIME</a>: u64 = 3; </code></pre>

A <code><a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a></code> is in a different state than was expected

<pre><code>const <a href="DiemConfig.md#0x1_DiemConfig_EMODIFY_CAPABILITY">EMODIFY_CAPABILITY</a>: u64 = 2; </code></pre>

Function `initialize`

Publishes <code><a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a></code> resource. Can only be invoked by Diem root, and only a single time in Genesis.

<pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_initialize">initialize</a>(dr_account: &signer) </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_initialize">initialize</a>( dr_account: &signer, ) { <a href="DiemTimestamp.md#0x1_DiemTimestamp_assert_genesis">DiemTimestamp::assert_genesis</a>(); <a href="CoreAddresses.md#0x1_CoreAddresses_assert_diem_root">CoreAddresses::assert_diem_root</a>(dr_account); assert(!exists<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_already_published">Errors::already_published</a>(<a href="DiemConfig.md#0x1_DiemConfig_ECONFIGURATION">ECONFIGURATION</a>)); move_to<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>( dr_account, <a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a> { epoch: 0, last_reconfiguration_time: 0, events: <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_new_event_handle">Event::new_event_handle</a><<a href="DiemConfig.md#0x1_DiemConfig_NewEpochEvent">NewEpochEvent</a>>(dr_account), } ); } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>pragma opaque; include <a href="DiemConfig.md#0x1_DiemConfig_InitializeAbortsIf">InitializeAbortsIf</a>; include <a href="DiemConfig.md#0x1_DiemConfig_InitializeEnsures">InitializeEnsures</a>; modifies global<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); modifies global<<a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_EventHandleGenerator">Event::EventHandleGenerator</a>>(<a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_spec_address_of">Signer::spec_address_of</a>(dr_account)); </code></pre>

<pre><code>schema <a href="DiemConfig.md#0x1_DiemConfig_InitializeAbortsIf">InitializeAbortsIf</a> { dr_account: signer; include <a href="DiemTimestamp.md#0x1_DiemTimestamp_AbortsIfNotGenesis">DiemTimestamp::AbortsIfNotGenesis</a>; include <a href="CoreAddresses.md#0x1_CoreAddresses_AbortsIfNotDiemRoot">CoreAddresses::AbortsIfNotDiemRoot</a>{account: dr_account}; aborts_if <a href="DiemConfig.md#0x1_DiemConfig_spec_has_config">spec_has_config</a>() with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_ALREADY_PUBLISHED">Errors::ALREADY_PUBLISHED</a>; } </code></pre>

<pre><code>schema <a href="DiemConfig.md#0x1_DiemConfig_InitializeEnsures">InitializeEnsures</a> { ensures <a href="DiemConfig.md#0x1_DiemConfig_spec_has_config">spec_has_config</a>(); <a name="0x1_DiemConfig_new_config$16"></a> let new_config = global<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); ensures new_config.epoch == 0; ensures new_config.last_reconfiguration_time == 0; } </code></pre> </details>

Function `get`

Returns a copy of <code>Config</code> value stored under <code>addr</code>.

<pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_get">get</a><Config: copyable>(): Config </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_get">get</a><Config: copy + drop + store>(): Config acquires <a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a> { let addr = <a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>(); assert(exists<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(addr), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_not_published">Errors::not_published</a>(<a href="DiemConfig.md#0x1_DiemConfig_EDIEM_CONFIG">EDIEM_CONFIG</a>)); *&borrow_global<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(addr).payload } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>pragma opaque; include <a href="DiemConfig.md#0x1_DiemConfig_AbortsIfNotPublished">AbortsIfNotPublished</a><Config>; ensures result == <a href="DiemConfig.md#0x1_DiemConfig_get">get</a><Config>(); </code></pre>

<pre><code>schema <a href="DiemConfig.md#0x1_DiemConfig_AbortsIfNotPublished">AbortsIfNotPublished</a><Config> { aborts_if !exists<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()) with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_NOT_PUBLISHED">Errors::NOT_PUBLISHED</a>; } </code></pre> </details>

Function `set`

Set a config item to a new value with the default capability stored under config address and trigger a reconfiguration. This function requires that the signer have a <code><a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><Config></code> resource published under it.

<pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_set">set</a><Config: copyable>(account: &signer, payload: Config) </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_set">set</a><Config: copy + drop + store>(account: &signer, payload: Config) acquires <a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a>, <a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a> { let signer_address = <a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_address_of">Signer::address_of</a>(account); // Next should always be true if properly initialized. assert(exists<<a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><Config>>(signer_address), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_requires_capability">Errors::requires_capability</a>(<a href="DiemConfig.md#0x1_DiemConfig_EMODIFY_CAPABILITY">EMODIFY_CAPABILITY</a>)); let addr = <a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>(); assert(exists<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(addr), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_not_published">Errors::not_published</a>(<a href="DiemConfig.md#0x1_DiemConfig_EDIEM_CONFIG">EDIEM_CONFIG</a>)); let config = borrow_global_mut<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(addr); config.payload = payload; <a href="DiemConfig.md#0x1_DiemConfig_reconfigure_">reconfigure_</a>(); } </code></pre> </details> <details> <summary>Specification</summary>

TODO: turned off verification until we solve the generic type/specific invariant issue

<pre><code>pragma opaque, verify = false; modifies global<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); modifies global<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); include <a href="DiemConfig.md#0x1_DiemConfig_SetAbortsIf">SetAbortsIf</a><Config>; include <a href="DiemConfig.md#0x1_DiemConfig_SetEnsures">SetEnsures</a><Config>; </code></pre>

<pre><code>schema <a href="DiemConfig.md#0x1_DiemConfig_SetAbortsIf">SetAbortsIf</a><Config> { account: signer; include <a href="DiemConfig.md#0x1_DiemConfig_AbortsIfNotModifiable">AbortsIfNotModifiable</a><Config>; include <a href="DiemConfig.md#0x1_DiemConfig_AbortsIfNotPublished">AbortsIfNotPublished</a><Config>; include <a href="DiemConfig.md#0x1_DiemConfig_ReconfigureAbortsIf">ReconfigureAbortsIf</a>; } </code></pre>

<pre><code>schema <a href="DiemConfig.md#0x1_DiemConfig_AbortsIfNotModifiable">AbortsIfNotModifiable</a><Config> { account: signer; aborts_if !exists<<a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><Config>>(<a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_spec_address_of">Signer::spec_address_of</a>(account)) with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_REQUIRES_CAPABILITY">Errors::REQUIRES_CAPABILITY</a>; } </code></pre>

<pre><code>schema <a href="DiemConfig.md#0x1_DiemConfig_SetEnsures">SetEnsures</a><Config> { payload: Config; ensures <a href="DiemConfig.md#0x1_DiemConfig_spec_is_published">spec_is_published</a><Config>(); ensures <a href="DiemConfig.md#0x1_DiemConfig_get">get</a><Config>() == payload; ensures old(<a href="DiemConfig.md#0x1_DiemConfig_spec_has_config">spec_has_config</a>()) == <a href="DiemConfig.md#0x1_DiemConfig_spec_has_config">spec_has_config</a>(); } </code></pre> </details>

Function `set_with_capability_and_reconfigure`

Set a config item to a new value and trigger a reconfiguration. This function requires a reference to a <code><a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a></code>, which is returned when the config is published using <code>publish_new_config_and_get_capability</code>. It is called by <code><a href="DiemSystem.md#0x1_DiemSystem_update_config_and_reconfigure">DiemSystem::update_config_and_reconfigure</a></code>, which allows validator operators to change the validator set. All other config changes require a Diem root signer.

<pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_set_with_capability_and_reconfigure">set_with_capability_and_reconfigure</a><Config: copyable>(_cap: &<a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">DiemConfig::ModifyConfigCapability</a><Config>, payload: Config) </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_set_with_capability_and_reconfigure">set_with_capability_and_reconfigure</a><Config: copy + drop + store>( _cap: &<a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><Config>, payload: Config ) acquires <a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a>, <a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a> { let addr = <a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>(); assert(exists<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(addr), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_not_published">Errors::not_published</a>(<a href="DiemConfig.md#0x1_DiemConfig_EDIEM_CONFIG">EDIEM_CONFIG</a>)); let config = borrow_global_mut<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(addr); config.payload = payload; <a href="DiemConfig.md#0x1_DiemConfig_reconfigure_">reconfigure_</a>(); } </code></pre> </details> <details> <summary>Specification</summary>

TODO: turned off verification until we solve the generic type/specific invariant issue

<pre><code>pragma opaque, verify = false; modifies global<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); include <a href="DiemConfig.md#0x1_DiemConfig_AbortsIfNotPublished">AbortsIfNotPublished</a><Config>; include <a href="DiemConfig.md#0x1_DiemConfig_ReconfigureAbortsIf">ReconfigureAbortsIf</a>; modifies global<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); include <a href="DiemConfig.md#0x1_DiemConfig_SetEnsures">SetEnsures</a><Config>; include <a href="DiemConfig.md#0x1_DiemConfig_ReconfigureEmits">ReconfigureEmits</a>; </code></pre> </details>

Function `disable_reconfiguration`

Private function to temporarily halt reconfiguration. This function should only be used for offline WriteSet generation purpose and should never be invoked on chain.

<pre><code>fun <a href="DiemConfig.md#0x1_DiemConfig_disable_reconfiguration">disable_reconfiguration</a>(dr_account: &signer) </code></pre> <details> <summary>Implementation</summary> <pre><code>fun <a href="DiemConfig.md#0x1_DiemConfig_disable_reconfiguration">disable_reconfiguration</a>(dr_account: &signer) { assert( <a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_address_of">Signer::address_of</a>(dr_account) == <a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>(), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_requires_address">Errors::requires_address</a>(<a href="DiemConfig.md#0x1_DiemConfig_EDIEM_CONFIG">EDIEM_CONFIG</a>) ); <a href="Roles.md#0x1_Roles_assert_diem_root">Roles::assert_diem_root</a>(dr_account); assert(<a href="DiemConfig.md#0x1_DiemConfig_reconfiguration_enabled">reconfiguration_enabled</a>(), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_invalid_state">Errors::invalid_state</a>(<a href="DiemConfig.md#0x1_DiemConfig_ECONFIGURATION">ECONFIGURATION</a>)); move_to(dr_account, <a href="DiemConfig.md#0x1_DiemConfig_DisableReconfiguration">DisableReconfiguration</a> {} ) } </code></pre> </details>

Function `enable_reconfiguration`

Private function to resume reconfiguration. This function should only be used for offline WriteSet generation purpose and should never be invoked on chain.

<pre><code>fun <a href="DiemConfig.md#0x1_DiemConfig_enable_reconfiguration">enable_reconfiguration</a>(dr_account: &signer) </code></pre> <details> <summary>Implementation</summary> <pre><code>fun <a href="DiemConfig.md#0x1_DiemConfig_enable_reconfiguration">enable_reconfiguration</a>(dr_account: &signer) acquires <a href="DiemConfig.md#0x1_DiemConfig_DisableReconfiguration">DisableReconfiguration</a> { assert( <a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_address_of">Signer::address_of</a>(dr_account) == <a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>(), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_requires_address">Errors::requires_address</a>(<a href="DiemConfig.md#0x1_DiemConfig_EDIEM_CONFIG">EDIEM_CONFIG</a>) ); <a href="Roles.md#0x1_Roles_assert_diem_root">Roles::assert_diem_root</a>(dr_account); assert(!<a href="DiemConfig.md#0x1_DiemConfig_reconfiguration_enabled">reconfiguration_enabled</a>(), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_invalid_state">Errors::invalid_state</a>(<a href="DiemConfig.md#0x1_DiemConfig_ECONFIGURATION">ECONFIGURATION</a>)); <a href="DiemConfig.md#0x1_DiemConfig_DisableReconfiguration">DisableReconfiguration</a> {} = move_from<<a href="DiemConfig.md#0x1_DiemConfig_DisableReconfiguration">DisableReconfiguration</a>>(<a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_address_of">Signer::address_of</a>(dr_account)); } </code></pre> </details>

Function `reconfiguration_enabled`

<pre><code>fun <a href="DiemConfig.md#0x1_DiemConfig_reconfiguration_enabled">reconfiguration_enabled</a>(): bool </code></pre> <details> <summary>Implementation</summary> <pre><code>fun <a href="DiemConfig.md#0x1_DiemConfig_reconfiguration_enabled">reconfiguration_enabled</a>(): bool { !exists<<a href="DiemConfig.md#0x1_DiemConfig_DisableReconfiguration">DisableReconfiguration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()) } </code></pre> </details>

Function `publish_new_config_and_get_capability`

Publishes a new config. The caller will use the returned ModifyConfigCapability to specify the access control policy for who can modify the config. Does not trigger a reconfiguration.

<pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_publish_new_config_and_get_capability">publish_new_config_and_get_capability</a><Config: copyable>(dr_account: &signer, payload: Config): <a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">DiemConfig::ModifyConfigCapability</a><Config> </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_publish_new_config_and_get_capability">publish_new_config_and_get_capability</a><Config: copy + drop + store>( dr_account: &signer, payload: Config, ): <a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><Config> { <a href="Roles.md#0x1_Roles_assert_diem_root">Roles::assert_diem_root</a>(dr_account); assert( !exists<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(<a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_address_of">Signer::address_of</a>(dr_account)), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_already_published">Errors::already_published</a>(<a href="DiemConfig.md#0x1_DiemConfig_EDIEM_CONFIG">EDIEM_CONFIG</a>) ); move_to(dr_account, <a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a> { payload }); <a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><Config> {} } </code></pre> </details> <details> <summary>Specification</summary>

TODO: turned off verification until we solve the generic type/specific invariant issue

<pre><code>pragma opaque, verify = false; modifies global<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); include <a href="Roles.md#0x1_Roles_AbortsIfNotDiemRoot">Roles::AbortsIfNotDiemRoot</a>{account: dr_account}; include <a href="DiemConfig.md#0x1_DiemConfig_AbortsIfPublished">AbortsIfPublished</a><Config>; include <a href="DiemConfig.md#0x1_DiemConfig_SetEnsures">SetEnsures</a><Config>; </code></pre>

<pre><code>schema <a href="DiemConfig.md#0x1_DiemConfig_AbortsIfPublished">AbortsIfPublished</a><Config> { aborts_if exists<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()) with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_ALREADY_PUBLISHED">Errors::ALREADY_PUBLISHED</a>; } </code></pre> </details>

Function `publish_new_config`

Publish a new config item. Only Diem root can modify such config. Publishes the capability to modify this config under the Diem root account. Does not trigger a reconfiguration.

<pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_publish_new_config">publish_new_config</a><Config: copyable>(dr_account: &signer, payload: Config) </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_publish_new_config">publish_new_config</a><Config: copy + drop + store>( dr_account: &signer, payload: Config ) { let capability = <a href="DiemConfig.md#0x1_DiemConfig_publish_new_config_and_get_capability">publish_new_config_and_get_capability</a><Config>(dr_account, payload); assert( !exists<<a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><Config>>(<a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_address_of">Signer::address_of</a>(dr_account)), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_already_published">Errors::already_published</a>(<a href="DiemConfig.md#0x1_DiemConfig_EMODIFY_CAPABILITY">EMODIFY_CAPABILITY</a>) ); move_to(dr_account, capability); } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>pragma opaque; modifies global<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); modifies global<<a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><Config>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); include <a href="DiemConfig.md#0x1_DiemConfig_PublishNewConfigAbortsIf">PublishNewConfigAbortsIf</a><Config>; include <a href="DiemConfig.md#0x1_DiemConfig_PublishNewConfigEnsures">PublishNewConfigEnsures</a><Config>; </code></pre>

<pre><code>schema <a href="DiemConfig.md#0x1_DiemConfig_PublishNewConfigAbortsIf">PublishNewConfigAbortsIf</a><Config> { dr_account: signer; include <a href="Roles.md#0x1_Roles_AbortsIfNotDiemRoot">Roles::AbortsIfNotDiemRoot</a>{account: dr_account}; aborts_if <a href="DiemConfig.md#0x1_DiemConfig_spec_is_published">spec_is_published</a><Config>(); aborts_if exists<<a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><Config>>(<a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_spec_address_of">Signer::spec_address_of</a>(dr_account)); } </code></pre>

<pre><code>schema <a href="DiemConfig.md#0x1_DiemConfig_PublishNewConfigEnsures">PublishNewConfigEnsures</a><Config> { dr_account: signer; payload: Config; include <a href="DiemConfig.md#0x1_DiemConfig_SetEnsures">SetEnsures</a><Config>; ensures exists<<a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><Config>>(<a href="../../../../../../move-stdlib/docs/Signer.md#0x1_Signer_spec_address_of">Signer::spec_address_of</a>(dr_account)); } </code></pre> </details>

Function `reconfigure`

Signal validators to start using new configuration. Must be called by Diem root.

<pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_reconfigure">reconfigure</a>(dr_account: &signer) </code></pre> <details> <summary>Implementation</summary> <pre><code>public fun <a href="DiemConfig.md#0x1_DiemConfig_reconfigure">reconfigure</a>( dr_account: &signer, ) acquires <a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a> { <a href="Roles.md#0x1_Roles_assert_diem_root">Roles::assert_diem_root</a>(dr_account); <a href="DiemConfig.md#0x1_DiemConfig_reconfigure_">reconfigure_</a>(); } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>pragma opaque; modifies global<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); include <a href="Roles.md#0x1_Roles_AbortsIfNotDiemRoot">Roles::AbortsIfNotDiemRoot</a>{account: dr_account}; include <a href="DiemConfig.md#0x1_DiemConfig_ReconfigureAbortsIf">ReconfigureAbortsIf</a>; </code></pre> </details>

Function `reconfigure_`

Private function to do reconfiguration. Updates reconfiguration status resource <code><a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a></code> and emits a <code><a href="DiemConfig.md#0x1_DiemConfig_NewEpochEvent">NewEpochEvent</a></code>

<pre><code>fun <a href="DiemConfig.md#0x1_DiemConfig_reconfigure_">reconfigure_</a>() </code></pre> <details> <summary>Implementation</summary> <pre><code>fun <a href="DiemConfig.md#0x1_DiemConfig_reconfigure_">reconfigure_</a>() acquires <a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a> { // Do not do anything if genesis has not finished. if (<a href="DiemTimestamp.md#0x1_DiemTimestamp_is_genesis">DiemTimestamp::is_genesis</a>() || <a href="DiemTimestamp.md#0x1_DiemTimestamp_now_microseconds">DiemTimestamp::now_microseconds</a>() == 0 || !<a href="DiemConfig.md#0x1_DiemConfig_reconfiguration_enabled">reconfiguration_enabled</a>()) { return () }; let config_ref = borrow_global_mut<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); let current_time = <a href="DiemTimestamp.md#0x1_DiemTimestamp_now_microseconds">DiemTimestamp::now_microseconds</a>(); // Do not do anything if a reconfiguration event is already emitted within this transaction. // // This is OK because: // - The time changes in every non-empty block // - A block automatically ends after a transaction that emits a reconfiguration event, which is guaranteed by // DiemVM spec that all transactions comming after a reconfiguration transaction will be returned as Retry // status. // - Each transaction must emit at most one reconfiguration event // // Thus, this check ensures that a transaction that does multiple "reconfiguration required" actions emits only // one reconfiguration event. // if (current_time == config_ref.last_reconfiguration_time) { return }; assert(current_time > config_ref.last_reconfiguration_time, <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_invalid_state">Errors::invalid_state</a>(<a href="DiemConfig.md#0x1_DiemConfig_EINVALID_BLOCK_TIME">EINVALID_BLOCK_TIME</a>)); config_ref.last_reconfiguration_time = current_time; config_ref.epoch = config_ref.epoch + 1; <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_emit_event">Event::emit_event</a><<a href="DiemConfig.md#0x1_DiemConfig_NewEpochEvent">NewEpochEvent</a>>( &mut config_ref.events, <a href="DiemConfig.md#0x1_DiemConfig_NewEpochEvent">NewEpochEvent</a> { epoch: config_ref.epoch, }, ); } </code></pre> </details> <details> <summary>Specification</summary> <pre><code>pragma opaque; modifies global<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); ensures old(<a href="DiemConfig.md#0x1_DiemConfig_spec_has_config">spec_has_config</a>()) == <a href="DiemConfig.md#0x1_DiemConfig_spec_has_config">spec_has_config</a>(); <a name="0x1_DiemConfig_config$25"></a> let config = global<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); <a name="0x1_DiemConfig_now$26"></a> let now = <a href="DiemTimestamp.md#0x1_DiemTimestamp_spec_now_microseconds">DiemTimestamp::spec_now_microseconds</a>(); <a name="0x1_DiemConfig_epoch$27"></a> let epoch = config.epoch; include !<a href="DiemConfig.md#0x1_DiemConfig_spec_reconfigure_omitted">spec_reconfigure_omitted</a>() || (config.last_reconfiguration_time == now) ==> <a href="DiemConfig.md#0x1_DiemConfig_InternalReconfigureAbortsIf">InternalReconfigureAbortsIf</a> && <a href="DiemConfig.md#0x1_DiemConfig_ReconfigureAbortsIf">ReconfigureAbortsIf</a>; ensures <a href="DiemConfig.md#0x1_DiemConfig_spec_reconfigure_omitted">spec_reconfigure_omitted</a>() || (old(config).last_reconfiguration_time == now) ==> config == old(config); ensures !(<a href="DiemConfig.md#0x1_DiemConfig_spec_reconfigure_omitted">spec_reconfigure_omitted</a>() || (config.last_reconfiguration_time == now)) ==> config == update_field( update_field(old(config), epoch, old(config.epoch) + 1), last_reconfiguration_time, now); include <a href="DiemConfig.md#0x1_DiemConfig_ReconfigureEmits">ReconfigureEmits</a>; </code></pre>

The following schema describes aborts conditions which we do not want to be propagated to the verification of callers, and which are therefore marked as <code>concrete</code> to be only verified against the implementation. These conditions are unlikely to happen in reality, and excluding them avoids formal noise.

<pre><code>schema <a href="DiemConfig.md#0x1_DiemConfig_InternalReconfigureAbortsIf">InternalReconfigureAbortsIf</a> { let config = global<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); <a name="0x1_DiemConfig_current_time$20"></a> let current_time = <a href="DiemTimestamp.md#0x1_DiemTimestamp_spec_now_microseconds">DiemTimestamp::spec_now_microseconds</a>(); aborts_if [concrete] current_time < config.last_reconfiguration_time with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_INVALID_STATE">Errors::INVALID_STATE</a>; aborts_if [concrete] config.epoch == <a href="DiemConfig.md#0x1_DiemConfig_MAX_U64">MAX_U64</a> && current_time != config.last_reconfiguration_time with EXECUTION_FAILURE; } </code></pre>

This schema is to be used by callers of <code>reconfigure</code>

<pre><code>schema <a href="DiemConfig.md#0x1_DiemConfig_ReconfigureAbortsIf">ReconfigureAbortsIf</a> { let config = global<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); <a name="0x1_DiemConfig_current_time$18"></a> let current_time = <a href="DiemTimestamp.md#0x1_DiemTimestamp_spec_now_microseconds">DiemTimestamp::spec_now_microseconds</a>(); aborts_if <a href="DiemTimestamp.md#0x1_DiemTimestamp_is_operating">DiemTimestamp::is_operating</a>() && <a href="DiemConfig.md#0x1_DiemConfig_reconfiguration_enabled">reconfiguration_enabled</a>() && <a href="DiemTimestamp.md#0x1_DiemTimestamp_spec_now_microseconds">DiemTimestamp::spec_now_microseconds</a>() > 0 && config.epoch < <a href="DiemConfig.md#0x1_DiemConfig_MAX_U64">MAX_U64</a> && current_time < config.last_reconfiguration_time with <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_INVALID_STATE">Errors::INVALID_STATE</a>; } </code></pre>

<pre><code>schema <a href="DiemConfig.md#0x1_DiemConfig_ReconfigureEmits">ReconfigureEmits</a> { let config = global<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); <a name="0x1_DiemConfig_now$22"></a> let now = <a href="DiemTimestamp.md#0x1_DiemTimestamp_spec_now_microseconds">DiemTimestamp::spec_now_microseconds</a>(); <a name="0x1_DiemConfig_msg$23"></a> let msg = <a href="DiemConfig.md#0x1_DiemConfig_NewEpochEvent">NewEpochEvent</a> { epoch: config.epoch, }; <a name="0x1_DiemConfig_handle$24"></a> let handle = config.events; emits msg to handle if (!<a href="DiemConfig.md#0x1_DiemConfig_spec_reconfigure_omitted">spec_reconfigure_omitted</a>() && now != old(config).last_reconfiguration_time); } </code></pre> </details>

Function `emit_genesis_reconfiguration_event`

Emit a <code><a href="DiemConfig.md#0x1_DiemConfig_NewEpochEvent">NewEpochEvent</a></code> event. This function will be invoked by genesis directly to generate the very first reconfiguration event.

<pre><code>fun <a href="DiemConfig.md#0x1_DiemConfig_emit_genesis_reconfiguration_event">emit_genesis_reconfiguration_event</a>() </code></pre> <details> <summary>Implementation</summary> <pre><code>fun <a href="DiemConfig.md#0x1_DiemConfig_emit_genesis_reconfiguration_event">emit_genesis_reconfiguration_event</a>() acquires <a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a> { assert(exists<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()), <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_not_published">Errors::not_published</a>(<a href="DiemConfig.md#0x1_DiemConfig_ECONFIGURATION">ECONFIGURATION</a>)); let config_ref = borrow_global_mut<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); assert(config_ref.epoch == 0 && config_ref.last_reconfiguration_time == 0, <a href="../../../../../../move-stdlib/docs/Errors.md#0x1_Errors_invalid_state">Errors::invalid_state</a>(<a href="DiemConfig.md#0x1_DiemConfig_ECONFIGURATION">ECONFIGURATION</a>)); config_ref.epoch = 1; <a href="../../../../../../move-stdlib/docs/Event.md#0x1_Event_emit_event">Event::emit_event</a><<a href="DiemConfig.md#0x1_DiemConfig_NewEpochEvent">NewEpochEvent</a>>( &mut config_ref.events, <a href="DiemConfig.md#0x1_DiemConfig_NewEpochEvent">NewEpochEvent</a> { epoch: config_ref.epoch, }, ); } </code></pre> </details> <details> <summary>Specification</summary>

<pre><code>let config = global<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); <a name="0x1_DiemConfig_handle$29"></a> let handle = config.events; <a name="0x1_DiemConfig_msg$30"></a> let msg = <a href="DiemConfig.md#0x1_DiemConfig_NewEpochEvent">NewEpochEvent</a> { epoch: config.epoch, }; emits msg to handle; </code></pre> </details>

Module Specification

<pre><code>define <a href="DiemConfig.md#0x1_DiemConfig_spec_reconfigure_omitted">spec_reconfigure_omitted</a>(): bool { <a href="DiemTimestamp.md#0x1_DiemTimestamp_is_genesis">DiemTimestamp::is_genesis</a>() || <a href="DiemTimestamp.md#0x1_DiemTimestamp_spec_now_microseconds">DiemTimestamp::spec_now_microseconds</a>() == 0 || !<a href="DiemConfig.md#0x1_DiemConfig_reconfiguration_enabled">reconfiguration_enabled</a>() } </code></pre>

Initialization

After genesis, the <code><a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a></code> is published.

<pre><code>invariant [global] <a href="DiemTimestamp.md#0x1_DiemTimestamp_is_operating">DiemTimestamp::is_operating</a>() ==> <a href="DiemConfig.md#0x1_DiemConfig_spec_has_config">spec_has_config</a>(); </code></pre>

Invariants

Configurations are only stored at the diem root address.

<pre><code>invariant [global] forall config_address: address, config_type: type where exists<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><config_type>>(config_address): config_address == <a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>(); </code></pre>

After genesis, no new configurations are added.

<pre><code>invariant update [global] <a href="DiemTimestamp.md#0x1_DiemTimestamp_is_operating">DiemTimestamp::is_operating</a>() ==> (forall config_type: type where <a href="DiemConfig.md#0x1_DiemConfig_spec_is_published">spec_is_published</a><config_type>(): old(<a href="DiemConfig.md#0x1_DiemConfig_spec_is_published">spec_is_published</a><config_type>())); </code></pre>

Published configurations are persistent.

<pre><code>invariant update [global] (forall config_type: type where old(<a href="DiemConfig.md#0x1_DiemConfig_spec_is_published">spec_is_published</a><config_type>()): <a href="DiemConfig.md#0x1_DiemConfig_spec_is_published">spec_is_published</a><config_type>()); </code></pre>

If <code><a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><Config></code> is published, it is persistent.

<pre><code>invariant update [global] forall config_type: type where old(exists<<a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><config_type>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>())): exists<<a href="DiemConfig.md#0x1_DiemConfig_ModifyConfigCapability">ModifyConfigCapability</a><config_type>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()); </code></pre>

Helper Functions

<pre><code>define <a href="DiemConfig.md#0x1_DiemConfig_spec_has_config">spec_has_config</a>(): bool { exists<<a href="DiemConfig.md#0x1_DiemConfig_Configuration">Configuration</a>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()) } <a name="0x1_DiemConfig_spec_is_published"></a> define <a href="DiemConfig.md#0x1_DiemConfig_spec_is_published">spec_is_published</a><Config>(): bool { exists<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()) } <a name="0x1_DiemConfig_spec_get_config"></a> define <a href="DiemConfig.md#0x1_DiemConfig_spec_get_config">spec_get_config</a><Config>(): Config { global<<a href="DiemConfig.md#0x1_DiemConfig">DiemConfig</a><Config>>(<a href="CoreAddresses.md#0x1_CoreAddresses_DIEM_ROOT_ADDRESS">CoreAddresses::DIEM_ROOT_ADDRESS</a>()).payload } </code></pre>

Module `0x1::DiemConfig`

Module 0x1::DiemConfig

Resource DiemConfig

Struct NewEpochEvent

Resource Configuration

Resource ModifyConfigCapability

Resource DisableReconfiguration

Constants

Function initialize

Function get

Function set

Function set_with_capability_and_reconfigure

Function disable_reconfiguration

Function enable_reconfiguration

Function reconfiguration_enabled

Function publish_new_config_and_get_capability

Function publish_new_config

Function reconfigure

Function reconfigure_

Function emit_genesis_reconfiguration_event

Module Specification

Initialization

Invariants

Helper Functions

Module `0x1::DiemConfig`

Resource `DiemConfig`

Struct `NewEpochEvent`

Resource `Configuration`

Resource `ModifyConfigCapability`

Resource `DisableReconfiguration`

Function `initialize`

Function `get`

Function `set`

Function `set_with_capability_and_reconfigure`

Function `disable_reconfiguration`

Function `enable_reconfiguration`

Function `reconfiguration_enabled`

Function `publish_new_config_and_get_capability`

Function `publish_new_config`

Function `reconfigure`

Function `reconfigure_`

Function `emit_genesis_reconfiguration_event`