execution

Documentation

Overview

Package execution composes untrusted map/list provers and mutation appliers. It produces portable MALT results but never decides whether a client should trust them; callers verify results through package malt and auth/verifier.

Index

• Variables
• type Executor
  • func NewExecutor(opts Options) (*Executor, error)
  • func (e *Executor) Apply(ctx context.Context, mut mutation.SemanticMutation) (mutation.WriteReceipt, error)
  • func (e *Executor) ProveMap(ctx context.Context, req malt.MapProofRequest) (malt.MapProofResult, error)
  • func (e *Executor) Read(ctx context.Context, req malt.ReadRequest) (malt.ReadResult, error)
  • func (e *Executor) Resolve(ctx context.Context, req malt.ResolveRequest) (malt.ResolveResult, error)
• type ListReader
• type MapReader
• type MeasuredListReader
• type MutationApplier
• type Options

Variables

var ErrCapabilityUnavailable = errors.New("MALT executor capability is unavailable")

Types

type Executor

type Executor struct {
	// contains filtered or unexported fields
}

Executor is an untrusted execution facade. Scope is backend placement state, not part of canonical queries or mutations.

func NewExecutor

func NewExecutor(opts Options) (*Executor, error)

func (*Executor) Apply

func (e *Executor) Apply(ctx context.Context, mut mutation.SemanticMutation) (mutation.WriteReceipt, error)

func (*Executor) ProveMap

func (e *Executor) ProveMap(ctx context.Context, req malt.MapProofRequest) (malt.MapProofResult, error)

ProveMap returns either a membership proof or an authenticated non-membership proof without changing Read's not-found behavior.

func (*Executor) Read

func (e *Executor) Read(ctx context.Context, req malt.ReadRequest) (malt.ReadResult, error)

func (*Executor) Resolve

func (e *Executor) Resolve(ctx context.Context, req malt.ResolveRequest) (malt.ResolveResult, error)

Resolve executes one canonical segment-path derivation. The returned result is untrusted until the caller applies malt.VerifyResolve.

type ListReader

type ListReader interface {
	Prove(context.Context, string, cid.Cid, uint64) (list.Query, structure.Proof, error)
}

type MapReader

type MapReader interface {
	Prove(context.Context, string, cid.Cid, arcset.Path) (mapping.Binding, structure.Proof, error)
}

type MeasuredListReader

type MeasuredListReader interface {
	ListReader
	ProveRange(context.Context, string, cid.Cid, uint64, *uint64) (list.RangeResult, structure.Proof, error)
}

type MutationApplier

type MutationApplier interface {
	Apply(context.Context, string, mutation.SemanticMutation) (mutation.WriteReceipt, error)
}

type Options

type Options struct {
	Scope    string
	Resolver malt.Resolver
	Maps     MapReader
	Lists    ListReader
	Writer   MutationApplier
}