UPLC.link
Cardano Smart Contract Verification
UPLC.link is an open-source platform for verifying that on-chain Cardano smart contracts match their published source code. Built for Aiken smart contracts, it provides a public registry of verified contracts with permanent on-chain proof of verification.
- - Verify contracts against GitHub repositories
- - Support for parameterized validators
- - Public searchable registry of verified contracts
- - API access for programmatic verification queries