The proposed idea is to develop a toolkit called zk-auctions (which stands for
@@ -486,7 +486,7 @@
A zero-knowledge-proof-based contract library for First-Bid, Second-Bid, @@ -509,8 +509,8 @@
The output of the project will be a Rust-based toolkit that simulates a @@ -565,8 +565,8 @@
The backend will be developed using Rust programming language for the following @@ -583,12 +583,12 @@
base64 --decode <<< "bmRyd25hZ3VpYkBnbWFpbC5jb20=")https://github.com/ndrwnaguib/zk-auctions @@ -620,16 +620,16 @@
@@ -662,7 +662,7 @@
@@ -720,7 +720,7 @@
3.2.1.1. Verification of Comparison Proofs
+- Verification of Comparison Proofs
@@ -730,7 +730,7 @@
3.2.1.1. Finalizing the auction
+- Finalizing the auction
@@ -743,7 +743,7 @@
3.2.1.1. Gas Cost
+- Gas Cost
@@ -757,7 +757,7 @@
3.2.1.1. \(\star\) In (Zhang, Zijian and Lu, Xin and Li, Meng and An, Jincheng and Yu, Yang and Yin, Hao and Zhu, Liehuang and Liu, Yong and Liu, Jiamou and Khoussainov, Bakh, 2024),
+- \(\star\) In (Zhang, Zijian and Lu, Xin and Li, Meng and An, Jincheng and Yu, Yang and Yin, Hao and Zhu, Liehuang and Liu, Yong and Liu, Jiamou and Khoussainov, Bakh, 2024),
@@ -818,7 +818,7 @@
3.2.1.1. \(\star\) In (Blass, Erik-Oliver and Kerschbaum, Florian, 2018), the authors propose a maliciously-secure
+- \(\star\) In (Blass, Erik-Oliver and Kerschbaum, Florian, 2018), the authors propose a maliciously-secure
blockchain-based auction where all encrypted bids are compared @@ -899,7 +899,7 @@
3.2.1.1. Questions
+- Questions
(some of which will possibly be answered in later phases of the project) @@ -921,8 +921,8 @@
3.2.1.1. -
3.2.1.2. TODO Milestone 1: Development environment setup
++3.2.1.2. TODO Milestone 1: Development environment setup
@@ -938,21 +938,22 @@
3.2.1.2. -
3.2.2. TODO Milestone 1: (Sprint 2)
++3.2.2. TODO Milestone 1: (Sprint 2)
-
-3.2.2.1. TODO Milestone 1: (Sprint 2): Technical specification
++-3.2.2.1. TODO Milestone 1: (Sprint 2): Technical specification
+
-develop a comprehensive technical specification -document, detailing auction types, circuits logic, prospect for integration -to larger systems. +:org-gcal: + develop a comprehensive technical specification + document, detailing auction types, circuits logic, prospect for integration + to larger systems.
- To the best of our knowledge, there isn't at this point any standard @@ -960,9 +961,30 @@
3.2.2.1. VC-Data-Model specifications).
-3.2.2.2. TODO Milestone 1: (Sprint 2): Test suite development
++3.2.2.2. TODO Milestone 1: (Sprint 2): Test suite development
@@ -972,7 +994,7 @@
3.2.2.2. : If we use Halo2's simple example, we should be able to -follow TDD the moment we complete the Milestone 1, since we will have the +follow TDD the moment we complete the Milestone 1, since we will have the equations used in the verifier ready. @@ -981,20 +1003,20 @@
3.2.2.2. -
3.2.3. TODO Milestone 1: (Sprint 3)
++3.2.3. TODO Milestone 1: (Sprint 3)
-
-3.2.3.1. TODO Milestone 1: (Sprint 3): Test suite development (cont'd)
++3.2.3.1. TODO Milestone 1: (Sprint 3): Test suite development (cont'd)
- writing the tests of the circuits which are to be
-developed in Milestone 2. +developed in Milestone 2.
- The mocking of the identities in testing should handle mainly Ethereum's @@ -1002,8 +1024,8 @@
3.2.3.1. -
3.2.3.2. TODO Milestone1 1: (Sprint 3): Sketching the Pseudo-code
++3.2.3.2. TODO Milestone1 1: (Sprint 3): Sketching the Pseudo-code
@@ -1015,8 +1037,8 @@
3.2.3.2. -
3.2.4. TODO Milestone 1: (Sprint 4)
++3.2.4. TODO Milestone 1: (Sprint 4)
@@ -1031,8 +1053,8 @@
3.2.4. -
3.2.5. Logistics
++-3.2.5. Logistics
Estimated Duration: 1 month
@@ -1044,12 +1066,12 @@3.2.5. Logistics
-3.3. Milestone 2: Development
++3.3. Milestone 2: Development
--3.3.1. Objectives
++-3.3.1. Objectives
- Develop the core functionality of zk-auctions (e.g., circuits, the various @@ -1060,8 +1082,8 @@
3.3.1. Objectives
-3.3.2. Tasks
++-3.3.2. Tasks
- Core module development: build the main auction system modules, focusing on @@ -1087,7 +1109,7 @@
3.3.2. Tasks
- Implementation of the auction circuits as specified by the pseudo-code -written in Milestone 1.
+written in Milestone 1.- Modular architecture enhancement: refine the system architecture to easily integrate alternative proof systems.
@@ -1108,8 +1130,8 @@
3.3.2. Tasks
-3.3.3. Logistics
++-3.3.3. Logistics
Estimated Duration: 1 month
@@ -1121,12 +1143,12 @@3.3.3. Logistics
-3.4. Milestone 3: Optimization, Testing, and Documentation
++3.4. Milestone 3: Optimization, Testing, and Documentation
--3.4.1. Objectives
++-3.4.1. Objectives
- Revise the codebase for performance and privacy.
@@ -1137,8 +1159,8 @@3.4.1. Objectives
-3.4.2. Tasks
++-3.4.2. Tasks
- Code optimization: revise code for performance, focusing on the auction logic @@ -1182,8 +1204,8 @@
3.4.2. Tasks
-3.4.3. Logistics
++3.4.3. Logistics
-Estimated Duration: 1 month
@@ -1197,19 +1219,19 @@3.4.3. Logistics
-4. Additional Information
++4. Additional Information
--4.1. Meetings
++4.1. Meetings
--4.1.1.
++-4.1.1.
-4.1.2.
++4.1.2.
-
- We went over the progress of the literature review phase (particularly @@ -1219,18 +1241,20 @@
4.1.2. -
4.1.3.
++4.1.3.
-
- Andrew would like to discuss the phases of the contract with @0xisk
+- Andrew would like to discuss the phases of the aucioned with @0xisk as defined in (Galal, Hisham S. and Youssef, Amr M., 2019).
- Rebase the git-hooks branch against `main`
+- Deciding whether we should start with
+Strainas the first protocol.- Outlining the auction specification model.
-4.2. Resources
++-4.2. Resources
- https://zcash.github.io/halo2/
@@ -1240,8 +1264,8 @@4.2. Resources
-4.3. Technical Notes
++4.3. Technical Notes
-During the development of this project, technical notes were developed in a @@ -1252,8 +1276,8 @@
4.3. Technical Notes
-5. Bibliography
++5. Bibliography
Bag, Samiran and Hao, Feng and Shahandashti, Siamak F. and Ray, Indranil Ghosh (2020). SEAL: Sealed-Bid Auction Without Auctioneers, IEEE Transactions on Information Forensics and Security.
@@ -1288,7 +1312,7 @@Footnotes: