fix provable tests and asyncing code examples

examples/smart_contract/election/contract.ts

@@ -9,7 +9,7 @@ export class Election extends SmartContract {
   @state(Ballot) ballot3 = State<Ballot>();
   @state(Ballot) ballot4 = State<Ballot>();
 
-  init() {
+  async init() {
     super.init();
     this.ballot1.set(Ballot.fromBigInts([0n, 0n, 0n, 0n, 0n, 0n, 0n]));
     this.ballot2.set(Ballot.fromBigInts([0n, 0n, 0n, 0n, 0n, 0n, 0n]));
@@ -18,9 +18,9 @@ export class Election extends SmartContract {
   }
 
   @method
-  castBallot1(vote: Ballot) {
+  async castBallot1(vote: Ballot) {
     const unpackedVote = Ballot.unpack(vote.packed);
-    const ballot1 = this.ballot1.getAndAssertEquals();
+    const ballot1 = this.ballot1.getAndRequireEquals();
     const unpackedBallot1 = Ballot.unpack(ballot1.packed);
 
     let voteSum = UInt32.from(0);
@@ -33,9 +33,9 @@ export class Election extends SmartContract {
   }
 
   @method
-  castBallot2(vote: Ballot) {
+  async castBallot2(vote: Ballot) {
     const unpackedVote = Ballot.unpack(vote.packed);
-    const ballot2 = this.ballot2.getAndAssertEquals();
+    const ballot2 = this.ballot2.getAndRequireEquals();
     const unpackedBallot2 = Ballot.unpack(ballot2.packed);
 
     let voteSum = UInt32.from(0);
@@ -50,7 +50,7 @@ export class Election extends SmartContract {
   @method
   castBallot3(vote: Ballot) {
     const unpackedVote = Ballot.unpack(vote.packed);
-    const ballot3 = this.ballot3.getAndAssertEquals();
+    const ballot3 = this.ballot3.getAndRequireEquals();
     const unpackedBallot3 = Ballot.unpack(ballot3.packed);
 
     let voteSum = UInt32.from(0);
@@ -63,9 +63,9 @@ export class Election extends SmartContract {
   }
 
   @method
-  castBallot4(vote: Ballot) {
+  async castBallot4(vote: Ballot) {
     const unpackedVote = Ballot.unpack(vote.packed);
-    const ballot4 = this.ballot4.getAndAssertEquals();
+    const ballot4 = this.ballot4.getAndRequireEquals();
     const unpackedBallot4 = Ballot.unpack(ballot4.packed);
 
     let voteSum = UInt32.from(0);

examples/zk_program/age_gate/circuit.ts

@@ -1,11 +1,9 @@
 import {
   Field,
-  Experimental,
+  ZkProgram,
   UInt32,
   Provable,
-  Poseidon,
   SelfProof,
-  Character,
   Bool,
   Empty,
 } from 'o1js';
@@ -34,19 +32,20 @@ const isOlderThan = (reference: PackedString, toVerify: PackedString): Bool => {
   return ver.greaterThan(ref);
 };
 
-export const AgeGateCircuit = Experimental.ZkProgram({
+export const AgeGateCircuit = ZkProgram({
+  name: 'AgeGateCircuit',
   publicOutput: PackedCounters,
 
   methods: {
     init: {
       privateInputs: [],
-      method() {
+      async method() {
         return PackedCounters.fromBigInts([0n, 0n]);
       },
     },
     verifyAge: {
       privateInputs: [SelfProof, PackedString],
-      method(
+      async method(
         oldProof: SelfProof<Empty, PackedCounters>,
         dateToVerify: PackedString
       ) {
@@ -72,4 +71,4 @@ export const AgeGateCircuit = Experimental.ZkProgram({
   },
 });
 
-export const AgeGateCircuitProof = Experimental.ZkProgram.Proof(AgeGateCircuit);
+export const AgeGateCircuitProof = ZkProgram.Proof(AgeGateCircuit);

src/lib/PackingPlant.ts

@@ -1,12 +1,4 @@
-import {
-  Field,
-  Struct,
-  Poseidon,
-  provable,
-  InferProvable,
-  Provable,
-  ProvableExtended,
-} from 'o1js';
+import { Field, Struct, provable, InferProvable, Provable } from 'o1js';
 
 const MAX_BITS_PER_FIELD = 254n;
 

tests/provable/end_to_end.test.ts

@@ -4,7 +4,7 @@ import {
   TextInputProgram,
   TextInputProof,
 } from './example_packed_string_circuit';
-import { Character, Poseidon } from 'o1js';
+import { Character } from 'o1js';
 
 describe('End to End Votes Test', () => {
   const init = [0n, 0n];

tests/provable/example_packed_string_circuit.ts

@@ -1,11 +1,4 @@
-import {
-  ZkProgram,
-  SelfProof,
-  Character,
-  Poseidon,
-  Provable,
-  Field,
-} from 'o1js';
+import { ZkProgram, SelfProof, Character, Provable } from 'o1js';
 import { PackedStringFactory } from '../../src/lib/packed-types/PackedString';
 
 export class TextInput extends PackedStringFactory() {}
@@ -17,14 +10,14 @@ export const TextInputProgram = ZkProgram({
   methods: {
     init: {
       privateInputs: [],
-      method(state: TextInput) {
+      async method(state: TextInput) {
         const initState = TextInput.fromString('Mina Protocol');
         state.assertEquals(initState);
       },
     },
     changeFirstLetter: {
       privateInputs: [SelfProof, Provable.Array(Character, 31), Character],
-      method(
+      async method(
         newState: TextInput,
         oldProof: SelfProof<TextInput, TextInput>,
         oldCharacters: Array<Character>,

tests/provable/example_packed_uint_circuit.ts

@@ -10,14 +10,14 @@ export const VotesProgram = ZkProgram({
   methods: {
     init: {
       privateInputs: [],
-      method(state: Votes) {
+      async method(publicInput: Votes) {
         const initState = Votes.fromBigInts([0n, 0n]);
-        state.assertEquals(initState);
+        publicInput.assertEquals(initState);
       },
     },
     incrementIndex0: {
       privateInputs: [SelfProof],
-      method(newState: Votes, oldProof: SelfProof<Votes, Votes>) {
+      async method(newState: Votes, oldProof: SelfProof<Votes, Votes>) {
         oldProof.verify();
         const unpacked = Votes.unpack(oldProof.publicInput.packed);
         unpacked[0] = unpacked[0].add(1);
@@ -26,7 +26,7 @@ export const VotesProgram = ZkProgram({
     },
     incrementIndex1: {
       privateInputs: [SelfProof],
-      method(newState: Votes, oldProof: SelfProof<Votes, Votes>) {
+      async method(newState: Votes, oldProof: SelfProof<Votes, Votes>) {
         oldProof.verify();
         const unpacked = Votes.unpack(oldProof.publicInput.packed);
         unpacked[1] = unpacked[1].add(1);