pulsar-contracts/build/src/ValidateReduce.js

var _a;
import { Field, Poseidon, Provable, Struct, ZkProgram } from 'o1js';
import { VALIDATOR_NUMBER } from './utils/constants.js';
import { SignaturePublicKeyList } from './types/signaturePubKeyList.js';
import { List } from './types/common.js';
export { ValidateReduceProof, ValidateReduceProgram, ValidateReducePublicInput, };
class ValidateReducePublicInput extends Struct({
    stateRoot: Field,
    merkleListRoot: Field,
    blockHeight: Field,
    depositListHash: Field,
    withdrawalListHash: Field,
    rewardListHash: Field,
}) {
    hash() {
        return Poseidon.hash([
            this.stateRoot,
            this.merkleListRoot,
            this.blockHeight,
            this.depositListHash,
            this.withdrawalListHash,
            this.rewardListHash,
        ]);
    }
    toJSON() {
        return {
            stateRoot: this.stateRoot.toString(),
            merkleListRoot: this.merkleListRoot.toString(),
            blockHeight: this.blockHeight.toString(),
            depositListHash: this.depositListHash.toString(),
            withdrawalListHash: this.withdrawalListHash.toString(),
            rewardListHash: this.rewardListHash.toString(),
        };
    }
}
_a = ValidateReducePublicInput;
ValidateReducePublicInput.default = new _a({
    stateRoot: Field(0),
    merkleListRoot: Field(0),
    blockHeight: Field(0),
    depositListHash: Field(0),
    withdrawalListHash: Field(0),
    rewardListHash: Field(0),
});
const ValidateReduceProgram = ZkProgram({
    name: 'ValidateReduce',
    publicInput: ValidateReducePublicInput,
    publicOutput: undefined,
    methods: {
        verifySignatures: {
            privateInputs: [SignaturePublicKeyList],
            async method(publicInputs, signaturePublicKeyList) {
                let counter = Field.from(0);
                let list = List.empty();
                const signatureMessage = publicInputs.hash().toFields();
                Provable.asProver(() => {
                    console.log(publicInputs.toJSON());
                    console.log(signatureMessage.toString());
                });
                for (let i = 0; i < VALIDATOR_NUMBER; i++) {
                    const { signature, publicKey } = signaturePublicKeyList.list[i];
                    const isValid = signature.verify(publicKey, signatureMessage);
                    counter = Provable.if(isValid, counter.add(1), counter);
                    list.push(Poseidon.hash(publicKey.toFields()));
                }
                list.hash.assertEquals(publicInputs.merkleListRoot, "Validator MerkleList hash doesn't match");
                counter.assertGreaterThanOrEqual(
                // Field.from((VALIDATOR_NUMBER * 2) / 3),
                Field.from(1), 'Not enough valid signatures');
            },
        },
    },
});
class ValidateReduceProof extends ZkProgram.Proof(ValidateReduceProgram) {
}
//# sourceMappingURL=ValidateReduce.js.map