1  k = 13;
 2  field = "pallas";
 3  
 4  constant "RlnSlash" {}
 5  
 6  witness "RlnSlash" {
 7  	Base secret_key,
 8  	MerklePath identity_path,
 9  	Uint32 identity_leaf_pos,
10  }
11  
12  circuit "RlnSlash" {
13  	identity_derivation_path = witness_base(11);
14  
15  	identity_commit = poseidon_hash(identity_derivation_path, secret_key);
16  	root = merkle_root(identity_leaf_pos, identity_path, identity_commit);
17  	constrain_instance(root);
18  }