Merge pull request #38 from algorandfoundation/feat/mimc

feat: add stub for v11 op code mimc

Author: boblat

package-lock.json

@@ -51,6 +51,7 @@
     "eslint-plugin-prettier": "^5.2.1",
     "npm-run-all": "4.1.5",
     "patch-package": "^8.0.0",
+    "polytype": "^0.17.0",
     "prettier": "3.3.3",
     "rimraf": "6.0.1",
     "rollup": "^4.24.0",
@@ -63,8 +64,8 @@
     "tslib": "^2.6.2"
   },
   "dependencies": {
-    "@algorandfoundation/algorand-typescript": "^1.0.0-beta.7",
-    "@algorandfoundation/puya-ts": "^1.0.0-beta.11",
+    "@algorandfoundation/algorand-typescript": "^1.0.0-beta.9",
+    "@algorandfoundation/puya-ts": "^1.0.0-beta.13",
     "elliptic": "^6.5.7",
     "js-sha256": "^0.11.0",
     "js-sha3": "^0.9.3",

package.json

@@ -1,4 +1,4 @@
-import { arc4, bytes, Bytes, Ecdsa, gtxn, internal, VrfVerify } from '@algorandfoundation/algorand-typescript'
+import { arc4, bytes, Bytes, Ecdsa, gtxn, internal, MimcConfigurations, VrfVerify } from '@algorandfoundation/algorand-typescript'
 import elliptic from 'elliptic'
 import js_sha256 from 'js-sha256'
 import js_sha3 from 'js-sha3'
@@ -143,6 +143,10 @@ export const EllipticCurve = new Proxy({} as internal.opTypes.EllipticCurveType,
   },
 })
 
+export const mimc = (_c: MimcConfigurations, _a: internal.primitives.StubBytesCompat): bytes => {
+  notImplementedError('mimc')
+}
+
 const curveMap = {
   [Ecdsa.Secp256k1]: 'secp256k1',
   [Ecdsa.Secp256r1]: 'p256',

src/impl/crypto.ts

@@ -2,7 +2,7 @@ import { getABIEncodedValue } from '@algorandfoundation/algokit-utils/types/app-
 import { Bytes, internal } from '@algorandfoundation/algorand-typescript'
 import { Bool, DynamicArray, interpretAsArc4, StaticArray, Str, Struct, Tuple, UintN } from '@algorandfoundation/algorand-typescript/arc4'
 import { encodingUtil } from '@algorandfoundation/puya-ts'
-import { describe, expect, it, test } from 'vitest'
+import { describe, expect, test } from 'vitest'
 import { AccountCls } from '../../src/impl/account'
 import { DeliberateAny } from '../../src/typescript-helpers'
 import { asBytes } from '../../src/util'
@@ -251,49 +251,6 @@ describe('arc4.Struct', async () => {
     compareARC4AndABIValue(result.d, nativeValues[i++])
     compareARC4AndABIValue(result.a, nativeValues[i++])
   })
-
-  it('set item in struct', async () => {
-    const data = testData[5]
-    const nativeValues = data.nativeValues() as DeliberateAny
-    nativeValues[0] = 43
-    nativeValues[2] = 'world'
-    nativeValues[3][0][1][0][1] = 'hello, world'
-    nativeValues[3][0][1][0].push('test')
-    nativeValues[3][1][1][0] = 24
-    const sdkResult = getABIEncodedValue(nativeValues, data.abiTypeString, {})
-
-    const abiValues = data.struct() as Swapped6
-    abiValues.b = new UintN<64>(43)
-    abiValues.d = new Str('world')
-    abiValues.a.at(0).at(1).at(0)[1] = new Str('hello, world')
-    abiValues.a.at(0).at(1).at(0).push(new Str('test'))
-    abiValues.a.at(1).at(1)[0] = new UintN<64>(24)
-    const result = abiValues.bytes
-
-    expect(result).toEqual(Bytes(sdkResult))
-  })
-
-  it('set item in struct created from bytes', async () => {
-    const data = testData[5]
-    const nativeValues = data.nativeValues() as DeliberateAny
-    nativeValues[0] = 43
-    nativeValues[2] = 'world'
-    nativeValues[3][0][1][0][1] = 'hello, world'
-    nativeValues[3][0][1][0].push('test')
-    nativeValues[3][1][1][0] = 24
-    const sdkResult = getABIEncodedValue(nativeValues, data.abiTypeString, {})
-
-    const bytes = Bytes(getABIEncodedValue(data.nativeValues(), data.abiTypeString, {}))
-    const abiValues = data.create(bytes) as Swapped6
-    abiValues.b = new UintN<64>(43)
-    abiValues.d = new Str('world')
-    abiValues.a.at(0).at(1).at(0)[1] = new Str('hello, world')
-    abiValues.a.at(0).at(1).at(0).push(new Str('test'))
-    abiValues.a.at(1).at(1)[0] = new UintN<64>(24)
-    const result = abiValues.bytes
-
-    expect(result).toEqual(Bytes(sdkResult))
-  })
 })
 
 const compareARC4AndABIValue = (arc4Value: DeliberateAny, nativeValue: DeliberateAny) => {

tests/arc4/struct.spec.ts

@@ -1,4 +1,14 @@
-import { arc4, bytes, Ecdsa, ensureBudget, op, OpUpFeeSource, uint64, VrfVerify } from '@algorandfoundation/algorand-typescript'
+import {
+  arc4,
+  bytes,
+  Ecdsa,
+  ensureBudget,
+  MimcConfigurations,
+  op,
+  OpUpFeeSource,
+  uint64,
+  VrfVerify,
+} from '@algorandfoundation/algorand-typescript'
 import { Bool } from '@algorandfoundation/algorand-typescript/arc4'
 
 export class CryptoOpsContract extends arc4.Contract {
@@ -91,4 +101,11 @@ export class CryptoOpsContract extends arc4.Contract {
     const result = op.vrfVerify(VrfVerify.VrfAlgorand, a, b, c)
     return result
   }
+
+  @arc4.abimethod()
+  public verify_mimc(a: bytes): bytes {
+    ensureBudget(5700, OpUpFeeSource.GroupCredit)
+    const result = op.mimc(MimcConfigurations.BN254Mp110, a)
+    return result
+  }
 }