semaphore:remove-member
Remove an identity commitment from a Semaphore group (the leaf becomes 0; the tree keeps its size). Computes the required Merkle siblings from the reconstructed member set — they go stale if the group changes before execution.
⚗️ Experimental — available at next.evmcrispr.com.
Smart blocks: build-time inputs only. A concrete identity and group are needed to reconstruct the Merkle proof.
Syntax
Section titled “Syntax”semaphore:remove-member <commitment> <from> <group>Arguments
Section titled “Arguments”| Name | Type | Evaluation | Description |
|---|---|---|---|
commitment | number | Build time | Identity commitment to remove |
from | command | Build time | Keyword from |
group | number | Build time | Group id |
- Removal sets the member's leaf to 0 — the tree keeps its size, and the member index stays occupied.
- The Merkle siblings are computed from the reconstructed member set at planning time; they go stale if the group changes before the transaction executes.