Ethereum Ethereum trading be like

Ethereum trading be like
PSA: We can safely raise the gas limit a bit since uncle rates are very low. Ask your favorite mining pool to vote for an increase today:)
Ethereum Denver - September 23rd - An Evening with Chainlnk
Just letting you know that Formality, an upcoming EVM-targeting (proof)gramming language, has evolved a lot in the last few months!
Coinbase launches fund to invest in DeFi protocols, depositing 2 million USDC in Compound, dYdX
MythX is live! Detect smart contract security vulnerabilities with our automated security analysis tool
Calls Rise For Blocksize Increase as Ethereum Fees Near 10 Cent
What is FairWin and why is it DDoS-ing Ethereum?
Anti-correlation penalty scheme in PoS
0x Ecosystem Update - August 2019
ProgPoW Audits by Least Authority and Bob Rao Released
Monolith CEO Mel Gelderman was live with a community mod to answer recurring questions about the decentralised banking alternative the team is building
Halo: Recursive Proof Composition without a Trusted Setup - Electric Coin Company
Nimbus Grant Details - Native implementation of libp2p in collaboration with Protocol Labs & Ethereum Foundation
Gemini custody service expands to 18 cryptocurrencies. Adds 12 new ERC-20 tokens to the list which was unchanged since 2015
All 20 talks from Oslo Blockchain Day 2019 made available online!
Excited to announce the release of the new Melon Monitoring Tool, built using the @GraphProtocol . Check out all the cool new features described in this blog post....
Video of Vinay Gupta, Polkadot, Opera, Blockchangers and Maker discussing Ethereum's future with Elon Musk and Vitalik Buterin
Aragon biweekly: Launching 0.8 this week, Unchained Podcast interview with Luis Cuende, Jorge Izquierdo talks Aragon and DAOs on Zero Knowledge, aragonCLI 6.2.5 released
The next time someone asks you “when should I buy crypto?” just forward them this

Posted: 10 Sep 2019 10:45 AM PDT

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

PSA: We can safely raise the gas limit a bit since uncle rates are very low. Ask your favorite mining pool to vote for an increase today:)

Posted: 10 Sep 2019 05:40 PM PDT

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

Ethereum Denver - September 23rd - An Evening with Chainlnk

Posted: 10 Sep 2019 09:28 AM PDT

RSVP here: https://www.meetup.com/Ethereum-Denver/events/264722788/

Hi everyone -

For our latest meetup, we'll be hearing from another intriguing Ethereum-based project: Chainlink

At this event you'll discover how Chainlink enables highly reliable externally-connected smart contracts.

Not familiar with blockchain/smart contracts? That's OK! No prior technical knowledge is necessary; we'll touch on some of the innovation regarding how Chainlink achieves decentralization and security. Our presenter is Delano: a smart-contract and systems integration enthusiast.

About the project:

Chainlink is a decentralized oracle network that enables smart contracts to securely access off-chain data feeds, web APIs, and traditional bank payments. Chainlink is consistently selected as one of the top blockchain technologies by leading independent research firms such as Gartner.

It's well-known for providing highly secure and reliable oracles to both large enterprises (SWIFT) and leading smart contract development teams (Web3 Foundation, Hedera, OpenLaw, Zeppelin, Accord and more).

Agenda:

6 PM - Food and Drinks
6:45 PM - Presentation
7:15 PM - Q&A and Networking

Special thanks to our sponsor, ShapeShift. Check out the new platform at www.shapeshift.com. Buy and trade crypto securely and without friction in a gorgeous new interface!

See you then,

The Ethereum Denver Team

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

Just letting you know that Formality, an upcoming EVM-targeting (proof)gramming language, has evolved a lot in the last few months!

Posted: 10 Sep 2019 04:34 PM PDT

Formality is an upcoming proof/programming language that combines optimal reductions with dependent types, theorem proving and so on. When I last posted about it, I told you the project was an experiment that wasn't really meant to be used yet. The amount of things that have been done in the last months is so huge that, at this point, I'm proud to say it is actually usable... ish. There is still a lot to do until we reach the levels of Agda, Idris, etc., but, regardless, we already have a great working language with documentation, a nice CLI, typed holes, helpful error messages, a readable syntax and so on.

So, if you find some time, please download it and have some fun proving stuff and getting your mind blown by elementary affine logic, self types, runtime fusion and so on! We're even trying to figure out how to implement higher inductive types with Self (which is slightly complicated by the fact I don't know much about them yet, but, from what I've heard, seems like Self Types are enough!?).

Our docs: http://docs.formality-lang.org

Main repo: https://github.com/moonad/formality

Telegram group: https://t.me/formality_lang

Will be delighted to hear about your experience with it!

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

Coinbase launches fund to invest in DeFi protocols, depositing 2 million USDC in Compound, dYdX

Posted: 10 Sep 2019 10:10 AM PDT

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

MythX is live! Detect smart contract security vulnerabilities with our automated security analysis tool

Posted: 10 Sep 2019 07:09 AM PDT

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

Calls Rise For Blocksize Increase as Ethereum Fees Near 10 Cent

Posted: 10 Sep 2019 10:07 AM PDT

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

What is FairWin and why is it DDoS-ing Ethereum?

Posted: 10 Sep 2019 01:35 PM PDT

It's the biggest gas guzzling contract by far (47%+) according to ETH Gas Station (https://ethgasstation.info/gasguzzlers.php).

So, who are they and why are they -- for lack of a better word -- attacking Ethereum?

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

Anti-correlation penalty scheme in PoS

Posted: 10 Sep 2019 08:03 AM PDT

Are there any quantitative/ballpark estimates for how severely a validator would be penalized for correlated downtime with an very large number of nodes?

e.g. in an extreme case, lets say 20 million ETH are staked and 5 million are staked on Binance. If there is a massive attack on Binances and those validators are down for a couple days, how high would the penalty be? Would it be sufficiently high to discourage staking in this way? u/vbuterin u/bobthesponge1 u/av80r

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

0x Ecosystem Update - August 2019

Posted: 10 Sep 2019 11:22 AM PDT