An update (will do them periodically again until a new road show)
The road show was highly successful. In particular, we're now talking with some Korean and Vietnamese exchanges, there is a small team now starting decentralized pool development, we've got new fans and hundreds of business cards.
HotBit listing announced
https://twitter.com/Hotbit_news/status/1179366976046714881 . Listing will take place likely within few days after holidays in China( Oct, 1st - 7th). Within few days after listing we'll have AMA session for HotBit users.
New listings are coming!
External developers are reporting that they're testing pricing oracles and non-interactive coin mixing. With the oracles we can do loan contracts, mutual credit systems and other DeFi (decentralized finance) applications.
3.1.1 is coming with simplified user-friendly interface added.
There's enough new features for 3.1.2 as well, e.g. a new version of language interpreter with much improved performance.
And please note, unlike Bitcoin and Ethereum, where formal verification techniques took years to appear around, in Ergo a crowdfunding contract used in practice has some formally verified properties just within 3 months after launch, see
https://www.ergoforum.org/t/simple-crowdfunding/70/19 for details.
So everything is going well, if you want to help us, please join the community, spread the word and hodl!