Hiro Docs

The and function in Clarity performs a logical AND operation on two or more boolean inputs. It's a fundamental logical operation used in many smart contract conditions and control flows.

Function Signature

(and b1 b2 ...)

Input: Two or more boolean values
Output: A single boolean value

Why it matters

The and function is crucial for:

Implementing complex conditional logic in smart contracts.
Combining multiple conditions that all need to be true.
Short-circuiting evaluations for efficiency.
Creating sophisticated access control mechanisms.

When to use it

Use the and function when you need to:

Check if multiple conditions are all true.
Implement multi-factor authentication or permissions.
Optimize condition checking by short-circuiting.
Combine the results of multiple comparison operations.

Best Practices

Leverage the short-circuiting behavior for efficiency.
Order conditions from most likely to fail to least likely for better performance.
Use parentheses to group complex logical expressions for clarity.
Consider breaking very complex and expressions into separate functions or variables for readability.

Practical Example: Multi-Signature Wallet

Let's implement a simple multi-signature wallet that uses the and function to check multiple conditions:

(define-data-var required-signatures uint u2)
(define-map signers principal bool)

(define-public (set-signer (signer principal) (is-signer bool))
  (begin
    (asserts! (is-eq tx-sender contract-owner) (err u1))
    (ok (map-set signers signer is-signer))))

(define-public (execute-transaction (recipient principal) (amount uint) (sig1 (buff 65)) (sig2 (buff 65)))
  (let
    (
      (tx-hash (sha256 (concat (serialize-principal recipient) (uint-to-buff amount))))
      (signer1 (unwrap! (recover-signature? tx-hash sig1) (err u2)))
      (signer2 (unwrap! (recover-signature? tx-hash sig2) (err u3)))
    )
    (asserts! 
      (and 
        (>= (var-get required-signatures) u2)
        (is-some (map-get? signers signer1))
        (is-some (map-get? signers signer2))
        (not (is-eq signer1 signer2))
      )
      (err u4))
    (try! (stx-transfer? amount tx-sender recipient))
    (ok true)))

This example demonstrates:

Using and to check multiple conditions for a multi-signature transaction.
Combining different types of checks (threshold, signer validity, uniqueness) in a single and expression.
Leveraging short-circuiting to avoid unnecessary computations if early conditions fail.

Common Pitfalls

Forgetting that and short-circuits, which might lead to unexpected behavior if side effects are intended in later conditions.
Over-complicating logical expressions, making them hard to read and maintain.
Not considering the order of conditions for optimal performance.

or: Used for logical OR operations.
not: Used to negate boolean values.
asserts!: Often used in combination with and for multiple condition checks.

The and function is a powerful tool for creating complex logical conditions in Clarity smart contracts. By understanding its short-circuiting behavior and using it effectively, developers can create efficient and sophisticated contract logic, especially for scenarios requiring multiple conditions to be true simultaneously.

and