Skip to content

Commit

Permalink
chore: move SHA3.ts into 'api/sha' module
Browse files Browse the repository at this point in the history
  • Loading branch information
iluxonchik committed Dec 31, 2023
1 parent d6cb8c0 commit 5cd7430
Show file tree
Hide file tree
Showing 6 changed files with 5 additions and 5 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import { IO1JSProof } from "./Types";
import type { ZKGeoPoint } from "../models/ZKGeoPoint";
import { MetadataGeoPointCommitment } from "../../model/public/Commitment";
import { ExactGeolocationMetadataCircuitProof } from "../../zkprogram/public/Metadata";
import { SHA3_512 } from "../../model/public/SHA3";
import { SHA3_512 } from "../sha3/SHA3";

/**
* Abstraction over the Zero-Knowledge proof of an exact GeoPoint with associated metadata.
Expand Down
2 changes: 1 addition & 1 deletion contracts/src/api/provers/ZKGeoPointProver.ts
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ import { ExactGeoPointCircuit, ExactGeoPointCircuitProof } from "../../zkprogram
import { ZKGeoPointProviderCircuitProof } from "../proofs/ZKGeoPointProviderCircuitProof";
import { ZKExactGeolocationMetadataCircuitProof } from "../proofs/ZKExactGeolocationMetadataCircuitProof";
import { ExactGeolocationMetadataCircuit, ExactGeolocationMetadataCircuitProof } from "../../zkprogram/public/Metadata";
import { Bytes64, SHA3_512 } from "../../model/public/SHA3";
import { Bytes64, SHA3_512 } from "../sha3/SHA3";

export type ZKGeoPointConstructor = new (...args: any[]) => ZKGeoPoint;

Expand Down
File renamed without changes.
2 changes: 1 addition & 1 deletion contracts/src/logic/public/ExactGeoPoint.ts
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ import { Field, Poseidon } from "o1js";
import { GeoPoint } from "../../model/Geography";
import { GeoPointCommitment, MetadataGeoPointCommitment } from "../../model/public/Commitment";
import { GeoPointProviderCircuitProof } from "../../zkprogram/private/Geography";
import { Bytes64, SHA3_512 } from "../../model/public/SHA3";
import { Bytes64, SHA3_512 } from "../../api/sha3/SHA3";


/*
Expand Down
2 changes: 1 addition & 1 deletion contracts/src/tests/SHA3_512.test.ts
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
import { SHA3_512 } from "../model/public/SHA3";
import { SHA3_512 } from "../api/sha3/SHA3";

describe('SHA3_512 Class Tests', () => {
// Test for initialization and correct hashing
Expand Down
2 changes: 1 addition & 1 deletion contracts/src/zkprogram/public/Metadata.ts
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ import { ZkProgram } from "o1js";
import { MetadataGeoPointCommitment } from "../../model/public/Commitment";
import { GeoPointProviderCircuitProof } from "../private/Geography";
import { attachMetadataToGeoPoint} from "../../logic/public/ExactGeoPoint";
import { SHA3_512 } from "../../model/public/SHA3";
import { SHA3_512 } from "../../api/sha3/SHA3";

// TODO | IMPORTANT //
// Add a method to ExactGeolocationMetadataCircuit that takes two recursive proofs as inputs:
Expand Down

0 comments on commit 5cd7430

Please sign in to comment.