[BAZK] Onchain ceremony contracts

veigajoao commented 5 months ago

Build contracts to perform ceremony and save data on chain

[x] Add new add_ceremony_hash method to the contract
[x] Add get_ceremony_hashes to the contract
[x] Add is_last_hash to the contract
[x] Add get_ceremony_hashes_count to the contract
[x] Save last hash in the contract
[x] Get last hash from the contract, and continue the ceremony from there.
[x] Get last hash from the provided file and compare it with the last hash from the contract.
[x] Generate the id of the ceremony, when it is not continuing an already existing one.
[x] Create method add_ceremony_metadata in the contract, to add the metadata of the ceremony.
[x] Create method get_ceremony_metadata in the contract, to get the metadata of the ceremony.
[x] Add the metadata of the ceremony, such as the power, the batch, and the circuit data (constraints, private inputs, public inputs, wires).
[x] Add PINATA_API_KEY and PINATA_API_SECRET to .env
[x] Add add_ceremony_hashes (to add in batch)
[x] Add add_ceremony_metadatas (to add in batch)
[x] Replace add_ceremony_hash by add_ceremony_hashes in index.ts
[x] Replace add_ceremony_metadata by add_ceremony_metadatas in index.ts
[x] Add get_ceremony method to the contract
[x] Add timestamp on new_ceremony and remove power and batch
[x] Validate metadata to avoid adding the same key twice, and replace it instead of duplicating
[x] Move power and batch ceremony properties to metadata
[x] Add name, description and deadline to the ceremony.
[x] Add get_ceremony_deadline to the contract.
[x] Validate deadline when making a contribution.
[x] Need to pass power and bash in the metadata when phase 2 is created.
[x] Restrict the access to the contract method, so that only the enclave can call it.
[x] Provide pre-generated phase one outputs according to each power.
[x] Add total ceremonies in the method get_ceremony
[x] Add hashes and metadatas in the return of the method get_ceremony.
[x] Some transactions still fail randomly, we need to investigate (uncomment waitFinalized).
[x] Update Gramine files to reflect the lastest changes made
[x] Connecting to validator contract... Unexpected Response Status: 502
[x] Adapt the project structure to monorepo
[x] Error on uploading files to IPFS using curl

veigajoao commented 5 months ago

https://github.com/privacy-scaling-explorations/DefinitelySetup

davibauer commented 5 months ago

Storage Benchmark

Phase 1

*all contributions - means every single one of them has that size

Size: 10

Challenge: 385 KB (all contributions) Response: 193 KB (all contributions)

Size: 11

Challenge: 769 KB (all contributions) Response: 385 KB (all contributions)

Size: 12

Challenge: 1.5 MB (all contributions) Response: 769 KB (all contributions)

Size: 13

Challenge: 3 MB (all contributions) Response: 1.5 MB (all contributions)

Size: 14

Challenge: 6 MB (all contributions) Response: 3 MB (all contributions)

Phase 2

Circuit: Simple

nVars: 507 nOutputs: 253 nPubInputs: 0 nPrvInputs: 1 nLabels: 508 nConstraints: 506

Size: 10

Contribution 1: 224 KB Contribution 2: 224 KB Contribution 3: 225 KB Contribution 4: 225 KB