---
# System prepended metadata

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

---

---
tags: PoCs, tezos

title: Formally Verified
---

Formally Verified is a contract for digital badges showing that someone has has attended an event. 


PoP

**Events organisers**

- Go to website
- Sign in with their wallet
- Need to have a minimum amount of tez to do transactions. Can apply for a X amount of tez
- typeform, low curated 

Approved event organisers are able to

- Mint tokens and assign them to people
- Use mobile website that allows them to scan QR codes from attendees


Attendees:
- Go to website, login with beacon / kukai, displays QR code (give instructions)


Webpage



Login

- 
