Open in app
Sign inGet started
Release of Securify v2.0

Release of Securify v2.0

We are happy to announce Securify v2.0, the new release of the popular security scanner for Ethereum smart contracts. Securify v2.0…
Go to the profile of Petar Tsankov
Petar Tsankov
PolPatrol — Validator for Polkadot Runtimes

PolPatrol — Validator for Polkadot Runtimes

ChainSecurity is happy to release PolPatrol, an automated validator for testing the stability and security of Polkadot relay chain…
Go to the profile of ChainSecurity
ChainSecurity
ChainSecurity joins the Capital Markets and Technology Association

ChainSecurity joins the Capital Markets and Technology Association

ZURICH — 19 August, 2019 — We are pleased to announce that ChainSecurity has joined the Capital Markets and Technology Association (CMTA)…
Go to the profile of ChainSecurity
ChainSecurity
The Dispatcher — First Line Of Defense In Any EOS Smart Contract

The Dispatcher — First Line Of Defense In Any EOS Smart Contract

Back in September 2018, an attacker managed to steal US$200 000 worth of EOS from the EOSBet contract. The attacker exploited a serious…
Go to the profile of ChainSecurity
ChainSecurity
Zero Gas Price Transactions — what they do, who creates them, and why they might impact Scalability

Zero Gas Price Transactions — what they do, who creates them, and why they might impact Scalability

From time to time it is important to question some fundamental assumptions about a system, especially as auditors. Today we look at the…
Go to the profile of ChainSecurity
ChainSecurity
VerX: Full functional verification for Ethereum contracts, now at your fingertips

VerX: Full functional verification for Ethereum contracts, now at your fingertips

ChainSecurity, an ETH Zurich spin-off, is happy to announce VerX, the first automated verifier for certifying custom functional…
Go to the profile of Petar Tsankov
Petar Tsankov
SOLTIX: Scalable testing of Solidity compilers

SOLTIX: Scalable testing of Solidity compilers

We are happy to release SOLTIX, a scalable framework for automated testing of Solidity compilers.
Go to the profile of Petar Tsankov
Petar Tsankov
About ChainSecurityLatest StoriesArchiveAbout MediumTermsPrivacy