b755aee84c
* Update vac.dev main copy * Add principles page * Update projects page * Format research-areas * Format principles * Update projects * Update projects on main page * Format main page * Tweak main page * Add open problems stub * Add contribute stub * Update media page - add Waku v2 training session * Remove about folder and move media to top level * Update config layout * update open problems * sembr principles * add ietf nod * fix * Update research-areas.md Co-authored-by: Daniel Kaiser <git@kais3r.de> * Update projects.md Co-authored-by: Daniel Kaiser <git@kais3r.de> * Update research-areas.md Co-authored-by: Daniel Kaiser <git@kais3r.de> * Update research-areas.md Co-authored-by: Daniel Kaiser <git@kais3r.de> * Update research-areas.md Co-authored-by: Daniel Kaiser <git@kais3r.de> * Update vac.md Co-authored-by: Daniel Kaiser <git@kais3r.de> Co-authored-by: User Name <user@mbp22.local> Co-authored-by: Daniel Kaiser <git@kais3r.de>
984 B
| title |
|---|
| Projects |
Projects
There are several projects under Vac Research. These are largely independent and can be seen as specific bets.
Secure Messaging
We design modular, p2p protocols for private, anonymous, secure and censorship-resistant communications. The main focus is Waku, the communication layer for Web3.
zk-WASM
Research into making private and provable computation using WASM that is verified using zero-knowledge proofs.
RAD - RFCs & Dissemination
RFCs: We build specifications for self-sustainable robust protocols with strong and modular privacy guarantees. Rough consensus and running code.
Dissemination: We write papers and aim to collaborate closely with other institutions to build a bridge between industry and academia.
Applied ZK & Explorations
We build tools to enable new fundamental building blocks using cutting-edge zero-knowledge proof systems.