aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2024-11-12refactor bit and stages: common stages type for both statgesÖzgür Kesim
2024-11-12refactor: make Bit and Stage1 more composableÖzgür Kesim
2024-11-12refactor: commit and stage1 now incrementalÖzgür Kesim
2024-11-11marked structure relationsÖzgür Kesim
2024-11-11refactor progress: stage2 moved upÖzgür Kesim
2024-11-11refactoring in progressÖzgür Kesim
2024-11-11refactor struct namesÖzgür Kesim
2024-11-10dashboard: api refactorÖzgür Kesim
2024-11-10refactor: slight renaming; added (empty) doc.go to nizkÖzgür Kesim
2024-11-10add simpler API to nizk stagesÖzgür Kesim
2024-11-10make message a type; add testÖzgür Kesim
2024-11-10start refactorÖzgür Kesim
2024-11-08moving declarations aroundÖzgür Kesim
2024-04-09dashboard: Messages and Cancel implementedÖzgür Kesim
2024-04-09dashboard: started with inmemory dashboard, wipÖzgür Kesim
2024-04-09bidder: use ed25519 for bidderId and signaturesÖzgür Kesim
2024-04-09seal: added verifier of descriptionsÖzgür Kesim
2024-04-09curve: -minor refactorÖzgür Kesim
2024-04-09nizk: use Bytes interface for abstractionÖzgür Kesim
2024-04-07nizk, bidder: introduced schnorr-signatures as proof for commitments of ↵Özgür Kesim
A=G^a and B=G^b
2024-04-07stage1: typography fixesÖzgür Kesim
2024-04-07schnorr: introduced schnorr signature for A=G^aÖzgür Kesim
2024-04-07bidder: refactor, less public structsÖzgür Kesim
2024-04-07auction: add Auction interfaceÖzgür Kesim
2024-04-07client->bidderÖzgür Kesim
2024-04-05client: started work on API for client, wipÖzgür Kesim
- auction defines description of an auction - client creates auction object, given a description - commitment/* merged into client
2024-04-04harmonize variable names across packagesÖzgür Kesim
2024-03-29stage2: proof and verification implemented and testedÖzgür Kesim
2024-03-29stage1: -slight reorgÖzgür Kesim
2024-03-29stage2: WiP, intro and proof not ready yetÖzgür Kesim
2024-03-28nizk/stage1: Implementation of proof and verificaiton for stage1Özgür Kesim
The proof and verification of statements according to Stage1 (page 4) is done.
2024-03-28nizk/commit: rename from stage1 to commit, proper termÖzgür Kesim
2024-03-28nizk/stage1: NIZK proofs for commit phaseÖzgür Kesim
Implemented the NIZK for the B.a) Commit on page 4
2024-03-22commitment: first steps for SEALÖzgür Kesim
2024-03-22no need for id in ProofÖzgür Kesim
2024-03-21veto, curve: slight refactorÖzgür Kesim
- Mult -> Mul - newVoteWithRand uses input rand io.Reader again.
2024-03-21curve: simplify interface - no additive formulationÖzgür Kesim
2024-03-21veto: -shorten curve nameÖzgür Kesim
2024-03-21veto, curve: Added an abstraction layer for elliptic curvesÖzgür Kesim
This will allow to easily swap various curves and implementations, for benchmarking, f.e.
2024-03-20veto: added more commentsÖzgür Kesim
2024-03-20veto: commitment(round1), round2 and veto check implementedÖzgür Kesim
The core elements to resemble the calculation of the AV-net protocol is ready, Votes generate Commitments, calculate the Proofs for the X's, R's, calculate the data for round2 and calculate the final vote, according to the paper.
2024-03-20vote: use a public key as identityÖzgür Kesim
A shortcoming in the design of AV-net and SEAL is that identities of participants are known to them _prior_ to the initial commitment/round 1. F.e. the NIZK proofs as proposed in the papers require the index of a participant as an input parameter to the hash function. We propose to use randomly generated public keys in the same curve as identifiers which can than be used to a) sort the identifiers b) sign commitments and round-data. This allows for a participant to provide their NIKZ proof right away with the commitment. The ordering of participants is implicitly given by the public keys, during the calculations in the rounds.
2024-03-19vote: cleanup and renamingÖzgür Kesim
2024-03-19vote: proof generation and verification addedÖzgür Kesim
Generation of a Commitment is implemented, together with the generation and verification of proofs, i.e. their Schnorr's signatures
2024-03-19direct dependencyÖzgür Kesim
2024-03-19work on avnet startetÖzgür Kesim
2024-02-18initial commitÖzgür Kesim