Hacker GitHub

← All repos

adsharma/zre_raft

View on GitHub ↗ ★ 2 Python

Peer-to-peer encrypted chat using ZRE and double ratchet.

5 mentions on Hacker News by 1 person: 0 stories, 5 comments · first 2021-01-08 · latest 2021-01-22

Mentions per year 5 mentions · busiest year 2021 (5)
20082026
AllStoriesComments NewestTopOldest
  1. …nice to use a chat like interface to learn raft. Alice: /set a 1 Alice: /set b 2 Bob: /status Etc https://github.com/adsharma/zre_raft https://github.com/adsharma/raft Bug reports welcome
    comment by adsharma · 2021-01-22 · in Rqlite: The lightweight, distributed relational database built on SQLite
  2. …the signal protocol without a server. CLI prototype. Can be generalized into a nice phone app. https://github.com/adsharma/zre_raft https://twitter.com/arundsharma/status/1348718596415918080
    comment by adsharma · 2021-01-13 · in Ask HN: How do we know Signal or Telegram don't store our data on their servers?
  3. …to bring these verification technologies to more mainstream programming languages such as python. https://github.com/adsharma/zre_raft/blob/main/zre_raft/zre_... is something I'd love to verify.
    comment by adsharma · 2021-01-11 · in Automated Symbolic Verification of Telegram's MTProto 2.0
  4. …ideas over the holidays and then discovered that there were people with similar ideas. Code: https://github.com/adsharma/zre_raft/blob/main/zre_raft/zre_... Usage: https://github.com/adsharma/zre_raft/commit/b6f897539d1bef10...
    comment by adsharma · 2021-01-09 · in WhatsApp whitepaper removed sentence about never having access to private keys
  5. As a token of support, I implemented signal protocol in 250 lines of python. https://github.com/adsharma/zre_raft/blob/main/zre_raft/zre_... Hope more programmers understand how this works, implement it correctly and create apps we haven't…
    comment by adsharma · 2021-01-08 · in Donate to Signal