Formal verification

Latest Formal verification news and analysis from CoinDesk, the leader in crypto journalism. Read in-depth coverage, expert insights, and price updates.

Markets

PwC Switzerland Incorporates ChainSecurity Team to Expand Blockchain Audit Tools

Officially, it’s not an acquisition. But seven technical engineers are joining the accounting firm to bolster its smart contract auditing abilities.

By Nate DiCamilloJan 10, 2020

of 1

Latest Crypto News

Today

8:45 PM

Positive

BTC0.00%

Trump-linked Truth Social seeks SEC approval for two crypto ETFs

The filings include a bitcoin and ether ETF and a staking-focused Cronos fund, deepening the Truth Social brand’s ambitions in digital asset investing.

7:25 PM

Neutral

Crypto group counters Wall Street bankers with its own stablecoin principles for bill

After the bankers shared a document at the White House demanding a total ban on stablecoin yield, the crypto side answers that it needs some stablecoin rewards.

4:22 PM

Neutral

BTC0.00%

Wall Street analysts slash Coinbase price targets after Q4 miss — but shares rally

Barclays, Benchmark, Clear Street, and JPMorgan all cut targets, citing weak retail trading and macro headwinds.

3:19 PM

Positive

U.S.-based DeFi group urges UK FCA to anchor crypto rules to 'unilateral control'

DeFi Education Fund says developers of non-custodial protocols should not be regulated as intermediaries under the U.K.’s proposed crypto regime.

Explore Latest News

Newsletters

CoinDesk Headlines

The biggest crypto news and ideas of the day.

Preview

By signing up, you will receive emails about CoinDesk products and you agree to our terms & conditions and privacy policy.