Bitcoin Forum
December 18, 2017, 10:54:26 PM *
News: Latest stable version of Bitcoin Core: 0.15.1  [Torrent].
 
   Home   Help Search Donate Login Register  
Pages: « 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 [50] 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 ... 401 »
  Print  
Author Topic: [ANN] AMP - The Currency That Powers Your Attention On Synereo  (Read 844839 times)
SynereoCommunity
Sr. Member
****
Offline Offline

Activity: 305


Your Network. Your Rules.


View Profile WWW
June 23, 2016, 04:52:55 PM
 #981



The decentralization process continues..





There are a limited number of slots available for this bounty program ($400/AMPs/mo).  Please use this link for complete information and application form:  https://goo.gl/TYT1GQ

Many people in the Synereo Community have come to it from one social movement or another, in order to use the blockchain platform and its Apps as a tool to achieve their goals - from Privacy or Self-Determination, to Transparency and Open Source P2P.

If you use the internet to work in Communities like those, and want to learn more about the great potential of the Synereo ecosystem and then share that with others, you're probably perfect for the role!

Click here for details!  https://goo.gl/TYT1GQ

 Grin



Please join our Discord channel for a variety of conversations: https://discord.gg/xrm56DV -  Visit the web site for general info: http://www.synereo.com/  -  Our Blog has important updates and summaries: http://blog.synereo.com
1513637666
Hero Member
*
Offline Offline

Posts: 1513637666

View Profile Personal Message (Offline)

Ignore
1513637666
Reply with quote  #2

1513637666
Report to moderator
1513637666
Hero Member
*
Offline Offline

Posts: 1513637666

View Profile Personal Message (Offline)

Ignore
1513637666
Reply with quote  #2

1513637666
Report to moderator
Advertised sites are not endorsed by the Bitcoin Forum. They may be unsafe, untrustworthy, or illegal in your jurisdiction. Advertise here.
1513637666
Hero Member
*
Offline Offline

Posts: 1513637666

View Profile Personal Message (Offline)

Ignore
1513637666
Reply with quote  #2

1513637666
Report to moderator
Ethertrader1
Member
**
Offline Offline

Activity: 115


View Profile
June 23, 2016, 07:19:43 PM
 #982



The decentralization process continues..





There are a limited number of slots available for this bounty program ($400/AMPs/mo).  Please use this link for complete information and application form:  https://[Suspicious link removed]/TYT1GQ

Many people in the Synereo Community have come to it from one social movement or another, in order to use the blockchain platform and its Apps as a tool to achieve their goals - from Privacy or Self-Determination, to Transparency and Open Source P2P.

If you use the internet to work in Communities like those, and want to learn more about the great potential of the Synereo ecosystem and then share that with others, you're probably perfect for the role!

Click here for details!  https://[Suspicious link removed]/TYT1GQ

 Grin




man this is a great deal. $400 for a part time gig. I will register now.
SynereoCommunity
Sr. Member
****
Offline Offline

Activity: 305


Your Network. Your Rules.


View Profile WWW
June 24, 2016, 12:47:16 AM
 #983

Hey, help us spread the word!



Tune into the Synereo Community live broadcasts:

- https://www.youtube.com/channel/UCU5CBbxAeFYnodf32w3ahOQ
- https://www.livecoding.tv/synereo/

Jump in LIVE: https://zoom.us/j/2522161381
Monday, June 27 @ 2:00 PM EDT with Douglas Rushkoff.




Please note: This post is the correct one - there are posts above that are incorrect.

Please join our Discord channel for a variety of conversations: https://discord.gg/xrm56DV -  Visit the web site for general info: http://www.synereo.com/  -  Our Blog has important updates and summaries: http://blog.synereo.com
Ethertrader1
Member
**
Offline Offline

Activity: 115


View Profile
June 24, 2016, 05:51:08 AM
 #984

I had just read his book Throwing Rocks at Google. I think a great conversation with the Synereo team is coming.
dadingsda
Legendary
*
Offline Offline

Activity: 1232


View Profile
June 25, 2016, 11:41:58 PM
 #985

Bounty for german translation?

INVALID BBCODE: close of unopened tag in table (1)
Ethertrader1
Member
**
Offline Offline

Activity: 115


View Profile
June 27, 2016, 12:18:06 PM
 #986

Are you having threads in multiple languages?
SynereoCommunity
Sr. Member
****
Offline Offline

Activity: 305


Your Network. Your Rules.


View Profile WWW
June 27, 2016, 06:09:43 PM
 #987


We're LIVE now!


Hey, help us spread the word!



Tune into the Synereo Community live broadcasts:

- https://www.youtube.com/channel/UCU5CBbxAeFYnodf32w3ahOQ
- https://www.livecoding.tv/synereo/

Jump in LIVE: https://zoom.us/j/2522161381
Monday, June 27 @ 2:00 PM EDT with Douglas Rushkoff.




Please join our Discord channel for a variety of conversations: https://discord.gg/xrm56DV -  Visit the web site for general info: http://www.synereo.com/  -  Our Blog has important updates and summaries: http://blog.synereo.com
RavenBitcoins
Member
**
Offline Offline

Activity: 95


View Profile
June 29, 2016, 05:53:54 PM
 #988

Great fire side chat btw. I caught it randomly, but Synereo sounds like things are really moving.

SynereoCommunity
Sr. Member
****
Offline Offline

Activity: 305


Your Network. Your Rules.


View Profile WWW
June 29, 2016, 06:28:29 PM
 #989



We're LIVE - come and join us ( https://zoom.us/j/2522161381 ) in the weekly hangout!




Watch on Youtube: https://www.youtube.com/watch?v=3zGMsiZvrl0


Please join our Discord channel for a variety of conversations: https://discord.gg/xrm56DV -  Visit the web site for general info: http://www.synereo.com/  -  Our Blog has important updates and summaries: http://blog.synereo.com
alexjonescrypto
Member
**
Offline Offline

Activity: 91


View Profile
June 30, 2016, 03:37:38 PM
 #990

I am interested in being an Amplifier. How do I start to get involved? What type of skills are you really looking for?

Nice vid guys.
SynereoCommunity
Sr. Member
****
Offline Offline

Activity: 305


Your Network. Your Rules.


View Profile WWW
July 01, 2016, 04:46:48 PM
 #991

I am interested in being an Amplifier. How do I start to get involved? What type of skills are you really looking for?

Nice vid guys.


Good time to re-post this!






There are a limited number of slots available for this bounty program ($400/AMPs/mo).  Please use this link for complete information and application form:  https://goo.gl/TYT1GQ

Many people in the Synereo Community have come to it from one social movement or another, in order to use the blockchain platform and its Apps as a tool to achieve their goals - from Privacy or Self-Determination, to Transparency and Open Source P2P.

If you use the internet to work in Communities like those, and want to learn more about the great potential of the Synereo ecosystem and then share that with others, you're probably perfect for the role!

Click here for details!  https://goo.gl/TYT1GQ



It's not so much skills, as relationships.  Of course, good relationship-building skills would be great!

Smiley

Please join our Discord channel for a variety of conversations: https://discord.gg/xrm56DV -  Visit the web site for general info: http://www.synereo.com/  -  Our Blog has important updates and summaries: http://blog.synereo.com
alexjonescrypto
Member
**
Offline Offline

Activity: 91


View Profile
July 01, 2016, 07:55:23 PM
 #992

I am interested in being an Amplifier. How do I start to get involved? What type of skills are you really looking for?

Nice vid guys.


Good time to re-post this!






There are a limited number of slots available for this bounty program ($400/AMPs/mo).  Please use this link for complete information and application form:  https://[Suspicious link removed]/TYT1GQ

Many people in the Synereo Community have come to it from one social movement or another, in order to use the blockchain platform and its Apps as a tool to achieve their goals - from Privacy or Self-Determination, to Transparency and Open Source P2P.

If you use the internet to work in Communities like those, and want to learn more about the great potential of the Synereo ecosystem and then share that with others, you're probably perfect for the role!

Click here for details!  https://[Suspicious link removed]/TYT1GQ



It's not so much skills, as relationships.  Of course, good relationship-building skills would be great!

Smiley


I have some relationships. Just not sure they are good enough for you guys. Smiley
fartbags
Legendary
*
Offline Offline

Activity: 1176


View Profile
July 02, 2016, 09:18:09 PM
 #993



Good idea. Good technology.

Bad management. Bad coin distribution.


Too centralized.



fartbags
Legendary
*
Offline Offline

Activity: 1176


View Profile
July 02, 2016, 09:48:21 PM
 #994



Good idea. Good technology.

Bad management. Bad coin distribution.


Too centralized.





Synereo LTD is extremely lucky that TheDAO failed. This old traditional company Synereo LTD style of doing business does not fit in with decentralization. Once a proper DAO is created then that DAO will take over development of this idea.



alexjonescrypto
Member
**
Offline Offline

Activity: 91


View Profile
July 03, 2016, 08:39:47 PM
 #995

http://themerkle.com/dao-attack-nullified-using-synereos-smart-contracting-language/



DAO Attack Nullified Using Synereo’s Smart Contracting Language

Designing expressive distributed protocols that can gracefully withstand attacks and manipulation is not a trivial task. Even solving a relatively simple use case, Bitcoin’s success in providing currency free of central control was certainly cause for celebration. When dealing with more complex problems, like financial contracts and governance, we have to step up our game.

Whether one believes the attack on the DAO was a problem in the contract or a flaw in Ethereum’s smart contracting language Solidity itself, it certainly highlights the need for better tools to help with the analysis of contracts deployed in mission-critical situations. To have such tools, a candidate for a smart contracting language needs to have a much greater level of precision in its specification. In fact, it needs a mathematically precise specification, usually called a formal semantics, to provide tools to analyze contracts that are to serve as dependable, production-quality services.

Without a formal semantics, it is impossible to reason about the code and specify what it does or to utilize any formal verification method to assure that it complies with any specification. For all intents and purposes, the only specification of Solidity’s semantics is its compiler to byte code for the Ethereum virtual machine (EVM). This compiler has not been formally verified. Likewise, the virtual machine running the code has not been verified, and so it is next to impossible to say anything meaningful about what contracts in Solidity are supposed to do.

Ethereum’s less rigorous approach has been cause for concern from day one, casually dismissed because most of us were ecstatic even just with the idea of a contracting system completely independent of any central entity or friction caused by middle-men. As has been predicted, we’re now at a point where a naive implementation free of a formal semantics can’t supply the sort of precision needed for proper analysis of mission-critical contracts. Further, as more and more smart contracts get written and deployed, it becomes more and more important to be able to analyze them, and even to analyze how they work together.

Synereo has been driving a mathematically rigorous approach to smart contracts since its inception so that it can provide the proper tool set for this kind of analysis. In a paper published by Jack Pettersson, Synereo’s language expert, and Greg Meredith, CTO, our approach is described through an example showing that Synereo’s Rholang smart contracting language would not allow the re-entrancy bug. This means that the security breach which allowed the attacker to drain The DAO of funds wouldn’t ever materialize in an equivalent Synereo implementation – all through automated checks during compilation.

Rholang is a language developed by Synereo specifically to support fine-grained concurrency inside smart contracts, with semantics derived from a mobile process calculus called the rho-calculus. As such, the Rholang compiler can use model checkers and theorem provers, useful particularly for checking and verifying contracts making use of concurrent and distributed processing of events. As Jack and Greg show, a modest type declaration, roughly similar to the kinds of types one finds in modern programming languages like Java and Scala, turns into a check in a model-checker — which when incorporated into the compiler pipeline as it is in Rholang — causes the compiler itself to prevent the malicious contract from ever existing in run-time.

Dao-Attack-info2

Before looking at some of the details, it’s useful to compare contract development to other fields. Consider the electrician’s job. Running current through a household is absolutely mission-critical. Get it wrong and the house burns down. There was a time when electricians were more like artisans, handcrafting wiring solutions, many of which were completely unsafe. Now, there are standardized components and best practices that not only allow electricians to assemble a wiring solution for a household out of well-understood components but also allow teams of electricians to cooperate to wire much larger buildings with power.

The approach Rholang adopts is a lot like that. Contracts and even smaller units of logic inside contracts use types to say whether it’s safe to plug things together. Programmers familiar with languages like Java, C# or other popular languages are very familiar with this approach to assembling programs out of components that come with descriptions for how to use them safely. The only new thing here is that Rholang’s types capture more information about what constitutes safe use.

How does it work?

In Rholang, developers may specify which contracts the applications they create can accept through defining the contracts’ behavioral types.

What are behavioral types? This is a new development in programming, where more information about the behavior and structure of the code is captured at a higher level than of the code itself. Types define certain rules and forms that the code must abide by; for example that an update to the contract’s state is carried out to completion before allowing the contract to be called on again.

The above, in essence, is the core of the flaw the attacker exploited in the DAO: the contract handling a request for withdrawal was called on again and again before it was allowed to finish updating its balance. In a concurrent setting, like Rholang, the update and the re-entrance to the contract are racing, and the compiler checks the type to see if such a race is considered safe. In Jack and Greg’s paper, the type for the contract explicitly declares that that race is not safe, and rightly so, the compiler rejects the contract code as not respecting the type. In the Solidity contract for the DAO, the problem is even worse because the code path for re-entering the contract is not just racing, it’s always favored over the completion of the update.

We wholeheartedly acknowledge that reasoning about concurrent and distributed computing is hard. The approach taken by Synereo looks to make developers’ lives easier, and in ways that don’t interrupt their flow. By integrating tools for compile-time formal verification and relying on behavioral types, we achieve three goals: 1, the developer gets two views of the program, one at the level of the code and another at the level of the type; 2, the compiler itself informs the developer that his intention, as manifested through the defined types, is not captured in the actual code; and 3, the verification is part of the development process. Developers are well accustomed to compilers type-checking their code.

This holistic view of formal verification as part of the development process from start to finish has other benefits. For example, it gives rise to a design-by-type discipline which, in the case of the DAO bug, would bring more attention to the essential issue. As we can see in the paper, the type abstracts away much of the details of the contract and focuses on where concurrency and non-determinism is allowed – and where it must be prevented. These, and other benefits of Synereo’s approach lend themselves well to creating completely decentralized applications and protocols which are both simple and robust.

In conclusion

It is only when the right tools are in place that we can expect the decentralized economy to materialize – and to start becoming relevant to people outside of the cryptocurrency movement.

Formal verification must become standard practice in mission-critical decentralized applications, in the finance realm and beyond. Alongside it, Synereo reputation mechanisms ensure humans are still involved in the mix, acting as sanity checks in edge cases that even the best-written code and most-refined contracts could not predict.

We believe our dialogue with Ethereum continues to be extremely fruitful and productive for the entire ecosystem. All of us can benefit from the different expertise each party can bring to the table. We believe Synereo has the leading platform for creating secure and scalable decentralized contracts and applications and are committed to bringing these tools to the developer community post-haste.
SynereoCommunity
Sr. Member
****
Offline Offline

Activity: 305


Your Network. Your Rules.


View Profile WWW
July 03, 2016, 11:01:49 PM
 #996


Synereo LTD is extremely lucky that TheDAO failed. This old traditional company Synereo LTD style of doing business does not fit in with decentralization. Once a proper DAO is created then that DAO will take over development of this idea.


Synereo's style of business is decentralized, not traditional.  This is not simply a black or a white choice; there is always more than one factor to consider, so there's always a spectrum to be described between centralized and decentralized, for each factor.  It's a process that always starts from the center, not unlike breathing.

Key features, like "consensus", or "theories" are centralized logical topologies - there's no getting rid of them!  (and we wouldn't want to!)

Because this is a cycling rhythm, the truth is that hybrid models will always outperform their ideologically extreme versions.

And most entertaining and ironic is this: "Once a proper DAO is created then that DAO will take over.."

That "proper DAO" is Synereo!  Of course it will "take over" itself.  Until then, we must work within the confines of the reality we live in today.

 Smiley

Please join our Discord channel for a variety of conversations: https://discord.gg/xrm56DV -  Visit the web site for general info: http://www.synereo.com/  -  Our Blog has important updates and summaries: http://blog.synereo.com
laplings
Newbie
*
Offline Offline

Activity: 1


View Profile
July 04, 2016, 11:41:31 AM
 #997

DAO Attack Nullified Using Synereo’s Smart Contracting Language
http://themerkle.com/dao-attack-nullified-using-synereos-smart-contracting-language/
ni77017528ya@163.com
Member
**
Offline Offline

Activity: 98


View Profile
July 04, 2016, 03:36:49 PM
 #998

Hi,AMP want to go to China to trade website?
alexjonescrypto
Member
**
Offline Offline

Activity: 91


View Profile
July 04, 2016, 10:15:17 PM
 #999

Daily high of 0.00019658 which I would say is the second highest mark ever for AMP? Good job team. I think lots of exciting things coming in the coming weeks.
allbits
Newbie
*
Offline Offline

Activity: 21


View Profile
July 05, 2016, 05:04:25 AM
 #1000

wts 250,000 amp
Pages: « 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 [50] 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 ... 401 »
  Print  
 
Jump to:  

Sponsored by , a Bitcoin-accepting VPN.
Powered by MySQL Powered by PHP Powered by SMF 1.1.19 | SMF © 2006-2009, Simple Machines Valid XHTML 1.0! Valid CSS!