Thinking in code

Go to file

Sanaz Taheri Boshrooyeh c14110bc9e adds brief comparison with Tor		2021-08-04 13:46:56 -07:00
.github/workflows	Add GH project automation	2021-07-15 14:02:56 +08:00
Tor-vs-Waku	adds brief comparison with Tor	2021-08-04 13:46:56 -07:00
abnf/hello-abnf	envelope parser with optional self-evaluating terminal	2019-11-22 19:11:53 +08:00
archive	Import from status-research repo	2019-10-18 12:59:33 +08:00
discv5	discv5 (#19 )	2020-04-28 11:33:25 +08:00
hello_gossipsub	Log peerinfo and listening on	2020-04-27 12:43:41 +08:00
remote_log	add ipfs feasability	2019-10-03 13:56:30 +08:00
rln-research	fixes a notation	2021-01-13 18:50:17 -08:00
tlaplus/gossip	Import from vac/pm; also tla+ leftover	2020-03-24 19:06:27 +08:00
vac	Import from vac/pm; also tla+ leftover	2020-03-24 19:06:27 +08:00
whisper_scalability	Update README.md	2019-12-03 20:03:07 +08:00
zksnarks	update readme with zksnarks	2019-11-04 14:55:13 +08:00
.gitignore	Basic factor example with snarkjs from js	2019-10-30 13:10:51 +08:00
.gitmodules	Use vendor and submodules	2020-04-20 13:47:15 +08:00
LICENSE	Update LICENSE	2019-11-04 16:00:57 +01:00
README.md	Update README.md	2021-05-25 13:16:48 +08:00

README.md

Research

Thinking in code.

This repository contains experimental code related to research for vac and its protocols. Some of the proof-of-concepts in this repository may later make it into the protocol as fundamental components.

Projects

remote log - Contains a nim mock server representing a remote log.
Whisper Scalability Model - Theoretical model for bandwidth usage given some assumptions and usage, see report and Discuss post.
zkSNARKs/Semaphore - Feasability study for zkSnarks and Semaphore to do anonymous signaling, including rate limiting in p2p networks (not everything in snarks).
abnf/hello-abnf - Playing around with ABNF (context free grammar) for formal specifications through Instaparse. Also see Panini ABNF editor.

License

This project is licensed under the MIT License - see the LICENSE file for details