Skip to content

Commit

Permalink
fix: add an actual challenge
Browse files Browse the repository at this point in the history
  • Loading branch information
@kobigurk
kobigurk committed Aug 5, 2022
1 parent 7a67789 commit 64e759c
Show file tree
Hide file tree
Showing 35 changed files with 68 additions and 185,051 deletions.
2 changes: 1 addition & 1 deletion build/contracts/@openzeppelin/contracts/access/Ownable.sol/Ownable.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion build/contracts/@openzeppelin/contracts/security/Pausable.sol/Pausable.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion build/contracts/@openzeppelin/contracts/token/ERC721/ERC721.sol/ERC721.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion build/contracts/@openzeppelin/contracts/token/ERC721/IERC721.sol/IERC721.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion ...ntracts/@openzeppelin/contracts/token/ERC721/IERC721Receiver.sol/IERC721Receiver.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion ...zeppelin/contracts/token/ERC721/extensions/ERC721URIStorage.sol/ERC721URIStorage.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion ...enzeppelin/contracts/token/ERC721/extensions/IERC721Metadata.sol/IERC721Metadata.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion build/contracts/@openzeppelin/contracts/utils/Address.sol/Address.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion build/contracts/@openzeppelin/contracts/utils/Context.sol/Context.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion build/contracts/@openzeppelin/contracts/utils/Counters.sol/Counters.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion build/contracts/@openzeppelin/contracts/utils/Strings.sol/Strings.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion build/contracts/@openzeppelin/contracts/utils/introspection/ERC165.sol/ERC165.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion build/contracts/@openzeppelin/contracts/utils/introspection/IERC165.sol/IERC165.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../../../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../../../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
184,965 changes: 0 additions & 184,965 deletions build/contracts/build-info/fc014fd7261a292a7b7f81fa987e8ad3.json
View file

This file was deleted.

2 changes: 1 addition & 1 deletion build/contracts/contracts/Puzzle.sol/Puzzle.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
8 changes: 4 additions & 4 deletions build/contracts/contracts/Puzzle.sol/Puzzle.json
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion build/contracts/contracts/Verifier.sol/Pairing.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
2 changes: 1 addition & 1 deletion build/contracts/contracts/Verifier.sol/Verifier.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
8 changes: 4 additions & 4 deletions build/contracts/contracts/Verifier.sol/Verifier.json
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion build/contracts/hardhat/console.sol/console.dbg.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"_format": "hh-sol-dbg-1",
"buildInfo": "../../build-info/fc014fd7261a292a7b7f81fa987e8ad3.json"
"buildInfo": "../../build-info/d6f2c949148958ce8d1cb9cd4f835886.json"
}
Binary file modified build/snark/circuit/circuit.wasm
View file
Binary file not shown.
Binary file modified build/snark/circuit/circuit_final.zkey
View file
Binary file not shown.
2 changes: 1 addition & 1 deletion build/snark/circuit/circuit_verification_key.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"protocol":"groth16","curve":"bn128","nPublic":2,"vk_alpha_1":["20491192805390485299153009773594534940189261866228447918068658471970481763042","9383485363053290200918347156157836566562967994039712273449902621266178545958","1"],"vk_beta_2":[["6375614351688725206403948262868962793625744043794305715222011528459656738731","4252822878758300859123897981450591353533073413197771768651442665752259397132"],["10505242626370262277552901082094356697409835680220590971873171140371331206856","21847035105528745403288232691147584728191162732299865338377159692350059136679"],["1","0"]],"vk_gamma_2":[["10857046999023057135944570762232829481370756359578518086990519993285655852781","11559732032986387107991004021392285783925812861821192530917403151452391805634"],["8495653923123431417604973247489272438418190587263600148770280649306958101930","4082367875863433681332203403145435568316851327593401208105741076214120093531"],["1","0"]],"vk_delta_2":[["7912208710313447447762395792098481825752520616755888860068004689933335666613","12599857379517512478445603412764121041984228075771497593287716170335433683702"],["21679208693936337484429571887537508926366191105267550375038502782696042114705","11502426145685875357967720478366491326865907869902181704031346886834786027007"],["1","0"]],"vk_alphabeta_12":[[["2029413683389138792403550203267699914886160938906632433982220835551125967885","21072700047562757817161031222997517981543347628379360635925549008442030252106"],["5940354580057074848093997050200682056184807770593307860589430076672439820312","12156638873931618554171829126792193045421052652279363021382169897324752428276"],["7898200236362823042373859371574133993780991612861777490112507062703164551277","7074218545237549455313236346927434013100842096812539264420499035217050630853"]],[["7077479683546002997211712695946002074877511277312570035766170199895071832130","10093483419865920389913245021038182291233451549023025229112148274109565435465"],["4595479056700221319381530156280926371456704509942304414423590385166031118820","19831328484489333784475432780421641293929726139240675179672856274388269393268"],["11934129596455521040620786944827826205713621633706285934057045369193958244500","8037395052364110730298837004334506829870972346962140206007064471173334027475"]]],"IC":[["2389439405195258690289909658280470845023400709866947251899301137489055824238","16877117513734389620116641351942763119746236368036697180612124466702225353802","1"],["21126805652074764040052300235419202795682248108331321588512433844780231854976","8563141737561948886910803428712466832843704917724784711866327561784271537190","1"],["19346635260615308214408713274507946513587809286585237108346781910851479851226","5488440785079568670869272527731852887427344495978501510734090265496197396747","1"]]}
{"protocol":"groth16","curve":"bn128","nPublic":1,"vk_alpha_1":["20491192805390485299153009773594534940189261866228447918068658471970481763042","9383485363053290200918347156157836566562967994039712273449902621266178545958","1"],"vk_beta_2":[["6375614351688725206403948262868962793625744043794305715222011528459656738731","4252822878758300859123897981450591353533073413197771768651442665752259397132"],["10505242626370262277552901082094356697409835680220590971873171140371331206856","21847035105528745403288232691147584728191162732299865338377159692350059136679"],["1","0"]],"vk_gamma_2":[["10857046999023057135944570762232829481370756359578518086990519993285655852781","11559732032986387107991004021392285783925812861821192530917403151452391805634"],["8495653923123431417604973247489272438418190587263600148770280649306958101930","4082367875863433681332203403145435568316851327593401208105741076214120093531"],["1","0"]],"vk_delta_2":[["7912208710313447447762395792098481825752520616755888860068004689933335666613","12599857379517512478445603412764121041984228075771497593287716170335433683702"],["21679208693936337484429571887537508926366191105267550375038502782696042114705","11502426145685875357967720478366491326865907869902181704031346886834786027007"],["1","0"]],"vk_alphabeta_12":[[["2029413683389138792403550203267699914886160938906632433982220835551125967885","21072700047562757817161031222997517981543347628379360635925549008442030252106"],["5940354580057074848093997050200682056184807770593307860589430076672439820312","12156638873931618554171829126792193045421052652279363021382169897324752428276"],["7898200236362823042373859371574133993780991612861777490112507062703164551277","7074218545237549455313236346927434013100842096812539264420499035217050630853"]],[["7077479683546002997211712695946002074877511277312570035766170199895071832130","10093483419865920389913245021038182291233451549023025229112148274109565435465"],["4595479056700221319381530156280926371456704509942304414423590385166031118820","19831328484489333784475432780421641293929726139240675179672856274388269393268"],["11934129596455521040620786944827826205713621633706285934057045369193958244500","8037395052364110730298837004334506829870972346962140206007064471173334027475"]]],"IC":[["7939646427435313275674606050481033520858174308662984383866534038182445228260","16447887016929030648668510941259053918121710383039614801052653744103275676945","1"],["5743489099191728285113819936811211766343689300260789831199085715709505474874","17509766565000264508242220371475836423427142317584180906970652935520780313728","1"]]}
14 changes: 7 additions & 7 deletions build/typechain/Puzzle.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ export interface PuzzleInterface extends utils.Interface {
"transferFrom(address,address,uint256)": FunctionFragment;
"transferOwnership(address)": FunctionFragment;
"unpause()": FunctionFragment;
"verifyProof(uint256[2],uint256[2][2],uint256[2],uint256[2])": FunctionFragment;
"verifyProof(uint256[2],uint256[2][2],uint256[2],uint256[1])": FunctionFragment;
"withdraw()": FunctionFragment;
};

Expand Down Expand Up @@ -118,7 +118,7 @@ export interface PuzzleInterface extends utils.Interface {
[BigNumberish, BigNumberish],
[[BigNumberish, BigNumberish], [BigNumberish, BigNumberish]],
[BigNumberish, BigNumberish],
[BigNumberish, BigNumberish]
[BigNumberish]
]
): string;
encodeFunctionData(functionFragment: "withdraw", values?: undefined): string;
Expand Down Expand Up @@ -389,7 +389,7 @@ export interface Puzzle extends BaseContract {
a: [BigNumberish, BigNumberish],
b: [[BigNumberish, BigNumberish], [BigNumberish, BigNumberish]],
c: [BigNumberish, BigNumberish],
input: [BigNumberish, BigNumberish],
input: [BigNumberish],
overrides?: CallOverrides
): Promise<[boolean] & { r: boolean }>;

Expand Down Expand Up @@ -502,7 +502,7 @@ export interface Puzzle extends BaseContract {
a: [BigNumberish, BigNumberish],
b: [[BigNumberish, BigNumberish], [BigNumberish, BigNumberish]],
c: [BigNumberish, BigNumberish],
input: [BigNumberish, BigNumberish],
input: [BigNumberish],
overrides?: CallOverrides
): Promise<boolean>;

Expand Down Expand Up @@ -603,7 +603,7 @@ export interface Puzzle extends BaseContract {
a: [BigNumberish, BigNumberish],
b: [[BigNumberish, BigNumberish], [BigNumberish, BigNumberish]],
c: [BigNumberish, BigNumberish],
input: [BigNumberish, BigNumberish],
input: [BigNumberish],
overrides?: CallOverrides
): Promise<boolean>;

Expand Down Expand Up @@ -783,7 +783,7 @@ export interface Puzzle extends BaseContract {
a: [BigNumberish, BigNumberish],
b: [[BigNumberish, BigNumberish], [BigNumberish, BigNumberish]],
c: [BigNumberish, BigNumberish],
input: [BigNumberish, BigNumberish],
input: [BigNumberish],
overrides?: CallOverrides
): Promise<BigNumber>;

Expand Down Expand Up @@ -906,7 +906,7 @@ export interface Puzzle extends BaseContract {
a: [BigNumberish, BigNumberish],
b: [[BigNumberish, BigNumberish], [BigNumberish, BigNumberish]],
c: [BigNumberish, BigNumberish],
input: [BigNumberish, BigNumberish],
input: [BigNumberish],
overrides?: CallOverrides
): Promise<PopulatedTransaction>;

Expand Down
14 changes: 7 additions & 7 deletions build/typechain/Verifier.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ import { TypedEventFilter, TypedEvent, TypedListener, OnEvent } from "./common";
export interface VerifierInterface extends utils.Interface {
contractName: "Verifier";
functions: {
"verifyProof(uint256[2],uint256[2][2],uint256[2],uint256[2])": FunctionFragment;
"verifyProof(uint256[2],uint256[2][2],uint256[2],uint256[1])": FunctionFragment;
};

encodeFunctionData(
Expand All @@ -27,7 +27,7 @@ export interface VerifierInterface extends utils.Interface {
[BigNumberish, BigNumberish],
[[BigNumberish, BigNumberish], [BigNumberish, BigNumberish]],
[BigNumberish, BigNumberish],
[BigNumberish, BigNumberish]
[BigNumberish]
]
): string;

Expand Down Expand Up @@ -71,7 +71,7 @@ export interface Verifier extends BaseContract {
a: [BigNumberish, BigNumberish],
b: [[BigNumberish, BigNumberish], [BigNumberish, BigNumberish]],
c: [BigNumberish, BigNumberish],
input: [BigNumberish, BigNumberish],
input: [BigNumberish],
overrides?: CallOverrides
): Promise<[boolean] & { r: boolean }>;
};
Expand All @@ -80,7 +80,7 @@ export interface Verifier extends BaseContract {
a: [BigNumberish, BigNumberish],
b: [[BigNumberish, BigNumberish], [BigNumberish, BigNumberish]],
c: [BigNumberish, BigNumberish],
input: [BigNumberish, BigNumberish],
input: [BigNumberish],
overrides?: CallOverrides
): Promise<boolean>;

Expand All @@ -89,7 +89,7 @@ export interface Verifier extends BaseContract {
a: [BigNumberish, BigNumberish],
b: [[BigNumberish, BigNumberish], [BigNumberish, BigNumberish]],
c: [BigNumberish, BigNumberish],
input: [BigNumberish, BigNumberish],
input: [BigNumberish],
overrides?: CallOverrides
): Promise<boolean>;
};
Expand All @@ -101,7 +101,7 @@ export interface Verifier extends BaseContract {
a: [BigNumberish, BigNumberish],
b: [[BigNumberish, BigNumberish], [BigNumberish, BigNumberish]],
c: [BigNumberish, BigNumberish],
input: [BigNumberish, BigNumberish],
input: [BigNumberish],
overrides?: CallOverrides
): Promise<BigNumber>;
};
Expand All @@ -111,7 +111,7 @@ export interface Verifier extends BaseContract {
a: [BigNumberish, BigNumberish],
b: [[BigNumberish, BigNumberish], [BigNumberish, BigNumberish]],
c: [BigNumberish, BigNumberish],
input: [BigNumberish, BigNumberish],
input: [BigNumberish],
overrides?: CallOverrides
): Promise<PopulatedTransaction>;
};
Expand Down
6 changes: 3 additions & 3 deletions build/typechain/factories/Puzzle__factory.ts
View file

Large diffs are not rendered by default.

Loading

0 comments on commit 64e759c

Please sign in to comment.