jasonpaulos

PyTeal ABI Proof of State Demo

This is a demo of the AlgoBank PyTeal contract. This demo consists of two clients that deploy and interact with the AlgoBank PyTeal contract, one written with goal and one written with the Algorand Python SDK.

The files from this demo assume they are running in the directory from https://github.com/algorand/pyteal/tree/d8b65b7231a45d33e951b5d867864c868e0109cb/examples/application/abi

jasonpaulos

const path = require('path');
const fs = require('fs');
const execSync = require('child_process').execSync;
const tmp = require('tmp');
const sha512 = require('js-sha512');
const algosdk = require('algosdk');

function compileProgram(source) {
    const sourceFile = tmp.fileSync();
    const outputFile = tmp.fileSync();

jasonpaulos

import json
import os
from typing import Literal
from pyteal import *

pragma(compiler_version="0.20.1")

router = Router(
    name="ABITestContract",
    bare_calls=BareCallActions(no_op=OnCompleteAction.create_only(Approve())),

jasonpaulos

const MIN_BALANCE_PER_ACCOUNT = BigInt(100000);
const MIN_BALANCE_PER_ASSET = BigInt(100000);
const MIN_BALANCE_PER_APP = BigInt(100000);
const MIN_BALANCE_PER_APP_BYTESLICE = BigInt(25000+25000);
const MIN_BALANCE_PER_APP_UINT = BigInt(25000+3500);
const MIN_BALANCE_PER_APP_EXTRA_PAGE = BigInt(100000);

/**
 * Get the minimum balance of an account.
 * @param client - An Algodv2 client.

jasonpaulos

SDK ABI Interaction Design Doc

The Algorand ABI defines standards for smart contract interoperability. There are two main components to this:

1. Off-chain programs invoking on-chain contracts
2. On-chain contracts invoking other on-chain contract

The primary concern of our SDKs is 1, and this document aims to define how that happens.

jasonpaulos

from pyteal import *


@Subroutine(TealType.uint64)
def factorial_iterative(n):
    """Compute and return n! using loops

    n! = n * (n - 1) * (n - 2) * ... * 1
    """
    i = ScratchVar(TealType.uint64)

jasonpaulos

	// test compatibility with ethereum signatures
	t.Run("eth_compatibility", func(t *testing.T) {
		/*
			pip install eth-keys pycryptodome

			from eth_keys import keys

			pk = keys.PrivateKey(b"\xb2\\}\xb3\x1f\xee\xd9\x12''\xbf\t9\xdcv\x9a\x96VK-\xe4\xc4rm\x03[6\xec\xf1\xe5\xb3d")

			msg=b"hello from ethereum"

jasonpaulos

// TestRekeyActionCloseAccount ensures closing and reopening a rekeyed account in a single app call
// properly removes the app as an authorizer for the account
func TestRekeyActionCloseAccount(t *testing.T) {
	genBalances, addrs, _ := newTestGenesis()
	l := newTestLedger(t, genBalances)
	defer l.Close()

	appIndex := basics.AppIndex(1)
	create := txntest.Txn{
		Type:   "appl",

jasonpaulos

from pyteal import *

def approval_program():

    globalStatus = Global.storage[Bytes("status")]
    globalExample = Seq([
        If(globalStatus.exists(),
            Assert(globalStatus == Int(0)),
            globalStatus.set(Int(1))
        ),