Functions
None	get (Context ctx, int scalar, str instance_file, Optional[int] check)

Variables
	type

	default

	help

	int

Function Documentation

◆ get()

None zecale.dummy_app.get.get	(	Context	ctx,
		int	scalar,
		str	instance_file,
		Optional[int]	check
	)

Query the deployed contract to find the value stored for a given scalar.
(These values are the parameters submitted along side the proof for the
given scalar.)

Definition at line 22 of file get.py.

 def get(
         ctx: Context,
         scalar: int,
         instance_file: str,
         check: Optional[int]) -> None:
     """
     Query the deployed contract to find the value stored for a given scalar.
     (These values are the parameters submitted along side the proof for the
     given scalar.)
     """
  
     eth_network = ctx.obj["eth_network"]
  
     # Load the contract instance
     with open(instance_file, "r") as instance_f:
         instance_desc = InstanceDescription.from_json_dict(json.load(instance_f))
  
     # Instantiate
     web3 = open_web3_from_network(eth_network)
     app_contract = instance_desc.instantiate(web3)
     result: int = app_contract.functions.get(scalar).call()
     print(f"{scalar}: {result}")
  
     if (check is not None) and (result != check):
         raise ClickException("state check failed")

Variable Documentation

◆ default

zecale.dummy_app.get.default

Definition at line 17 of file get.py.

◆ help

zecale.dummy_app.get.help

Definition at line 18 of file get.py.

◆ int

zecale.dummy_app.get.int

Definition at line 20 of file get.py.

◆ type

zecale.dummy_app.get.type

Definition at line 14 of file get.py.

Functions