Transaction

view source: Transaction.lagda.md

Transaction structures for the Anoma Resource Machine.

{-# OPTIONS --without-K --type-in-type #-}

module Goose.Anoma.Transaction where

open import Foundation.BasicTypes
open import Goose.Anoma.Action
open import Goose.Anoma.Delta

Transaction Structure

record Transaction : Set where
  field
    actions : List Action
    deltaProof : DeltaProof

open Transaction public

Generate Delta Proof

generateDeltaProof : DeltaWitness → List Action → DeltaProof
generateDeltaProof witness actions =
  "DeltaProof for a transaction with " ++ˢ nat-to-string (length actions) ++ˢ " actions and signing key " ++ˢ witness .signingKey

Note: Placeholder implementation for delta proof generation.

Module References

Referenced By

This module is referenced by:

• Goose.Anoma.Program
  • Symbols: Transaction

References

This module references:

• Foundation.BasicTypes
  • Imports: List, length
• Goose.Anoma.Action
  • Imports: Action
• Goose.Anoma.Delta
  • Imports: DeltaProof, DeltaWitness