SaaSHub helps you find the best software and product alternatives Learn more →
Zre_raft Alternatives
Similar projects and alternatives to zre_raft
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Signal-Server
Server supporting the Signal Private Messenger applications on Android, Desktop, and iOS
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
zre_raft reviews and mentions
-
Rqlite: The lightweight, distributed relational database built on SQLite
Bob: /status
Etc
https://github.com/adsharma/zre_raft
-
Ask HN: How do we know Signal or Telegram don't store our data on their servers?
If this is a concern for you, consider using the signal protocol without a server.
CLI prototype. Can be generalized into a nice phone app.
https://github.com/adsharma/zre_raft
-
Automated Symbolic Verification of Telegram's MTProto 2.0
Even if the clients are open source and if the verification of the protocol using ProVerif is sound, there is the possibility of a divergence between the "proof" and the implementation.
This is why it's important to have them in the same code base.
I've heard about attempts at inria to implement signal/double ratchet using F-star and verify the correctness. But no such implementation seems to be publicly available.
One of the things I'm interested in is to see if it's possible 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.
-
Donate to Signal
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 thought about yet.
-
A note from our sponsor - SaaSHub
www.saashub.com | 26 Apr 2024
Stats
adsharma/zre_raft is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of zre_raft is Python.
Sponsored