Smartly Dressed Addresses, or "SmaDra", is a smart contract collecting zk-claims (such as human
or adult
) for addresses. Each claim is backed by a zk-certificate that is cryptographically verified on-chain. The claims are known to be true, under certain assumptions, without revealing anything about the address owner.
It's called "Smartly Dressed Addresses" since it kind of dresses addresses with zk-claims, making the address more attractive to work with.
SmaDra is not a ready-for-production complete system, but rather a PoC showing how to build such a component for other systems.
Smadra is built with Foundry.
To build it run
forge compile
There are no tests yet for Smadra, but there is a deployment script that tests the basic functionality. The script uses an example ZK verifier contract which was built by the Noir program located noir/verify_certificates_for_address.
To run the script you first need to launch anvil. Then do:
forge script script/onchainClaimSystem.s.sol:VerifyClaimScript --fork-url http://localhost:8545 --broadcast