求助：如何在电路中判断成员是否在团队里

[justice010]

问题描述

由于在 o1JS 的零知识电路中不能使用常规的 for 循环或 forEach，而且 includes 返回的是布尔类型，不能直接用于 assertTrue。我想知道在 o1JS 中，如何在零知识电路中检查某个 Field 是否在一个 Field[] 数组内？有没有合适的方法或思路可以解决这个问题？

代码示例

// VoteCounter.ts
...
// 团队成员列表
const teamMembers = [
  Field('0'),
  Field('1'),
  Field('2'),
  Field('3'),
  Field('4'),
];
...
let MyProgram = ZKProgram({
  methods: {
    voteCounter: {
      privateInputs: [Bool], // 私有输入，true为投赞成票，false为投反对票
      async method(teamMember: Field, vote: Bool) {
        // 检查 teamMember 是否在 teamMembers 内
        let isInTheTeam = Bool(false);

        // 无法在电路中使用for循环
        for (let i = 0; i < teamMembers.length; i++) {
          isInTheTeam = Provable.if(
            teamMember.equals(teamMembers[i]),
            Bool(true),
            isInTheTeam
          );
        }

        Provable.log('isInTheTeam: ', isInTheTeam);
        isInTheTeam.assertTrue('You are not in the team!');

        // 如果是团队成员，执行投票计数
        yesVotes = Provable.if(vote, yesVotes.add(1), yesVotes);
        noVotes = Provable.if(vote, noVotes.add(1), noVotes);
      },
    },
  },
});
...

额外说明

• 我目前还没有学习 MerkleTree，但打算稍后学习，所以希望先解决这个简单的检查问题。
• 如果有类似的解决方案或者建议，麻烦帮忙提供一些思路，谢谢各位。