Regen Ledger Documentation

Msg/Bridge

Credits can be bridged to another chain:

  • when a batch contract entry exists
  • the credits are cancelled and the owner balance is updated
  • the credits are cancelled and the total supply is updated
  • the bridge target is in the list of allowed bridge chains

The batch contract entry must exist

the batch contract entry exists

Given a credit batch exists with a batch contract entry

And the target is an allowed chain

And alice owns tradable credits from the credit batch

When alice attempts to bridge credits from the credit batch

Then expect no error.

the batch contract entry does not exist

Given a credit batch exists without a batch contract entry

And the target is an allowed chain

And alice owns tradable credits from the credit batch

When alice attempts to bridge credits from the credit batch

Then expect the error "only credits previously bridged from another chain are supported: invalid request".

The credits are cancelled and the owner balance is updated

the owner balance is updated

Given a credit batch exists with a batch contract entry

And the target is an allowed chain

And alice has the batch balance

{
  "retired_amount": "0",
  "tradable_amount": "10",
  "escrowed_amount": "0"
}

When alice attempts to bridge credit amount "10" from the credit batch

Then expect alice batch balance

{
  "retired_amount": "0",
  "tradable_amount": "0",
  "escrowed_amount": "0"
}

The credits are cancelled and the total supply is updated

the total supply is updated

Given a credit batch exists with a batch contract entry

And the target is an allowed chain

And alice owns tradable credit amount "10" from the credit batch

And the batch supply

{
  "retired_amount": "0",
  "tradable_amount": "10",
  "cancelled_amount": "0"
}

When alice attempts to bridge credit amount "10" from the credit batch

Then expect batch supply

{
  "retired_amount": "0",
  "tradable_amount": "0",
  "cancelled_amount": "10"
}

Event is emitted

EventBridge is emitted

Given a credit batch exists

And the target is an allowed chain

And batch has batch contract entry with contract address "0x6887246668a3b87f54deb3b94ba47a6f63f32985"

And alice has address "regen1depk54cuajgkzea6zpgkq36tnjwdzv4ak663u6"

And alice owns tradable credit amount "10" from the credit batch

And the batch supply

{
  "retired_amount": "0",
  "tradable_amount": "10",
  "cancelled_amount": "0"
}

When alice attempts to bridge credit amount "10" from the credit batch to "0x71C7656EC7ab88b098defB751B7401B5f6d8976F"

Then expect event with properties

{
  "target": "polygon",
  "recipient": "0x71C7656EC7ab88b098defB751B7401B5f6d8976F",
  "contract": "0x6887246668a3b87f54deb3b94ba47a6f63f32985",
  "amount": "10",
  "owner": "regen1depk54cuajgkzea6zpgkq36tnjwdzv4ak663u6",
  "batch_denom": "C01-001-20200101-20210101-001"
}

The target must be in the AllowedBridgeChain table

Background

Given the target "polygon" is an allowed bridge chain.

the bridge chain is allowed

Given a credit batch exists with a batch contract entry

And alice owns tradable credits from the credit batch

When alice attempts to bridge credits from the credit batch with target "polygon"

Then expect no error.

the bridge chain is not allowed

Given a credit batch exists with a batch contract entry

And alice owns tradable credits from the credit batch

When alice attempts to bridge credits from the credit batch with target "solana"

Then expect the error "solana is not an authorized bridge target: unauthorized".