---
# System prepended metadata

title: Formally Verified
tags: [VERI, ' Formally Verified tezos']

---

---
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 