-
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.
Can you really compile them?
If you look at the iOS repo, first there is no license associated with the repo. Second, there are lots of people reporting failed builds in the issue tracker without a response.
https://github.com/TelegramMessenger/Telegram-iOS
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.
> made up mode
It's was implemented in OpenSSL 15 years ago.
https://github.com/openssl/openssl/blob/master/crypto/aes/ae...
Threema offers reproducible builds as well, for the Android app: https://threema.ch/en/open-source/reproducible-builds
Signal too: https://github.com/signalapp/Signal-Android/blob/master/repr...
Regarding the iOS app store, Telegram writes:
> As things stand now, you'll need a jailbroken device, at least 1,5 hours and approximately 90GB of free space to properly set up a virtual machine for the verification process.
https://core.telegram.org/reproducible-builds#reproducible-b...
It's a manual process within a new VM. I wouldn't be surprised if it frequently breaks without anyone noticing. But at least they're trying, I'm not aware of any better approach. Apple's GUI-focussed approach doesn't make these things easy.