Bitcoin Forum
May 13, 2024, 10:01:40 AM *
News: Latest Bitcoin Core release: 27.0 [Torrent]
 
   Home   Help Search Login Register More  
Pages: [1]
  Print  
Author Topic: 【Synereo】我们投资Synereo的几个原因  (Read 1283 times)
Synereo_zh (OP)
Full Member
***
Offline Offline

Activity: 126
Merit: 100


View Profile
August 11, 2016, 09:36:55 AM
Last edit: September 14, 2016, 03:10:18 PM by Synereo_zh
 #1

大家好,希望可以解答一些大家对Synereo现有的顾虑。

问答#1 我为什么投资Synereo

许多加密货币项目发布得很匆忙,且有很多安全漏洞,使用户面临重大风险。Synereo如何解决安全问题?
Synereo通过规范化的方法降低风险。规范化的验证运用了定理证明和模型检测达到所有规格的实现,使 每一个人都能审查开源代码。通过雇佣大量的测试人员测试潜在问题,可以加强其安全。
我们的技术已经开发很久了,是最好的使用方法,并充分考虑安全问题。Alpha dApp(初步测试的 Alpha 分布式 APP)无需太多股份,因此用户不必担心亏损。随着测试继续进行,我们会加码,引入更多的功能,并加大金融股份,循序渐进地加强系统。

Synereo 一共开发了多久,项目何时开始?
Dor Konforty是注意力经济模型的创始人。他受训于以色列空军信息技术部门,硕士毕业于生物神经学领域。Synereo的首席技术官GregMeredith从2009年开始从事科技工作至今,为众多大数据方面的互联网规模创立构架基础,全面持续地提供着服务设计、发展、执行和管理。 他曾担任微软的首席设计师, 目前拥有一只年轻的团队,并且深受志同道合的同行团体支持。

2014年,Greg Meredith 和 Dor Konforty 开启 Synereo 项目。并一直会保持项目的开发初衷,铸造一个支持平台所有运作的注意力经济引擎。
团队坚持“龟兔赛跑”的运用系统开发理念,确保产品的可扩展性安全性。他们致力创建一个与当下流行的区块环链应用竞争的分散化经济平台。(相当于以太坊的升级版,另外还嵌入了一个AttentionEconomy-注意力经济体系,可以运行APP。比基于POW的平台更能大规模运用,扩展。)

这是不是只是做做样子,背后其实并没有那么多工作,也许更糟?
项目开始后,我们每周都在对分散节点软件和Alpha社交平台进行测试。

Synereo 不但创立了一个让用户和新型分散经济接轨的平台,它本身无需依赖于任何中央服务器或权威性平台。

Synereo 支持的dApps (Decentralized Aplication)为用户与用户之间的交流更加安全方便。

Synereo 正在开发以微积分为基础的区块环链2.0算法结构。我们已经公布了这方面的信息,以及这将应用到的权益证明的相关规则。

Synereo的Rholang基于进程演算,进程演算是专为分布式计算和并行计算系统设计而生的。是市场上唯一一个可扩展的平台。

Synereo是集中型还是分散型的项目,和其他项目对比如何?

Synereo是分布式的。

Synereo核心是进程演算。进程演算是专为分布式计算和并行计算系统设计而生的。以进程演算为基础,Synere团队可以创造最全面,最可靠的P2P平台。

容量储存和分配绝对无需通过中央实体,用户拥有绝对的控制权。

AMP的群售即将上市,你能解释一下吗?是否至使用旧币,或者像其他人说的那样 新的AMP将给之前的投资者带来风险?
群售资金是事前就承诺的;所以新的AMP会用于筹备资金。存放资金的钱包由第三方管理。当越来越多的AMP加入,越来越多的用户参与,他们就会变得越来越值钱。

我们的资金政策从开始的第一天就公布了,一直未变:
https://docs.google.com/document/d/1zLBm8OHt5-81flihJ6iSKEm0WbRa6FL0mJ5ivBN34Po/edit

所有交易都有记录。
https://docs.google.com/spreadsheets/d/1r1G-ROS4vgHK84qfn1CBIxuXZQCCvIicCTQSxW1T_mo/edit#gid=0

创始人们还未使用AMP,同样地,大部分人都是在最初的群售买入AMP,许多人是以奖金的形式获得AMP的。
https://docs.google.com/spreadsheets/d/1r1G-ROS4vgHK84qfn1CBIxuXZQCCvIicCTQSxW1T_mo/edit#gid=1156984041

你预计什么时候人们可以测试使用Synereo,并且测试将分几个阶段?会不会有Alpha和Beta的测试?或者AMP会尽快投入使用,然后测试版就可以使用实际货币?
我们目前的产品有很多都可以使用,包括分散节点软件。我们正在研究如何让节点更易安装。

我们将会雇佣小规模的测试人群进一步改善Alpha在平台社交层面的使用。这可以为发展、产品和设计团队提供一个实时分散式的测试网络,并且可以反复调试整个平台的所有功能,对注意力经济的各个方面进行测试。正是这样,Synereo才显得独一无二。

Join our slack where the conversation is happening http://slack.synereo.com/
The forum was founded in 2009 by Satoshi and Sirius. It replaced a SourceForge forum.
Advertised sites are not endorsed by the Bitcoin Forum. They may be unsafe, untrustworthy, or illegal in your jurisdiction.
1715594500
Hero Member
*
Offline Offline

Posts: 1715594500

View Profile Personal Message (Offline)

Ignore
1715594500
Reply with quote  #2

1715594500
Report to moderator
1715594500
Hero Member
*
Offline Offline

Posts: 1715594500

View Profile Personal Message (Offline)

Ignore
1715594500
Reply with quote  #2

1715594500
Report to moderator
czytygs
Member
**
Offline Offline

Activity: 74
Merit: 10


View Profile
August 14, 2016, 02:23:51 AM
 #2

关注下!!!
skyred_flyyang
Full Member
***
Offline Offline

Activity: 126
Merit: 100


View Profile
August 14, 2016, 05:22:15 AM
 #3

看着挺不错的样子,关注下!
muistapha
Full Member
***
Offline Offline

Activity: 126
Merit: 100


View Profile
August 14, 2016, 07:02:54 AM
 #4

新币挺多,都快看不过来了!
coin2.0
Sr. Member
****
Offline Offline

Activity: 622
Merit: 251

love coins


View Profile WWW
August 14, 2016, 08:41:38 AM
 #5

原来是基于OMNI的
Decent4444
Newbie
*
Offline Offline

Activity: 31
Merit: 0


View Profile
August 20, 2016, 05:06:12 PM
 #6

在中文区发帖感觉有点像国产币打小广告
Big rabbit
Newbie
*
Offline Offline

Activity: 39
Merit: 0


View Profile
August 20, 2016, 05:32:22 PM
 #7

骗小白啊
YangNation
Newbie
*
Offline Offline

Activity: 24
Merit: 0


View Profile
August 21, 2016, 12:43:28 PM
 #8

新币挺多,都快看不过来了!

是的,新币层出不穷,可以看看 icocountdown.com 和 btc12.com。 他们分析区块链项目的。
scoffild
Sr. Member
****
Offline Offline

Activity: 366
Merit: 250



View Profile
August 21, 2016, 12:57:27 PM
 #9



       █
      ██
     ██
   ██ ██
 █ ██ ██
██ ██ ██
██ ██ ██
██ ██ ██
██ ██ ██
██ ██ ██
   
       █
      ██
     ██
   ██ ██
 █ ██ ██
██ ██ ██
██ ██ ██
██ ██ ██
██ ██ ██
██ ██ ██
  B

          ▄▄▄▄▄▄
     ▄▄████████████▄▄
   ▄█████▀▀    ▀▀█████▄
  ████▀            ▀████
 ████                ████
▐███                  ███▌
███▌                  ▐███
▐███           ▄▄     ███▌
 ████         ▀███▄  ▐███
  ████▄         ▀███▄███
   ▀█████▄▄     ▄█████▀
     ▀▀████████████▀▀
          ▀▀▀▀▀▀
T 
Better. Quick.

Transparent.






             ▄████▄▄   ▄
█▄          ██████████▀▄
███        ███████████▀
▐████▄     ██████████▌
▄▄██████▄▄▄▄█████████▌
▀████████████████████
  ▀█████████████████
  ▄▄███████████████
   ▀█████████████▀
    ▄▄█████████▀
▀▀██████████▀
    ▀▀▀▀▀






▄█████████████████████████▄
███████████████████████████
███████████████▀       ████
██████████████      ▄▄▄████
██████████████    ▐████████
██████████████    ▐████████
██████████            ▐████
██████████            █████
██████████████    ▐████████
██████████████    ▐████████
██████████████    ▐████████
▀█████████████    ▐███████▀






                   ▄▄████
              ▄▄████████▌
         ▄▄█████████▀███
    ▄▄██████████▀▀ ▄███▌
▄████████████▀▀  ▄█████
▀▀▀███████▀   ▄███████▌
      ██    ▄█████████
       █  ▄██████████▌
       █  ███████████
       █ ██▀ ▀██████▌
       ██▀     ▀████
                 ▀█▌
Synereo_zh (OP)
Full Member
***
Offline Offline

Activity: 126
Merit: 100


View Profile
August 21, 2016, 01:04:41 PM
Last edit: September 14, 2016, 02:42:24 PM by Synereo_zh
 #10

设计分散式表达的能够优雅地抵抗攻击和操纵的协议并不是一个无足轻重的工作。甚至解决一个相对简单的使用实例,比特币在提供免受中央控制的货币这方面的成功,就担得起赞扬。当处理更复杂的问题如金融合约和治理时,我们须要建立我们的规则。

不管人们认为DAO被攻击是由于合约的问题,还是以太坊智能合约语言Solidity本身的缺陷,无疑它都强调了对更好的工具的需求,来助力对于部署在任务关键型状况下的合约的分析。为了拥有这样的工具,智能合约语言的候选者需要在它的规格上有更高水平的精密度。实际上,它需要一个在数学上极为精密的规格——通常叫做正式语义——提供工具来分析作为可靠的、具有量产级服务的合约。

没有正式的语义,就不可能推论代码,也不可能详细说明它的作用或者利用任何形式化验证方式来确保遵从任何规格。无论是出于什么意图和目的,Solidity语义的唯一规格是它为以太坊虚拟机(EVM)所编译的字节代码。这个编译程序还没有被正式验证。 而且,这个虚拟机运行的代码也没有被验证,因此对于 Solidity 的合约应当做什么,我们几乎不能说出什么所以然来。

以太坊的缺乏严密性的方法从第一天起就已经引起担忧,随意拒绝受理,因为我们大多数人仅仅只是听到完全独立于任何中央实体或由中间人导致摩擦的合约系统的构想就已经欣喜若狂。正如所预料的,我们正处于一个阶段,此时一个单纯的对正式语义的免实施并不能提供适当分析任务关键型合约所需的那种精确度。而且,随着越来越多的智能合约的编写和部署,能够分析它们、甚至于分析它们如何共同运作也变得越来越重要。

Synereo创始之初就在对智能合约推动一个数学严密的方法,因而它能够为这类分析提供合适的工具装置。在一篇由Synereo的语言专家 Jack Pettersson和首席技术官Greg Meredith发表的文章中,我们的方法是通过一个表明Synereo的Rholang智能合约语言不会允许重入漏洞的例子进行描述的。
这意味着允许黑客洗劫DAO资金的安全缺口永远不会在同等的Synereo实施中实现——在编写过程中全都是通过自动化检查。

Rholang是由Synereo特别开发的支持智能合约内的细粒度的并发性的语言, 语义来源于一个叫做rho演算 的移动处理演算。像这样,Rholang编译器可以使用模型校验器和定理证明程序,这对利用同时存在的、分散的事件处理校验和验证合约尤其有用。正如Jack 和Greg所言,一个谦逊的类型宣言,几乎与人们在现代编程语言中看到的如Java和Scala这些类型相似,变成一个模型校验器的校验——像在Rholang里那样,它包含了编译器管道——导致编译器本身可以在运行中防止恶意合约的存在。

在查看一些细节之前,将合约发展与其他领域进行对照是非常有益的。想一想电工的工作。在住户中通电绝对是一项任务关键型工作。接错线就可能使房屋烧毁。曾经有一段时间,电工更像是工匠,以手工解决接线,许多都是非常危险的。现在,标准化的零件和最好的练习不仅允许电工使用易于理解的零件给服务配电,而且允许电工团队合作来给更大的建筑物接上电线。

Rholang 采用的方式跟那个很像。合约、甚至是合约内更小的逻辑单元使用 类型来表明将事物拉到一起是否安全。熟知Java、C#或其他流行语言的程序员对这种从零件中聚集那些伴随着安全使用描述的程序指令之方法非常熟悉。唯一的新异之处在于,Rholang的类型 能够夺得更多的关于什么构成安全使用的信息。

它是如何工作的?

在Rholang上,开发者会通过定义合约的行为类型来指定他们创建的应用程序可接受的合约。

什么是行为类型?这是编程的新发展,关于代码行为与结构的更多信息在更高水平上被获取,而不仅仅是代码本身。类型定义是,代码必须遵循的一定的规则和约束;比如 合约状态的更新在允许合约被再次请求之前被执行完成。

以上,实际上就是攻击者在DAO中因以牟利的核心缺陷:处理取款需求的合约在被允许完成更新之前被一再地请求。在一个并行环境中,如Rholang,合约的更新和重入将竞争,并且编译程序检查类型、查看这个竞争是否确认安全。在Jack 和 Greg的文章中,合约的类型明确表明那个竞争并不安全,而且理当如此,编译程序拒绝没有遵循合约类型的代码。在DAO的Solidity合约中,问题甚至更严重,因为重新进入合约的代码路径不单单是在竞争,它总是支持更新的完成。

我们真心承认,推理并行且分散化的计算机运作是很困难的。Synereo采用的方法看起来让开发者生活得更简易些,而且使用的方法不会干扰他们的生活。通过整合编译时间形式化验证的工具,并且依靠行为类型,我们能够达到3个目标:1开发者得到程序的两个观点,一个在代码水平上,另一个在类型水平上;2编译程序本身通知开发者自己的意图,通过定义的类型来显现、而不会被实际代码捕捉;3 验证是开发过程的一部分。开发者非常习惯于编译程序对代码的类型检查。

形式化验证作为开发过程一部分的整体观从始至终都有其他好处。比如,它产生一个用类型进行设计的规则,在DAO的漏洞中,会更加注重本质问题。正如我们在文章中看到的,类型抽除掉合约的许多细节,并且聚焦于并发性和非确定性在哪里是被允许的——在哪里是不被允许的。Synereo方法的这些以及那些好处使他们自己 能够简单粗暴地创建完全分散化的应用程序和协议 。

总结

只有当正确的工具被正确使用,我们才能期待分散化经济走向具体化——并且开始变得与加密货币运动外的人们息息相关。

形式化验证必须在经济和其他领域,在任务关键型的分散化应用程序中成为普遍做法。此外,Synereo的信誉机制确保人们仍然 处于参与状态下,在即使是写得最好的代码、最精制的合约也不能预测的边缘情况下进行完整性检查。

我们相信我们与以太坊的对话对于整个生态系统而言都始终是极为富有成效的。我们都可以受益于每个同行展现的不同专业技能。我们相信Synereo 拥有创造安全的、可伸缩且分散化的合约与应用程序的主导平台,并且致力于将这些工具尽快地带进开发者社区。

(注:本文作者为Synereo的首席执行官Dor Konforty)

原文:http://themerkle.com/dao-attack-nullified-using-synereos-smart-contracting-language/
作者:Dor Konforty

Join our slack where the conversation is happening http://slack.synereo.com/
Synereo_zh (OP)
Full Member
***
Offline Offline

Activity: 126
Merit: 100


View Profile
August 21, 2016, 01:14:25 PM
Last edit: September 14, 2016, 02:42:43 PM by Synereo_zh
 #11

Synereo 正在努力寻找 DAO如何恰当发挥作用

当一个系统并非完全自动,但需要人们有智能合约中定义好的角色时,需要将人为因素考虑进来。他们将参与对分散化系统的管理,而不是像以太坊那样的全自动系统的情形。

相信谁?

这紧随最近以太坊平台上的DAO——或言分散化匿名组织——的黑客事件,它导致了恢复被盗资金时的硬分叉方案。也已经导致了ETH 和 ETC ——以太坊经典的分离。

在比特币播客第75集的一篇题为聚焦经济的采访中,Synereo的首席技术官Greg Meredith——被认为是计算领域的专家,拥有许多学术性出版物——坚决认为让计算机程序完全自动是一个风险。

Meredith说:

“你不能视觉上检验和调查一个程序,然后就说正在发生什么。即使你调查其他种类的自动化方法,真正弄明白程序能做的所有迂回曲折也会变得非常困难。电脑程序是神秘的。但是他们没有那些让我们互相联系在一起的人类品质。在此时,不经过任何反思就将王国密钥交给这个新的自动代理并不是好的提议。我认为那就是我们所处的情形。”
greg synereo

数以亿计相互联系的合约可以干什么?

根据Meredith的看法,电脑语言和程序是建立在一定操作范围内的数学上的。它们可以做的事情和事情的范围都不是能够充分得知的。

Meredith解释说:

“首先,你不能用单个程序就知道。当我们想象数以百万计的合约以及这些合约的例子时,事情就更复杂了。第二个百万是那些正在运行的合约的例子。所以我们正在谈论的是字面意思的数以亿计相互联系的合约。想想那个,我们就能理解那个规模的动态了——我们真的知道不了。”
在采访的早期阶段,播客的主持人说Synereo形式化验证的智能合约语言Rholang本可能阻止对DAO的攻击。

他们还说,他们从关于共享Synereo的“DAO防攻击”代码的许多对话中收到积极的回复。与该平台合作以及利用他们的智能合约框架的兴趣提升了。

Synereo和它的社会模型

Synereo提供一个社会模型——在它的代码中整合对同情心的测量。他们的信誉机制确保人们之间仍然需要信任,将指派给他们的控制扣进形式化验证的智能合约中——使信任更难以被滥用。

在他们想用它为分散化社交网络创建一个可持续模型来赚钱之前,它背后的技术已经发展了四年多了。

到九月份,它的Alpha版本将作为一个试验网风格的程序开始。这将使它的团队能够就问题与用户共同工作,倾听想法,获得进步,以及在带来智能合约、给DAOs或DCOs 等提供资金之前验证方法。


原文:https://cointelegraph.com/news/synereo-cto-on-dao-bitter-lesson-how-to-avoid-trust-abuse
作者:Olusegun Ogundeji

Join our slack where the conversation is happening http://slack.synereo.com/
YangNation
Newbie
*
Offline Offline

Activity: 24
Merit: 0


View Profile
August 26, 2016, 02:27:09 AM
 #12

如果大家希望继续跟踪Synereo,可以到 8btc.com 来: http://8btc.com/forum-129-1.html
aa417444103
Member
**
Offline Offline

Activity: 107
Merit: 10


View Profile
August 27, 2016, 08:55:03 AM
 #13

币是不错,可惜已经是接盘的节奏了。一期0.0188的ico成本,二期要1元了。难道还博升值10倍么?
Wei H
Legendary
*
Offline Offline

Activity: 1192
Merit: 1001


Chinese translator


View Profile WWW
August 27, 2016, 02:37:15 PM
 #14

问答#1 我为什么投资Synereo

这几乎是每个ICO 都会使用到的词语了。
bitchdanac
Newbie
*
Offline Offline

Activity: 12
Merit: 0


View Profile
August 28, 2016, 01:07:10 PM
 #15

Dana Chen (陈达晴)  现Shapeshift亚洲区市场总监,Synereo混日子的母狗bitch

你全家死了,又来Synereo行骗了,你妈卖身找的这份工作。

shapeshift的工作,年薪30w加股份,再加上你卖身的收入,还没法买房,还要出来行骗?你他妈的14年抢老子shapeshift中国区市场总监的工作,本来那工作是老子的,因为老子忙,晚回了Eric Voorhees,然后你帮他口交就把我工作抢了,你刚来时候对比特币可是一窍不通的,老子被你踢走只当了你的咨询?老子作为你币圈师傅,教你入门,你他妈不懂得感恩。去你妈的,4小时的咨询时间,第一次花了3.5小时,你他妈说你才用了2小时,然后CEO背后说老子坏话。最后把我从这个公司赶走,你他妈老子本该在这边干2年亚洲市场总监,你他妈的欠老子60万人民币和股份。草你妈币,不给你师傅道歉,老子骂死你全家一辈子。

就你这垃圾翻译水平还敢跟你爹抢工作?crowdsale翻译成群售,笑死人,centralized翻译成集中,decentralized翻译成分散,笑死人,就他妈不懂比特币的人翻译的,你他妈谷歌搞的骗synereo ceo的吧,草你妈币。

大家不要投资synereo,人渣当领导的公司不是好公司,是圈钱的垃圾币
Pages: [1]
  Print  
 
Jump to:  

Powered by MySQL Powered by PHP Powered by SMF 1.1.19 | SMF © 2006-2009, Simple Machines Valid XHTML 1.0! Valid CSS!