Credential Corgi enables:
The contract is deployed on eight EVM chains, and the UI is a web app built in TypeScript using Next.js. To generate the zero-knowlege proofs, I used SnarkyJS, a ZKP library originally built to interact with Mina Network. I am not using Mina for this project -- rather, I'm using the ZKP portion of SnarkyJS and separately saving the ZKP state on EVM networks.
To make credential standard definition easy for public agencies, GPT-4 is used to transform a human description of the credential (which can be as simple as "a drivers license including organ donor information") into structured JSON data.
Similarly, third parties wanting to request proofs of certain conditions can describe those conditions in english and GPT-4 will combine them with the known structure of the credential to define the ruleset that the proof will verify.
Wagmi, RainbowKit, and Hardhat are used to interact with the blockchain.
There is a cache database which the server uses to store credential structure details to provide a friendly UI for issuers. This is a custom flat file database implemented during the hackathon.