Crypto Game
  • Advertise
  • Submit a Press Release
  • Contact Us
Blockchain & Cryptocurrencies Tabloid
  • Finance & Blockchain News
  • Bitcoin News

    Bluebird Mines Gold Revenue for Bitcoin Treasury

    MicroStrategy Upsizes IPO to $1B for Bitcoin Purchase

    Trump Media Plans $12 Billion Bitcoin Investment

    Trump Media Raises $12 Billion for Bitcoin Acquisition

    Strategy Increases Stock Offering to Acquire Bitcoin

    Bitcoin Long Positions Liquidation Reaches $262 Million

  • Altcoin News
    • All
    • Bitcoin Cash
    • Cardano
    • EOS
    • Ethereum
    • Litecoin
    • Monero
    • Ripple
    • Stellar

    Solana Faces $50M Long Squeeze Amid Rally Speculation

    Solana Long Squeeze Sparks Potential Rally to $300

    Coinbase to Delist Four Crypto Assets in June

    Elon Musk’s X Partners with Polymarket for Prediction Platform

    Bittensor Achieves Record 118 Active Subnets in Decentralized AI

    Bittensor Reaches 118 Active Subnets Milestone

    Trending Tags

    • Ethereum
    • Bitcoin Cash
    • Litecoin
    • Monero
    • Ripple
  • Crypto 101
    • All
    • Cryptocurrencies
    • Exchanges
    • Services
    • Wallets
    Benefits Of Choosing the Right AI Trading Bot

    4 Benefits Of Choosing the Right AI Trading Bot

    Crypto Trading

    A Beginner’s Guide to Crypto Trading: Unlocking the World of Digital Coins

    BitcoinGames.com

    BitcoinGames.com Introduces the Ultimate Casino Gaming Experience with Bitcoin

    How AI is Helping Athletes and Fans Get the Most out of the Game

    From Training to Judging, AI is Entering the Ring

    Top 5 Websites for Buying Gift Cards with Crypto

    Clutch Savours – Gift Certificates You Can Buy with Crypto

    Layer 2 Blockchains

    Everything You Need To Know About Layer 2 Blockchains

  • Blockchain Events
No Result
View All Result
Blockchain & Cryptocurrencies Tabloid
No Result
View All Result

ChainSecurity to Increase Zillliqa Blockchain Security

Anca F. by Anca F.
September 18, 2019
in Latest News
Zilliqa ChainSecurity

The Zilliqa blockchain announced today that it will be partnering with ChainSecurity, a blockchain security company, in order to improve the security tools and measures of their network.

The project is already known for its smart contract safety, as it uses a proprietary language called Scilla, specially designed to ensure smart contract safety. With this new partnership, greater improvements will be brought to the security standards and infrastructures used in the industry.

ChainSecurity will be creating an extensible static analysis framework, which will support control-flow, data-flow, and information-flow analyses. It will also enable developers to find security flaws by automatically evaluating the source code of their programs.

ChainSecurity is an offshoot of the ICE Centre, a leading blockchain security research and development facility at high-ranking European university ETH Zurich. ChainSecurity has more than 75 partners from the blockchain field.

Their security scanner will also aid developers in finding common security vulnerabilities as well as design issues which can result from improper coding.

ChainSecurity has led professional security audits of Scilla smart contracts prior to the partnership, so it will be able to apply its gained insight into the language’s semantics to determine its relevant security features.

Chief Scientist and Co-Founder of ChainSecurity, Dr. Petar Tsankov, made the following statement :

 “The collaboration between the ChainSecurity and Zilliqa teams dates back to 2017 when we first conducted a security audit of the Zilliqa token. We look forward to further collaborating with the Zilliqa team and bringing our knowledge in building advanced security tools to the Zilliqa ecosystem.

Scilla is a programming language which was developed by leading researchers and designers in order to address the vulnerabilities which are currently prevalent in today’s smart contract languages such as re-entry attacks and changes to critical state variables.

Built according to functional programming language principles, Scilla can be used for formal verification, enabling developers to use mathematical verifications to make sure that the contracts are correct at the language level.

Scilla was recently peer-reviewed at OOPSLA 2019, a global academic conference on programming languages and software engineering.

President and Chief Scientific Officer of Zilliqa, Amrit Kumar, said:

“From Scilla to our mainnet and smart contracts launch, security has underscored all areas of technical development at Zilliqa. For the past two years, ChainSecurity has played a key role in bolstering our network. As we continue to grow, these tools will help us proactively address any potential vulnerabilities along the way. Moving towards developing enterprise-grade solutions, we believe such collaborations will provide support to our growing community and enterprise partners whilst establishing a higher benchmark of security standards across the industry.”

Featured image: Finance Yahoo.com

Tags: blockchain securityChainSecuritypartnershipScillaZilliqa
Previous Post

Wells Fargo to Pilot Distributed Ledger Technology for Internal Settlement Services

Next Post

BTC Investment Plans to Invest in Blockchain-based Startups

Anca F.

Anca F.

Related Posts

Gemini Submits S-1 for a Confidential US IPO

by Solomon M.
June 6, 2025

Gemini files confidential S-1 with SEC for an IPO, following Circle's NYSE debut.

Elon Musk’s X Partners with Polymarket on Prediction Platform

by Solomon M.
June 6, 2025

Elon Musk's X collaborates with Polymarket, integrating prediction markets and AI analytics for enhanced insights.

Elon Musk’s X Partners with Polymarket Platform

by Adriana M.
June 6, 2025

Elon Musk's X teams up with prediction platform Polymarket for cutting-edge market insights.

Apple, Google, X, Airbnb Exploring Stablecoin Payments

by Solomon M.
June 6, 2025

Apple, Google, X, and Airbnb consider stablecoin payments integration, driving crypto market interest.

Binance’s Tigran Gambaryan Departs After Detention in Nigeria

by Adriana M.
June 6, 2025

Tigran Gambaryan leaves Binance, impacting financial compliance leadership amid evolving regulatory environment.

ARK Invest Acquires $373M Circle Shares on IPO Debut

by Solomon M.
June 6, 2025

ARK Invest purchases $373 million in Circle shares during its NYSE IPO.

We Recommend

Top Rated Casinos
Bitstarz Casino

BitcoinCasino.io
Top Crypto Betting
1xBit.com
Top Rated Exchanges
Binance Exchange

Bityard.com
Top Advertising Services
Coinzilla Display Network
Top Crypto Wallets
Ledger Nano X

  • Terms and Conditions
  • Privacy Policy
  • Advertise
  • About Us
  • Contact Us

© 2018-2019 theccpress.com by Brantell Media.

No Result
View All Result
  • Finance & Blockchain News
  • Bitcoin News
  • Altcoin News
  • Crypto 101
  • Blockchain Events

© 2018 - 2019 theccpress.com, a Brantell Media project.

This website uses cookies. By continuing to use this website you are giving consent to cookies being used. Visit our Privacy and Cookie Policy.