feat: add v11 acct params functions

Author: boblat

src/impl/account.ts

@@ -20,6 +20,9 @@ export class AssetHolding {
 export class AccountData {
   optedAssets = new Uint64Map<AssetHolding>()
   optedApplications = new Uint64Map<Application>()
+  incentiveEligible = false
+  lastProposed?: uint64
+  lastHeartbeat?: uint64
   account: Mutable<Omit<Account, 'bytes' | 'isOptedIn'>>
 
   constructor() {

src/impl/acct-params.ts

@@ -2,6 +2,7 @@ import { Account, Application, gtxn, internal, uint64 } from '@algorandfoundatio
 import { lazyContext } from '../context-helpers/internal-context'
 import { asMaybeUint64Cls } from '../util'
 import { getApp } from './app-params'
+import { Global } from './global'
 
 export const getAccount = (acct: Account | internal.primitives.StubUint64Compat): Account => {
   const acctId = asMaybeUint64Cls(acct)
@@ -84,14 +85,19 @@ export const AcctParams: internal.opTypes.AcctParamsType = {
     const acct = getAccount(a)
     return [acct.totalBoxBytes, acct.balance !== 0]
   },
-  // TODO: implement v11 methods
-  acctIncentiveEligible: function (_a: Account | uint64): readonly [boolean, boolean] {
-    throw new Error('Function not implemented.')
+  acctIncentiveEligible: function (a: Account | internal.primitives.StubUint64Compat): readonly [boolean, boolean] {
+    const acct = getAccount(a)
+    const accountData = lazyContext.ledger.accountDataMap.get(acct)
+    return [accountData?.incentiveEligible ?? false, acct.balance !== 0]
   },
-  acctLastProposed: function (_a: Account | uint64): readonly [uint64, boolean] {
-    throw new Error('Function not implemented.')
+  acctLastProposed: function (a: Account | internal.primitives.StubUint64Compat): readonly [uint64, boolean] {
+    const acct = getAccount(a)
+    const accountData = lazyContext.ledger.accountDataMap.get(acct)
+    return [accountData?.lastProposed ?? Global.round, acct.balance !== 0]
   },
-  acctLastHeartbeat: function (_a: Account | uint64): readonly [uint64, boolean] {
-    throw new Error('Function not implemented.')
+  acctLastHeartbeat: function (a: Account | internal.primitives.StubUint64Compat): readonly [uint64, boolean] {
+    const acct = getAccount(a)
+    const accountData = lazyContext.ledger.accountDataMap.get(acct)
+    return [accountData?.lastHeartbeat ?? Global.round, acct.balance !== 0]
   },
 }

src/impl/transactions.ts

@@ -117,6 +117,12 @@ export class KeyRegistrationTransaction extends TransactionBase implements gtxn.
     this.voteKeyDilution = fields.voteKeyDilution ?? Uint64(0)
     this.nonparticipation = fields.nonparticipation ?? false
     this.stateProofKey = fields.stateProofKey ?? Bytes()
+    const globalData = lazyContext.ledger.globalData
+    if (this.fee >= globalData.payoutsGoOnlineFee && globalData.payoutsEnabled) {
+      lazyContext.ledger.patchAccountData(this.sender, {
+        incentiveEligible: true,
+      })
+    }
   }
 
   readonly voteKey: bytes

src/subcontexts/ledger-context.ts

@@ -112,6 +112,18 @@ export class LedgerContext {
     }
   }
 
+  patchAccountData(account: Account, data: Partial<AccountData>) {
+    const accountData = this.accountDataMap.get(account) ?? new AccountData()
+    this.accountDataMap.set(account, {
+      ...accountData,
+      ...data,
+      account: {
+        ...accountData?.account,
+        ...data.account,
+      },
+    })
+  }
+
   setBlock(
     index: internal.primitives.StubUint64Compat,
     seed: internal.primitives.StubUint64Compat,

src/value-generators/avm.ts

@@ -9,6 +9,7 @@ import { asBigInt, asUint64Cls, getRandomBigInt, getRandomBytes } from '../util'
 
 type AccountContextData = Partial<AccountData['account']> & {
   address?: Account
+  incentiveEligible?: boolean
   optedAssetBalances?: Map<internal.primitives.StubUint64Compat, internal.primitives.StubUint64Compat>
   optedApplications?: Application[]
 }
@@ -56,7 +57,8 @@ export class AvmValueGenerator {
     }
 
     const data = new AccountData()
-    const { address, optedAssetBalances, optedApplications, ...accountData } = input ?? {}
+    const { address, optedAssetBalances, optedApplications, incentiveEligible, ...accountData } = input ?? {}
+    data.incentiveEligible = incentiveEligible ?? false
     data.account = {
       ...data.account,
       ...accountData,

tests/artifacts/state-ops/contract.algo.ts

@@ -137,6 +137,15 @@ export class StateAcctParamsGetContract extends arc4.Contract {
     assert(funded === funded_index, 'expected funded by index to match')
     return value
   }
+
+  @arc4.abimethod()
+  public verify_acct_incentive_eligible(a: Account): boolean {
+    const [value, funded] = op.AcctParams.acctIncentiveEligible(a)
+    const [value_index, funded_index] = op.AcctParams.acctIncentiveEligible(get_1st_ref_index())
+    assert(value === value_index, 'expected value by index to match')
+    assert(funded === funded_index, 'expected funded by index to match')
+    return value
+  }
 }
 
 export class StateAssetHoldingContract extends arc4.Contract {