求助，如何获取preProof的内容

[fulinpeng]

class ProgramState extends Struct({
    treeRoot: Field,
    approvalNum?: Field,
    rejectedNum?: Field,
}) { }

let VoteProgram = ZkProgram({
    name: 'vote-system',
    // publicInput: Field,
    publicOutput: ProgramState,

    methods: {
        baseCase: {
            privateInputs: [Field, Field, Field],
            async method(treeRoot: Field, approvalNum: Field, rejectedNum: Field) {
                approvalNum.assertEquals(Field(0));
                rejectedNum.assertEquals(Field(0));
                return new ProgramState({
                    treeRoot,
                    approvalNum,
                    rejectedNum,
                });
            },
        },
        voteApprovalCase: {
            privateInputs: [MerkleTreeWitness, Field, Field, SelfProof],
            async method(path: MerkleTreeWitness, account: Field, approvalNum: Field, preProof: SelfProof<Field, void>) {
                const jsonProof = preProof.toJSON(); // 此行代码编译不通过
                const [treeRoot, preApprovalNum, preRejectedNum] = jsonProof.publicOutput;
                path.calculateRoot(Poseidon.hash([account])).assertEquals(treeRoot);
                approvalNum.assertEquals(Field(preApprovalNum));
                return new ProgramState({
                    treeRoot: Field(treeRoot),
                    approvalNum: approvalNum,
                    rejectedNum: Field(preRejectedNum),
                });
            },
        },
        voteRejectedCase: {
           // ...
        },
    },
});

问题：

1. 我的思路是否符合DSL思维
2. 如何获取publicOutput的复杂数据（代替以下代码的功能）

const jsonProof = preProof.toJSON(); 
const [treeRoot, preApprovalNum, preRejectedNum] = jsonProof.publicOutput;

[zilong-dai]

电路中好像用不了 toJSON.

[zilong-dai]

你转成 json 是想把 publicinput, publicoutput 打印出来吗? 可以用 Field.toBigInt 打印 Field 的值