3 ms·
We're in the process of writing a specification (https://github.com/TokTok/spec https://github.com/TokTok/spec) and new implementation in Haskell (https://githu
by iphy 10y ago
We're in the process of writing a specification (https://github.com/TokTok/spec https://github.com/TokTok/spec) and new implementation in Haskell (https://github.com/TokTok/hs-toxcore https://github.com/TokTok/hs-toxcore). There is also a Rust implementation in the works (https://github.com/zetok/tox https://github.com/zetok/tox).
As for security risks and mitigations, I'd like to do that when we have a web presence with space for it. Right now, the web presence is fairly poor (http://toktok.github.io/ http://toktok.github.io/). The specification contains some security risks and mitigations.
- EvgeniyZh 10y agoRust seems reasonable, but why Haskell? Also why not improve current core while writing new implementation?
- iphy 10y agoWe are doing exactly that: we are improving the current core and at the same time modelling the behaviour in Haskell. The Haskell version does not do networking and only represents an executable model of the environment. We use that to test core functionality. See http://toktok.github.io/design/testing http://toktok.github.io/design/testing.
- EvgeniyZh 10y agoWhen I was thinking about contributing to Tox it was way too hard to find out its development is alive at all: https://www.reddit.com/r/projecttox/comments/4vmfhn/is_tox_development_dead/ https://www.reddit.com/r/projecttox/comments/4vmfhn/is_tox_d... P.S. Now I see activity in new core repo,that's cool