---
tags: VERI, Formally Verified tezos

title: Formally Verified
---

# Formally Verified

### Proposal
###

NFTs as badges for verification.

### Use Cases
###

Events

- Access token
- Badge as a proof of attendance

Event organiser:

Logs in with beacon

Token:
- title
- dates
- description
-
- image
- artifact (jpeg)
- display
- thumbnail
> Figure out imagery

- Legal Disclaimer
> Tobias Haar

Platforms
- Proof of existence / human
- User roles (unlock features)

### Mechanism

Questions

VERI app

VERI website

- Non-transferable or transferable?
- Can we make transarent who is the token issuer?

Who can make use of VERI

- Curated by us

DAO

Objectives

- Experimenting with the Tezos blockchain (NFTs, DAOs, DeFi)
- Drive people to Tezos Profiles

----------------------------

1. Concept

- One by being present in the building

- A collectable tezos experience

- Find the Veri access point

-

2. Technical Robustness

- Multiple access points