Synereo Weekly Update

Published in

Synereo

5 min readFeb 22, 2016

Update Summary

This week, Greg discusses the betting cycle within the Casper Proof of Stake protocol and explains the technology choices underlying the Synereo platform. The community discusses issues of governance and how project management can be implemented within the Synereo application itself.

Early research on Casper Proof of Stake1.

Contents in Brief

Watch the full Hangout

01:13 — Quick updates
12:14 — Casper (Proof of Stake)
23:49 — Service Discovery on a Sharded Blockchain
28:22 — Ambassador Role
37:58 — Governance
56:50 — Technology Choices
1:08:34 — Bi-Weekly Core Community Meetings

Detailed Notes

LivelyGig: Ed Eykholt and Navneet Suman
are working on creating an escrow protocol and log-in for their decentralized marketplace for Freelancers.
Greg has been talking with weWOWwe about different ways that Synereo could be set up for their users.
We welcome Ty Simpson to the hangout. He is interested in open-sourced decentralized social networks for use in open governance and intentional communities.
Dory (@nodes, @007) has made good progress with the docker image. He has built specialK, the user (IA) model, and is now adding glosseval.

12:14 — Casper (Proof of Stake)

Greg has been working with Aron Fischer, Vlad Zamfir, and the Ethereum team to formalize the betting cycle behind Casper.

Greg demonstrates with a model tetrahedron how the collection of probability distributions can be represented as a k-dimensional simplex structure. An updated bet by a validator is non-punishable if it traces a history through this space toward convergence onto a vertex.

(I tried to find an illustrative diagram…)

Trajectory of bets converging on consensus within a 3-simplex2.

Recent Casper Videos by Greg:

23:49 — Service Discovery on a Sharded Blockchain

Synereo provides a decentralized content distribution network by utilizing SpecialK/KVDB decentralized storage and transactional semantics. This same architecture could be used to provide service discovery for accounts residing in a sharded blockchain such as that proposed for Ethereum 2.0.

28:22 — Ambassador Role

Jed presents a new role available for outgoing community members wanting to help us out:

NEW ROLE ANNOUNCED: AMBASSADOR In response to the amazing growth and activity we’ve seen in our community, Synereo is announcing a new role: the Ambassador. Ambassadors are responsible for to going out into various communities across the web and acting as a liaison between them and Synereo. Ambassadors will play a key role in helping the early network establish partnerships with communities abroad. As Ambassadors, members will reach out to other community leaders and engage them about Synereo. In simple english, the Ambassadors will share links in communities that want them, and actively reach out to the leaders of these communities. Your job will be to establish a relationship with a few key communities, and get them the news they need when it works for them. This isn’t about click-farming, far from it. This is about actually valuing people and helping communities work towards mutual goals, and playing a valuable role in the communities you are active in. Payouts for this role will be made on a weekly basis, and are based on reaching target goals within your community. Ambassadors will stay in touch with the community manager, and work together to help coordinate. The reward is `$15 to $50` dollars worth of AMPs per week, based on scope of work. Bonuses for extra sharing are available. This role is monumental in helping Synereo as we make our push to build a truly decentralized tool that will not only help other partners create decentralized applications, but build a strong community around decentralized cultures. It’s more than just an app, we are working with others in the greater community to build a whole new way interacting on a global scale. To apply, please send an email to [email protected] Priority will be given to people who are already active participants in the hangouts/community and those who attach a sample of their writing - a post on a forum, a blog post, or anything showing that you can communicate with others in writing in an open and friendly way. The Synereo Team Be Part of the Solution

37:58 — Governance

LivelyGig is able to create Synereo based feeds to post and manage projects for Freelancers. Similarly, we would like to conduct our project Governance from within Synereo itself. The features that we need include the ability to track tasks, issues, backlogs, bounties, developer skills, etc. As we coordinate projects in Taiga, please try to identify workflows that we can build into Synereo.

56:50 — Technology Choices

Synereo’s core technology is the applied π-calculus, an extensively vetted mathematical approach for formally modelling concurrent systems and process interaction. It informs our architecture and programming model.

Trust the math. As an open-source project, anyone is welcome to inspect our code and the mathematical models on which it is based.

Synereo Front-End

These are the ‘Front-end’ technologies being implemented by LivelyGig and Synereo:

You can see how for yourself how the pieces fit together by visiting LivelyGig’s GitHub.

Synereo Tech Development Videos

Greg recorded his recent meetings with Gary Stephenson, the Australian developer mentioned in this and last Wednesday’s Hangout. More such videos will be forthcoming…

1:08:34 — Bi-Weekly Core Community Meetings

In addition to the weekly Community Hangout every Wednesday, we will soon be setting up 15 minute bi-weekly ‘stand-up’ meetings for any core community members who wish to share updates as to what each of us is working on. These will likely be hosted on a Jitsi Meet server.

That’s all for this week!