Logo
HomeStaking Assessment

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