Verifiable credentials examples using Circle Verite
This example creates and tests a verification registry as presented in the Circle docs, and uses it with an ERC20 token that has been extended to verify transfer destinations against a KYC registry.
Installing open zeppelin contracts
forge install OpenZeppelin/openzeppelin-contracts- Add
@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/to remappings.txt
Article on EIP712 - https://medium.com/metamask/eip712-is-coming-what-to-expect-and-how-to-use-it-bb92fd1a7a26
This gist super helpful for understanding EIP712 signing
OpenZeppelin EIP712 and MessageHashUtils also helpful for understanding EIP712 signing.