chaosma

Instruction ReadRAF Sumcheck — Memory + Residency Cheat Sheet

Stage 1 (log_K address rounds)

Large vectors allocated during ReadRafSumcheckProver::gen:

Object	Size driver	Lifetime	Residency
lookup_indices, lookup_indices_uninterleave	T packed keys / interleaved subsets	Needed until Stage‑2 start	GPU-only per shard once Stage‑2 materialization moves to GPU; host can drop them because ra never rematerializes on CPU
lookup_indices_identity	Up to T indices	Needed per phase and again in cache_openings (to sum RAF-flag EQs)	CPU master (required for final RAF flag) + GPU shard slices

chaosma

/* Each GPU corresponds to a chunk of cycles.
 if T = total_cycles, then following is for total cost
 if T = cycles_in_one_GPU, then following is for cost of one GPU.
 In the log_T rounds sumcheck, use split-sumchecker to deal with boundary across GPUs.

  | Function                 | Per-Round Complexity               | Max Memory                       |
  |--------------------------|------------------------------------|----------------------------------|
  | gen_prover_state         | O(T) (once)                        | O(6*T + L*suffix_per_table*M)    |
  | prover_msg_read_checking | O(L x suffix_per_table × M/2)      | O(L x suffix_per_table × M)      |
  | prover_msg_raf           | O(M)                               | O(3 × M)                         |

chaosma

/* Each GPU corresponds to a chunk of cycles. 
 if T = total_cycles, then following is for total cost
 if T = cycles_in_one_GPU, then following is for cost of one GPU.
 In the log_T rounds sumcheck, use split-sumchecker to deal with boundary across GPUs.
 
  | Function                 | Per-Round Complexity               | Max Memory                       |
  |--------------------------|------------------------------------|----------------------------------|
  | gen_prover_state         | O(T) (once)                        | O(6*T + L*suffix_per_table*M)    |
  | prover_msg_read_checking | O(L x suffix_per_table × M/2)      | O(L x suffix_per_table × M)      |
  | prover_msg_raf           | O(M)                               | O(3 × M)                         |

chaosma

Hey, I'm chaosma and I have contributed to the MACI Small v2 MPC Phase2 Trusted Setup ceremony.
The following are my contribution signatures:

Circuit # 1 (process_messages_small)
Contributor # 5
Contribution Hash: 72b7d026 5f03544f 340e5ba1 7b2573c4
		67bd4030 9326c86f e9461da0 b70cf4e5
		47d57c55 a90fdaaf cd84d113 751ca8be
		5705b010 a5afbd89 0b04e556 ce02f482

chaosma

Hey, I'm chaosma and I have contributed to the Dummy ceremony MPC Phase2 Trusted Setup ceremony.
The following are my contribution signatures:

Circuit # 1 (multiplier_2)
Contributor # 3
Contribution Hash: 3c30aea0 e7d1898a f1ed61c1 3f1f1390
		b27527df bbfc791e 7d52ba7a 5fd55ef7
		7c25a731 5904b68f b6b60c1f 68f8b9e4
		a972d37e 30131553 53a5582a c2d75235

chaosma

user www-data;
worker_processes auto;
pid /run/nginx.pid;
include /etc/nginx/modules-enabled/*.conf;

events {
	worker_connections 768;
	# multi_accept on;
}