Python transaction_benchmark_ctx Exemples

Exemple #1

Fichier : scenario.py Projet : eth-sri/zkay

#!/usr/bin/env python3
import sys
from zkay.zkay_frontend import transaction_benchmark_ctx

# Scenario
with transaction_benchmark_ctx(sys.argv[1], log_filename=sys.argv[2]) as g:
	owner_addr, other_addr = g.create_dummy_accounts(2)

	owner = g.deploy(user=owner_addr)
	other = g.connect(owner.address, user=other_addr)

	owner.set_entry(0, 2)
	owner.set_entry(1, 3)
	owner.set_entry(2, 9)
	other.compute(6, 3, 0)

Exemple #2

#!/usr/bin/env python3
import sys
from zkay.zkay_frontend import transaction_benchmark_ctx

# Scenario
with transaction_benchmark_ctx(sys.argv[1]) as g:
	insurance_addr, police_addr, client_addr = g.create_dummy_accounts(3)

	insurance = g.deploy(police_addr, user=insurance_addr)
	police = g.connect(insurance.address, user=police_addr)
	client = g.connect(insurance.address, user=client_addr)

	client.register()
	client.insure_item(1000, 10)
	client.insure_item(2000, 20)
	client.retract_item(0)
	insurance.accept_item(client_addr, 1)
	police.set_stolen(client_addr, 1, True)
	police.set_broken(client_addr, 1, False)
	client.get_refund(1)