WIP New plugin#28

Draft

adamczykm wants to merge 34 commits intodevelopfrom

Commits on Feb 29, 2024

Add stub implementation of the new plugin and the readme.
adamczykm
committed
Add initial zkClaims implementation.
adamczykm
committed

Commits on Mar 6, 2024

Bump o1js
adamczykm
committed
More prototyping in the new plugin.
adamczykm
committed

Commits on Mar 8, 2024

Finalize verifiable credential circuit-related module.
adamczykm
committed
Add initial (circuit-part) revised implementation of zkclaim provers.
adamczykm
committed
Add the proof rollup circuit part.
adamczykm
committed

Commits on Mar 9, 2024

Clean prototyping module. Finish initial circuit implementation the claim rollup prover
adamczykm
committed
Make some minor fixes
adamczykm
committed
Add auxiliary types for credential subjects.
adamczykm
committed
Make note in README about result of the implementation inquiry.
adamczykm
committed

Commits on Mar 11, 2024

Add happy path implementation / test plan. Define types and schemas for data
adamczykm
committed

Commits on Mar 12, 2024

Add claims and creds types function and tests for circuit level types.
adamczykm
committed

Commits on Mar 14, 2024

Add high-level types and transit schemas for claims and credentials. Add tests.
adamczykm
committed

Commits on Mar 29, 2024

Add two claims standards, fix couple of bugs, proceed with happy path flow
adamczykm
committed

Commits on Mar 30, 2024

Reorganize data types #1
adamczykm
committed
Reorganize data types #2
adamczykm
committed

Commits on Mar 31, 2024

Fix tests.
adamczykm
committed
Improve issuer interface, make index.ts run with no issues.
adamczykm
committed
Add credential store and tests.
adamczykm
committed

Commits on Apr 17, 2024

Add conceptual overview of preparing credential proofs.
adamczykm
committed

Commits on Apr 18, 2024

Starting refactor of provable claims structure.
adamczykm
committed

Commits on Apr 19, 2024

Introduce credproofhelper and the final credential validity program.
adamczykm
committed

Commits on Apr 20, 2024

Finish the improved credential validity proving module
adamczykm
committed
Add claim-proof module Field1, Field2, String (unfinished)
adamczykm
committed

Commits on Apr 22, 2024

Fix ClaimId bug.
adamczykm
committed
Split claim proving (naive approach) and implement a generic approach.
adamczykm
committed

Commits on Apr 23, 2024

Fix a bug where the generic claim zkprogram would not compile
adamczykm
committed
Finish implementation of generic claim proving program.
adamczykm
committed

Commits on Apr 26, 2024

Fix issues in o1js data types +better credential verification +tests
adamczykm
committed
Add better credential verifiaction to the validation program
adamczykm
committed

Commits on Apr 27, 2024

Add improvements around cred validating and its helper + tests.
adamczykm
committed
Recover credential store tests. Fix other issues with running tests.
adamczykm
committed

Commits on Apr 28, 2024

Tests for generic claim proving, other tests improvement, minor fixes
adamczykm
committed