This didn't verify the Signal app, only the signal encryption protocol
still a big codebase: https://github.com/signalapp/libsignal
alt Hacker News
still a big codebase: https://github.com/signalapp/libsignal