https://github.com/inaciovasquez2020/aiv-verifier-public

Public verifier for AIV executable certificates
https://github.com/inaciovasquez2020/aiv-verifier-public

aiv cryptographic-signatures executable-certificates formal-verification reproducible-research security supply-chain-security unified-rigidity-framework verifier

Last synced: 2 months ago
JSON representation

Public verifier for AIV executable certificates

• Host: GitHub
• URL: https://github.com/inaciovasquez2020/aiv-verifier-public
• Owner: inaciovasquez2020
• License: other
• Created: 2026-02-12T18:53:14.000Z (4 months ago)
• Default Branch: main
• Last Pushed: 2026-03-22T03:47:15.000Z (2 months ago)
• Last Synced: 2026-04-04T01:37:09.822Z (2 months ago)
• Topics: aiv, cryptographic-signatures, executable-certificates, formal-verification, reproducible-research, security, supply-chain-security, unified-rigidity-framework, verifier
• Language: Python
• Homepage: https://www.vasquezresearch.com
• Size: 62.5 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Citation: CITATION.cff

Awesome Lists containing this project

README

          
AIV Verifier (Public)

Verify the demo certificate:

  ./scripts/verify_cert.sh certs/AIV_CERT_CLAIM_0001.json

Trust anchor:

  keys/aiv_pub.key  (public minisign key)