Skip to content

WIP New plugin #28

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 34 commits into
base: develop
Choose a base branch
from
Draft

WIP New plugin #28

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
15d0d80
Add stub implementation of the new plugin and the readme.
Feb 29, 2024
ab7b4cf
Add initial zkClaims implementation.
Feb 29, 2024
d3d7e27
Bump o1js
Mar 6, 2024
b07d55f
More prototyping in the new plugin.
Mar 6, 2024
8a75ff6
Finalize verifiable credential circuit-related module.
Mar 8, 2024
5e2362c
Add initial (circuit-part) revised implementation of zkclaim provers.
Mar 8, 2024
82b4ca8
Add the proof rollup circuit part.
Mar 8, 2024
685c6b3
Clean prototyping module. Finish initial circuit implementation the c…
Mar 9, 2024
266aba4
Make some minor fixes
Mar 9, 2024
a059763
Add auxiliary types for credential subjects.
Mar 9, 2024
6e7dd7e
Make note in README about result of the implementation inquiry.
Mar 9, 2024
18e8674
Add happy path implementation / test plan. Define types and schemas f…
Mar 11, 2024
61aab67
Add claims and creds types function and tests for circuit level types.
Mar 12, 2024
b25b832
Add high-level types and transit schemas for claims and credentials. …
Mar 14, 2024
e03d8d7
Add two claims standards, fix couple of bugs, proceed with happy path…
Mar 29, 2024
cbaba55
Reorganize data types #1
Mar 30, 2024
2cfe1c1
Reorganize data types #2
Mar 30, 2024
85968cf
Fix tests.
Mar 31, 2024
1e80e07
Improve issuer interface, make index.ts run with no issues.
Mar 31, 2024
7b75350
Add credential store and tests.
Mar 31, 2024
81fc59c
Add conceptual overview of preparing credential proofs.
Apr 17, 2024
c78b9eb
Starting refactor of provable claims structure.
Apr 18, 2024
5e68287
Introduce credproofhelper and the final credential validity program.
Apr 19, 2024
235b1de
Finish the improved credential validity proving module
Apr 20, 2024
a6e98d9
Add claim-proof module Field1, Field2, String (unfinished)
Apr 20, 2024
da9c55b
Fix ClaimId bug.
Apr 22, 2024
9a1cb6e
Split claim proving (naive approach) and implement a generic approach.
Apr 22, 2024
92cd86b
Fix a bug where the generic claim zkprogram would not compile
Apr 23, 2024
5d38221
Finish implementation of generic claim proving program.
Apr 23, 2024
e9b9a33
Fix issues in o1js data types +better credential verification +tests
Apr 26, 2024
7055a39
Add better credential verifiaction to the validation program
Apr 26, 2024
8aa6f5f
Add improvements around cred validating and its helper + tests.
Apr 27, 2024
3906a27
Recover credential store tests. Fix other issues with running tests.
Apr 27, 2024
0dfe1e4
Tests for generic claim proving, other tests improvement, minor fixes
Apr 28, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -54,3 +54,5 @@ The work on the library was funded by:
* zkIgnite (https://zkignite.minaprotocol.com/)
* MINA Navigators (https://minaprotocol.com/join-mina-navigators)
* MLabs (https://mlabs.city/)

Thank you! <3
8 changes: 5 additions & 3 deletions devops/install_deps.bb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,13 +10,15 @@
(def packages [{:name "minauth-simple-preimage-plugin" :path "/home/anks/spre" :deps [:mlib]}
{:name "minauth-erc721-timelock-plugin" :path "/home/anks/etl" :deps [:mlib]}
{:name "minauth-merkle-membership-plugin" :path "/home/anks/mm" :deps [:mlib]}
{:name "minauth-verified-zkdocument-plugin" :path "/home/anks/zdoc" :deps [:mlib]}
{:name "minauth-demo-server" :path "/home/anks/serv" :deps [:spre :mlib :mm :etl]}
{:name "minauth-demo-client" :path "/home/anks/client" :deps [:spre :mlib :mm :etl]}])

(def global-deps {:spre {:name "minauth-simple-preimage-plugin" :path "/home/anks/spre"}
:etl {:name "minauth-erc721-timelock-plugin" :path "/home/anks/etl"}
:mlib {:name "minauth" :path "/home/anks/mlib"}
:mm {:name "minauth-merkle-membership-plugin" :path "/home/anks/mm"}})
:etl {:name "minauth-erc721-timelock-plugin" :path "/home/anks/etl"}
:zdoc {:name "minauth-verified-zkdocument-plugin" :path "/home/anks/zdoc"}
:mlib {:name "minauth" :path "/home/anks/mlib"}
:mm {:name "minauth-merkle-membership-plugin" :path "/home/anks/mm"}})

(defn- logret [msg]
(println msg)
Expand Down
2 changes: 1 addition & 1 deletion minauth-demo/minauth-demo-client/package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
"minauth-merkle-membership-plugin": "0.10.0-alpha",
"minauth-simple-preimage-plugin": "0.10.0-alpha",
"next": "^14.0.3",
"o1js": "0.16.0",
"o1js": "0.16.2",
"postcss": "8.4.32",
"react": "18.2.0",
"react-dom": "18.2.0",
Expand Down
2 changes: 1 addition & 1 deletion minauth-demo/minauth-demo-server/package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@
"minauth-erc721-timelock-plugin": "0.10.0-alpha",
"minauth-merkle-membership-plugin": "0.10.0-alpha",
"minauth-simple-preimage-plugin": "0.10.0-alpha",
"o1js": "0.16.0",
"o1js": "0.16.2",
"passport": "^0.6.0",
"passport-jwt": "^4.0.1",
"passport-strategy": "^1.0.0",
Expand Down
160 changes: 55 additions & 105 deletions minauth-plugins/minauth-erc721-timelock-plugin/package-lock.json
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

6 changes: 3 additions & 3 deletions minauth-plugins/minauth-erc721-timelock-plugin/package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "minauth-erc721-timelock-plugin",
"version": "0.10.0-alpha",
"version": "0.10.1-alpha",
"description": "",
"type": "module",
"files": [
Expand All @@ -18,12 +18,12 @@
"ethers": "^6.9.1",
"express": "^4.18.2",
"fp-ts": "^2.16.1",
"minauth": "0.10.0-alpha",
"minauth": "0.10.1-alpha",
"web3": "^4.3.0",
"zod": "^3.22.2"
},
"peerDependencies": {
"o1js": "0.16.0"
"o1js": "0.16.2"
},
"devDependencies": {
"@types/axios": "^0.14.0",
Expand Down
Loading