Thinking in code

Go to file

s1fr0 4638ac51d8 Update .gitignore		2022-05-24 10:59:48 +02:00
.github/workflows	Add GH project automation	2021-07-15 14:02:56 +08:00
Tor-vs-Waku	Tor vs Waku: Fix Typo (#95 )	2022-01-14 12:18:35 +08: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
circom-tests	replicate circom output in ark-circom	2022-05-23 21:35:41 +02: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	removes the presentation only prefix from the title	2022-02-22 14:53:35 -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
waku2-vs-waku1	Fix typo	2021-10-04 17:23:56 +02: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	Update .gitignore	2022-05-24 10:59:48 +02: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