@openzeppelin/compact-contracts 0.3.0-rc.1 → 0.4.0-alpha.2

package/security/Allowlist.compact

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
-// OpenZeppelin Compact Contracts v0.3.0-rc.1 (security/Allowlist.compact)
+// OpenZeppelin Compact Contracts v0.4.0-alpha.2 (security/Allowlist.compact)
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 /**
  * @module Allowlist
@@ -41,7 +41,7 @@ module Allowlist {
   /**
    * @description Returns whether `account` is currently allowed.
    *
-   * @circuitInfo k=9, rows=305
+   * @constraints k=9, rows=303
    *
    * @param {Bytes<32>} account - The account to query.
    * @return {Boolean} - True if `account` is a member of the allowlist.
@@ -58,7 +58,7 @@ module Allowlist {
    * @description Asserts that `account` is allowed. The composing contract
    * decides when this gate applies.
    *
-   * @circuitInfo k=9, rows=305
+   * @constraints k=9, rows=303
    *
    * Requirements:
    *
@@ -78,7 +78,7 @@ module Allowlist {
   /**
    * @description Adds `account` to the allowlist.
    *
-   * @circuitInfo k=9, rows=303
+   * @constraints k=9, rows=301
    *
    * @param {Bytes<32>} account - The account to allow.
    * @return {[]} - Empty tuple.
@@ -90,7 +90,7 @@ module Allowlist {
   /**
    * @description Removes `account` from the allowlist.
    *
-   * @circuitInfo k=9, rows=303
+   * @constraints k=9, rows=301
    *
    * @param {Bytes<32>} account - The account to disallow.
    * @return {[]} - Empty tuple.

package/security/Blocklist.compact

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
-// OpenZeppelin Compact Contracts v0.3.0-rc.1 (security/Blocklist.compact)
+// OpenZeppelin Compact Contracts v0.4.0-alpha.2 (security/Blocklist.compact)
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 /**
  * @module Blocklist
@@ -39,7 +39,7 @@ module Blocklist {
   /**
    * @description Returns whether `account` is currently blocked.
    *
-   * @circuitInfo k=9, rows=305
+   * @constraints k=9, rows=303
    *
    * @param {Bytes<32>} account - The account to query.
    * @return {Boolean} - True if `account` is a member of the blocklist.
@@ -56,7 +56,7 @@ module Blocklist {
    * @description Asserts that `account` is not blocked. The composing contract
    * decides when this gate applies.
    *
-   * @circuitInfo k=9, rows=308
+   * @constraints k=9, rows=306
    *
    * Requirements:
    *
@@ -76,7 +76,7 @@ module Blocklist {
   /**
    * @description Adds `account` to the blocklist.
    *
-   * @circuitInfo k=9, rows=303
+   * @constraints k=9, rows=301
    *
    * @param {Bytes<32>} account - The account to block.
    * @return {[]} - Empty tuple.
@@ -88,7 +88,7 @@ module Blocklist {
   /**
    * @description Removes `account` from the blocklist.
    *
-   * @circuitInfo k=9, rows=303
+   * @constraints k=9, rows=301
    *
    * @param {Bytes<32>} account - The account to unblock.
    * @return {[]} - Empty tuple.

package/security/Initializable.compact

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
-// OpenZeppelin Compact Contracts v0.3.0-rc.1 (security/Initializable.compact)
+// OpenZeppelin Compact Contracts v0.4.0-alpha.2 (security/Initializable.compact)
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 /**
  * @module Initializable
@@ -26,12 +26,16 @@ pragma language_version >= 0.23.0;
 module Initializable {
   import CompactStandardLibrary;
 
+  /**
+   * @description Whether `initialize` has run. Guards against re-initialization
+   * and against use before initialization.
+   */
   export ledger _isInitialized: Boolean;
 
   /**
    * @description Initializes the state thus ensuring the calling circuit can only be called once.
    *
-   * @circuitInfo k=10, rows=38
+   * @constraints k=6, rows=28
    *
    * Requirements:
    *
@@ -47,7 +51,7 @@ module Initializable {
   /**
    * @description Asserts that the contract has been initialized, throwing an error if not.
    *
-   * @circuitInfo k=10, rows=31
+   * @constraints k=6, rows=25
    *
    * Requirements:
    *
@@ -62,7 +66,7 @@ module Initializable {
   /**
    * @description Asserts that the contract has not been initialized, throwing an error if it has.
    *
-   * @circuitInfo k=10, rows=35
+   * @constraints k=6, rows=28
    *
    * Requirements:
    *

package/security/Pausable.compact

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
-// OpenZeppelin Compact Contracts v0.3.0-rc.1 (security/Pausable.compact)
+// OpenZeppelin Compact Contracts v0.4.0-alpha.2 (security/Pausable.compact)
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 /**
  * @module Pausable
@@ -12,12 +12,16 @@ pragma language_version >= 0.23.0;
 module Pausable {
   import CompactStandardLibrary;
 
+  /**
+   * @description Whether the contract is paused. Consuming contracts gate
+   * state-changing circuits on it via `assertPaused` / `assertNotPaused`.
+   */
   export ledger _isPaused: Boolean;
 
   /**
    * @description Returns true if the contract is paused, and false otherwise.
    *
-   * @circuitInfo k=10, rows=32
+   * @constraints k=6, rows=24
    *
    * @return {Boolean} True if paused.
    */
@@ -28,7 +32,7 @@ module Pausable {
   /**
    * @description Makes a circuit only callable when the contract is paused.
    *
-   * @circuitInfo k=10, rows=31
+   * @constraints k=6, rows=25
    *
    * Requirements:
    *
@@ -43,7 +47,7 @@ module Pausable {
   /**
    * @description Makes a circuit only callable when the contract is not paused.
    *
-   * @circuitInfo k=10, rows=35
+   * @constraints k=6, rows=28
    *
    * Requirements:
    *
@@ -58,7 +62,7 @@ module Pausable {
   /**
    * @description Triggers a stopped state.
    *
-   * @circuitInfo k=10, rows=38
+   * @constraints k=6, rows=28
    *
    * Requirements:
    *
@@ -74,7 +78,7 @@ module Pausable {
   /**
    * @description Lifts the pause on the contract.
    *
-   * @circuitInfo k=10, rows=34
+   * @constraints k=6, rows=25
    *
    * Requirements:
    *