functional authentication : NFT Token elastic group ? vs fixed group cpsnark primitive: group circuit/contract: signal wizard. verifier contract，hard code？template？