Functions
None	check_batch (Context ctx, str batch_file, int batch_size)

Variables
	type

	required

	help

Function Documentation

◆ check_batch()

None zecale.cli.zecale_check_batch.check_batch	(	Context	ctx,
		str	batch_file,
		int	batch_size
	)

Exit with error if result is not 1 for any nested proof

Definition at line 18 of file zecale_check_batch.py.

 def check_batch(ctx: Context, batch_file: str, batch_size: int) -> None:
     """
     Exit with error if result is not 1 for any nested proof
     """
     cmd_ctx: CommandContext = ctx.obj
     aggregated_tx = load_aggregated_transaction(
         cmd_ctx.get_wrapper_snark(), batch_file)
     inputs = aggregated_tx.ext_proof.inputs
     results = int(inputs[1], 16)
     print(f"results={hex(results)}")
  
     expect_results = (1 << batch_size) - 1
     if expect_results != results:
         raise ClickException("at least one nested proof judged as invalid")

Here is the call graph for this function:

Variable Documentation

◆ help

zecale.cli.zecale_check_batch.help

Definition at line 16 of file zecale_check_batch.py.

◆ required

zecale.cli.zecale_check_batch.required

Definition at line 15 of file zecale_check_batch.py.

◆ type

zecale.cli.zecale_check_batch.type

Definition at line 14 of file zecale_check_batch.py.