Agenda Bogota Meetup
--------------------

Draft agenda, feel free add / modify as you see fit.

### Suggested Topics ###

- Session on new ZK based proving scheme
- Retrospective (evaluate how we're doing and how we can improve as a team)
- Hacking sessions (hack on Codex together)
- Discussion about slot collateral: global collateral or per slot?
- Node interactions: how do we envision executing transactions in different states?
  - dapp / http server embedded in the binary?
  - Perhaps we can use Hester's designs as a guide?
- Project management
  - Tasks/issues cleanup
  - Discuss what's working, what's not, and what we can improve
- Present high-level architecture, make recording of it for future reference
- Codex use cases
- Codex credits
- Codex differentiators