Category: Smart Contract Languages

Consensys Diligence explains the Halo2 zero-knowledge prover and highlights bugs that can affect security of Halo2 circuits.

We’ve been building a new experimental smart contract programming language. This post will share what we came up with.

The security risk profile for blockchain protocols and application is quite demanding. With high incentives to play foul and potentially severe consequences for all participants. No wonder we were surprised to find out that security was not yet explicitly part of Ethereum’s core change management process. Good thing, this finally changed.

Solidity is getting bigger! We are doing a series to present you with the language’s future plans and hopefully spark a conversation on merits and use cases.

Consensys Diligence conducted a preliminary review of the Vyper compiler.

A cautionary tale of a young serpent in a big world