• Breaking News

    Monday, June 3, 2019

    Home Unlabelled Ethereum Microsoft releases an open-source formal verification tool for Solidity smart contracts

    Ethereum Microsoft releases an open-source formal verification tool for Solidity smart contracts

    June 03, 2019

    Ethereum Microsoft releases an open-source formal verification tool for Solidity smart contracts

    Microsoft releases an open-source formal verification tool for Solidity smart contracts

    Posted: 03 Jun 2019 12:51 PM PDT

    READ: Dear Ethereum Community. We Have A Problem!

    Posted: 03 Jun 2019 01:38 AM PDT

    Intro:

    I am hoping that a community here can vote this up so the problem reaches the core and wider community members and can be given a higher priority. It looks like most people are not aware of this being a major issue as such.

    I represent an engineering team of 14 people and for the last couple of years we have been heavily buidling on a full time basis. We are ideologically inclined to build applications that are truly decentralized. The key parameter for us is to have apps that can INDEPENDENTLY VERIFY the state of blockchain and can't be controlled, censored or blocked.

    The problem:

    We build decentralised apps so I will take one such app as an example.

    In a context of crypto wallet mobile app it's possible to have the above criteria met for the Bitcoin, Bitcoin Cash, Dash and many other Bitcoin forks but not for the Ethereum just yet.

    The main issue is that there are just way too few Ethereum nodes that are eager to serve the SPV enabled clients. A decentralized app (is an SPV client) needs to be able to validate the state it receives from the blockchain rather than TRUST some middle man (ex: infura.io).

    As there are way too few nodes an SPV-enabled app is not able to synchronize with and validate the state of the blockchain within the acceptable time duration. It's a SERIOUS problem for mobile devs who are trying (will try) to build truly decentralised apps because a mobile app has an average session of just a few minutes.

    We have built a wallet app that has an SPV mode for BTC, BCH, DASH and ETH. And while the code for ETH (known as LES client) is in place it simply doesn't work in a practical sense. In the next release we are deliberately going to encourage users NOT TO ENABLE LES mode because the app will take several days if not more to sync with the ETH blockchain while for all other blockchains it's a matter of a few hours. The sync time is significantly faster on those blockchains as there are plenty of nodes that are always online and available to serve the SPV client.

    As a community we CAN NOT expect to see decentralised apps built on top of Ethereum before this problem is addressed. An app which doesn't work in a decentralised manner is NOT CENSORSHIP RESISTANT and is PRONE TO MANIPULATION.

    Potential solution:

    A temporary fix that should significantly improve the current state of affairs is if the LESS protocol setting on the Geth node enabled by default. This would surely make things harder for miners.

    An alternative option would be to get something similar to https://vipnode.org

    Peace!

    GitHub.com/horizontalsystems

    horizontalsystems.io

    submitted by /u/esengulov
    [link] [comments]

    StarkDEX: Bringing STARKs to Ethereum

    Posted: 03 Jun 2019 09:14 AM PDT

    Blockchains LLC acquires Slock.it

    Posted: 03 Jun 2019 07:21 AM PDT

    Blockchain fees are broken. Here are 3 proposals to fix them

    Posted: 03 Jun 2019 01:08 PM PDT

    Hackathon Muñón: We just launched a landing page! - A decentralized hackathon running on eth

    Posted: 03 Jun 2019 10:04 AM PDT

    How a poorly coded Ethereum smart contract disrupted an ISP in rural Oregon.

    Posted: 03 Jun 2019 02:59 PM PDT

    Solidity 0.5.9 & More | The Blockchain Dev Digest

    Posted: 03 Jun 2019 12:35 PM PDT

    Ethereum Foundation | Consensus 2019

    Posted: 03 Jun 2019 02:42 PM PDT

    Teaching a layperson about ethereum

    Posted: 03 Jun 2019 04:37 PM PDT

    Does anyone have any good resources to help teach the average person about ethereum? I found in my interactions and trying to teach everyone they are really not that up to speed on it. I'm talking even the very basic stuff like addresses and sending transactions. Maybe someone has some nice diagrams or basic info that isn't too long of a read?

    It seems most people just know about it from news articles but not the slightest clue how it even remotely works or how they can use it .

    submitted by /u/adam_the_great
    [link] [comments]

    EY Nightfall for regular people?

    Posted: 03 Jun 2019 01:21 AM PDT

    Is there any way in which EY Nightfall confidential transactions could be used by regular ETH users? I'd love to eg. send some tokens/ETH to another address without leaving trace. I understand that this is quite expensive right now and requires deployment of some smart contracts which may be not trivial. Is it possible that one can use contracts deployed by some else in a trustless way?

    submitted by /u/reuptaken
    [link] [comments]

    Ethfinex Trustless - Blockchain enforced OTC now available. No more escrow or counterparty trust!

    Posted: 03 Jun 2019 06:23 AM PDT

    Turms Anonymous Message Transport — Step by Step

    Posted: 03 Jun 2019 07:54 AM PDT

    Is there any legit ethereum sports betting site?

    Posted: 03 Jun 2019 05:38 AM PDT

    Are There Any ETH Debit Cards for U.S. Residents?

    Posted: 02 Jun 2019 08:26 PM PDT

    Banksy - ArtistsTradingCard | currently 10 ETH on OpenSea

    Posted: 03 Jun 2019 03:01 PM PDT

    Everything you need to know about MakerDao and Dai

    Posted: 03 Jun 2019 06:05 AM PDT

    Details about PoS rewards?

    Posted: 03 Jun 2019 11:44 AM PDT

    What's the latest info regarding ETH's switch to PoS? More importantly, when it happens, how much % are staking rewards going to be? Thanks!

    submitted by /u/Vice061
    [link] [comments]

    The Elk Is a Tiny Prototyping Board for Building Blockchain-Connected Devices - CoinDesk

    Posted: 03 Jun 2019 05:44 AM PDT

    History Cross-Post: interesting account of the DAO hack aftermath

    Posted: 03 Jun 2019 11:06 AM PDT

    Add to your calendar Ethereum (ETH) event: ETHBerlinZwei - August 23, 2019

    Posted: 03 Jun 2019 06:00 AM PDT

    How does Nexus Earth blockchain help space exploration?

    Posted: 03 Jun 2019 07:29 AM PDT

    Where does blockchain-powered gaming stand today? - Proof-of-News.com

    Posted: 03 Jun 2019 07:11 AM PDT

    A quick look at most things Crypto in May 2019!

    Posted: 03 Jun 2019 06:39 AM PDT
    Read more
    at

    No comments:

    Post a Comment