logos-storage/plonky2-verifier
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2-verifier.git synced 2026-01-07 16:23:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

move source code into an src subdirectory

Browse Source
This commit is contained in:
Balazs Komuves 2024-12-13 20:20:43 +01:00
parent 1823fd462a
commit 1d513debb9
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562
15 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
Challenge/FRI.hs → src/Challenge/FRI.hs
View File

0
Challenge/Monad.hs → src/Challenge/Monad.hs
View File

0
Challenge/Pure.hs → src/Challenge/Pure.hs
View File

0
Challenge/Verifier.hs → src/Challenge/Verifier.hs
View File

0
Constants.hs → src/Constants.hs
View File

0
Digest.hs → src/Digest.hs
View File

0
Gate/Base.hs → src/Gate/Base.hs
View File

0
Gate/Constraints.hs → src/Gate/Constraints.hs
View File

0
Gate/Parser.hs → src/Gate/Parser.hs
View File

0
Goldilocks.hs → src/Goldilocks.hs
View File

0
GoldilocksExt.hs → src/GoldilocksExt.hs
View File

0
Hash.hs → src/Hash.hs
View File

0
Poseidon.hs → src/Poseidon.hs
View File

0
Types.hs → src/Types.hs
View File

8
testmain.hs → src/testmain.hs
View File

@ -21,14 +21,14 @@ main = do
-- let prefix = "recursion_outer" -- let prefix = "recursion_outer"
let prefix = "lookup" let prefix = "lookup"
text_common <- L.readFile ("json/" ++ prefix ++ "_common.json") text_common <- L.readFile ("../json/" ++ prefix ++ "_common.json")
text_vkey <- L.readFile ("json/" ++ prefix ++ "_vkey.json" ) text_vkey <- L.readFile ("../json/" ++ prefix ++ "_vkey.json" )
text_proof <- L.readFile ("json/" ++ prefix ++ "_proof.json" ) text_proof <- L.readFile ("../json/" ++ prefix ++ "_proof.json" )
let Just common_data = decode text_common :: Maybe CommonCircuitData let Just common_data = decode text_common :: Maybe CommonCircuitData
let Just verifier_data = decode text_vkey :: Maybe VerifierOnlyCircuitData let Just verifier_data = decode text_vkey :: Maybe VerifierOnlyCircuitData
let Just proof_data = decode text_proof :: Maybe ProofWithPublicInputs let Just proof_data = decode text_proof :: Maybe ProofWithPublicInputs
let challenges = proofChallenges common_data verifier_data proof_data let challenges = proofChallenges common_data verifier_data proof_data
print challenges print challenges