Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-11-12 | refactor bit and stages: common stages type for both statges | Özgür Kesim | |
2024-11-12 | refactor: make Bit and Stage1 more composable | Özgür Kesim | |
2024-11-12 | refactor: commit and stage1 now incremental | Özgür Kesim | |
2024-11-11 | marked structure relations | Özgür Kesim | |
2024-11-11 | refactor progress: stage2 moved up | Özgür Kesim | |
2024-11-11 | refactoring in progress | Özgür Kesim | |
2024-11-11 | refactor struct names | Özgür Kesim | |
2024-11-10 | dashboard: api refactor | Özgür Kesim | |
2024-11-10 | refactor: slight renaming; added (empty) doc.go to nizk | Özgür Kesim | |
2024-11-10 | add simpler API to nizk stages | Özgür Kesim | |
2024-11-10 | make message a type; add test | Özgür Kesim | |
2024-11-10 | start refactor | Özgür Kesim | |
2024-11-08 | moving declarations around | Özgür Kesim | |
2024-04-09 | dashboard: Messages and Cancel implemented | Özgür Kesim | |
2024-04-09 | dashboard: started with inmemory dashboard, wip | Özgür Kesim | |
2024-04-09 | bidder: use ed25519 for bidderId and signatures | Özgür Kesim | |
2024-04-09 | seal: added verifier of descriptions | Özgür Kesim | |
2024-04-09 | curve: -minor refactor | Özgür Kesim | |
2024-04-09 | nizk: use Bytes interface for abstraction | Özgür Kesim | |
2024-04-07 | nizk, bidder: introduced schnorr-signatures as proof for commitments of ↵ | Özgür Kesim | |
A=G^a and B=G^b | |||
2024-04-07 | stage1: typography fixes | Özgür Kesim | |
2024-04-07 | schnorr: introduced schnorr signature for A=G^a | Özgür Kesim | |
2024-04-07 | bidder: refactor, less public structs | Özgür Kesim | |
2024-04-07 | auction: add Auction interface | Özgür Kesim | |
2024-04-07 | client->bidder | Özgür Kesim | |
2024-04-05 | client: 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-04 | harmonize variable names across packages | Özgür Kesim | |
2024-03-29 | stage2: proof and verification implemented and tested | Özgür Kesim | |
2024-03-29 | stage1: -slight reorg | Özgür Kesim | |
2024-03-29 | stage2: WiP, intro and proof not ready yet | Özgür Kesim | |
2024-03-28 | nizk/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-28 | nizk/commit: rename from stage1 to commit, proper term | Özgür Kesim | |
2024-03-28 | nizk/stage1: NIZK proofs for commit phase | Özgür Kesim | |
Implemented the NIZK for the B.a) Commit on page 4 | |||
2024-03-22 | commitment: first steps for SEAL | Özgür Kesim | |
2024-03-22 | no need for id in Proof | Özgür Kesim | |
2024-03-21 | veto, curve: slight refactor | Özgür Kesim | |
- Mult -> Mul - newVoteWithRand uses input rand io.Reader again. | |||
2024-03-21 | curve: simplify interface - no additive formulation | Özgür Kesim | |
2024-03-21 | veto: -shorten curve name | Özgür Kesim | |
2024-03-21 | veto, 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-20 | veto: added more comments | Özgür Kesim | |
2024-03-20 | veto: 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-20 | vote: 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-19 | vote: cleanup and renaming | Özgür Kesim | |
2024-03-19 | vote: 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-19 | direct dependency | Özgür Kesim | |
2024-03-19 | work on avnet startet | Özgür Kesim | |
2024-02-18 | initial commit | Özgür Kesim | |