Skip to content

Commit

Permalink
Migrated to o1js and shrink the type. Tests are not yet complete, ver…
Browse files Browse the repository at this point in the history
…sion is not stable.
  • Loading branch information
Yunus Gürlek authored and Yunus Gürlek committed Dec 16, 2023
1 parent 70e5f21 commit b334f82
Show file tree
Hide file tree
Showing 5 changed files with 304 additions and 385 deletions.
2 changes: 1 addition & 1 deletion src/Test.test.ts
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
import { Test } from './Test';
import { Bool, Mina, PrivateKey, PublicKey, AccountUpdate } from 'snarkyjs';
import { CircuitNumber } from './snarkyjs-math';
import { CircuitNumber } from './o1js-math';

let proofsEnabled = false;

Expand Down
2 changes: 1 addition & 1 deletion src/Test.ts
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ import {
import {
CircuitMath,
CircuitNumber
} from './snarkyjs-math.js';
} from './o1js-math.js';

export class Test extends SmartContract {
@state(CircuitNumber) number = State<CircuitNumber>();

Check failure on line 19 in src/Test.ts

View workflow job for this annotation

GitHub Actions / test

Argument of type 'typeof CircuitNumber' is not assignable to parameter of type 'FlexibleProvablePure<CircuitNumber>'.
Expand Down
2 changes: 1 addition & 1 deletion src/index.ts
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ import {
CircuitConstant,
CircuitNumber,
CircuitMath
} from './snarkyjs-math';
} from './o1js-math';

export {
CircuitConstant,
Expand Down
Loading

0 comments on commit b334f82

Please sign in to comment.