@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
21 lines • 718 B
JavaScript
import { Struct } from 'o1js';
import { Sp1PlonkProof } from './proof.js';
import { Sp1PlonkFiatShamir } from './fiat-shamir/index.js';
import { StateUntilPairing } from './state.js';
// This is running accumulator that we pass through recursion
// Not all values are needed at each circuit but since Poseidon is cheap we take this approach for now
class Accumulator extends Struct({
proof: Sp1PlonkProof,
fs: Sp1PlonkFiatShamir,
state: StateUntilPairing,
}) {
deepClone() {
return new Accumulator({
proof: this.proof,
fs: this.fs.deepClone(),
state: this.state.deepClone(),
});
}
}
export { Accumulator };
//# sourceMappingURL=accumulator.js.map