Wednesday January 27, 2021
Bitcoin (BTC) $32,531.00   Ether (ETH) $1,356.72
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
NEWSLETTER SIGNUP
EXCHANGE 300+ COINS
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
No Result
View All Result
CryptoNinjas.net
No Result
View All Result
Home Networks & Protocols

Tezos issues new grants for smart contract ecosystem development

Published by CryptoNinjas.net
09/17/2019
tezos

The Tezos Foundation, the overseer of the Tezos blockchain protocol, announced today that it has issued grants to Kyoto University and Edukera, based in Japan and France, respectively, to further advance the Tezos smart contract development ecosystem.

Kyoto University

Kyoto University is the second oldest Japanese university and one of Asia’s leading research institutions with 18 Nobel laureates, more than any other university in Asia. With this grant, Kyoto University has conducted research on the current, simple Michelson type-checking to develop static verification techniques for Michelson and higher-level Tezos smart contract languages.

Led by Atsushi Igarashi, Ph.D., a professor at the Graduate School of Informatics, and Kohei Suenaga, Ph.D., an associate professor at the Graduate School of Informatics, the team will create an accessible development tool for these verification techniques and contribute to the growth of the Tezos ecosystem in Japan and the greater Asia region. Jun Furuse of DaiLambda and Tezos Japan collaborates with Kyoto University on this project.

Edukera

Edukera is an online application to teach formal logic and math. Founded in 2013 by Benoit Rognier and Guillaume Duhamel, the team has a proven ability to provide the public with learning solutions based on the Coq proof assistant.

Led by scientific director Pierre-Yves Strub, an assistant professor at and Ph.D. recipient in Computer Science of École Polytechnique in Paris, France, the Edukera team has formally verified properties of several Tezos smart contracts and begun development of a new Tezos smart contracts language, Archetype.

Archetype is a domain-specific language to develop smart contracts on Tezos, with a specific focus on more easily facilitating formal verification.

5
SHARES
FacebookTwitterLinkedinRedditE-MailTelegram

Related Posts

Asia’s biggest Ethereum wallet imToken integrates Tezos

Asia’s biggest Ethereum wallet imToken integrates Tezos

01/20/2021

Electis kicks off world-wide university voting experiment powered by Tezos

02/24/2020
AirGap developing service layer to connect Tezos wallets with dApps

AirGap developing service layer to connect Tezos wallets with dApps

01/31/2020
Tezos issues 21 new ecosystem grants in third cohort

Tezos issues 21 new ecosystem grants in third cohort

01/20/2020
Tezos releases mainnet tez faucet for development purposes

Tezos releases mainnet tez faucet for development purposes

01/17/2020

Advanced Tezos blockchain explorer tezblock emerges to V1

12/02/2019
Load More
Leave Comment

Recent Updates

BitPay adds the Changelly crypto exchange API to app

Ibanera to use Fireblocks for secure crypto service management

Mercuryo expands its fiat-to-crypto gateway to the US with Zero Hash

Crypto derivatives exchange Bit.com integrates with Copper ClearLoop for off-exchange settlement

Financial blockchain Findora opens applications for $5M grant program

Where to Exchange

Bit2MeLeading Spanish Bitcoin ExchangeVisit
BL3P
European Bitcoin ExchangeVisit
ChangellyExchange & Buy 150+ CryptocurrenciesVisit
itBitAmerica's First Regulated Bitcoin ExchangeVisit

Trending Views

Zilliqa tokenizes rare single-malt scotch whisky casks, now available to accredited investors

Crypto payment and wallet project TenX shuts down

Japan’s Coincheck lists Enjin Coin (ENJ) after regulatory approval

Crypto exchange Bitpanda opens pre-orders for Visa debit card

Moonbeam and Ocean Protocol to bring a new data economy to Polkadot

  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2021 CryptoNinjas Disclosures | Privacy Policy

  • Home
  • Crypto Links
  • Market Data
  • Blockchain Tech
  • Exchanges
  • Capital Raising
  • Vendor Technology
  • Token Offerings/Listings
  • Payments
  • Wallets
  • Bitcoin ATM Map
  • Conferences & Events
  • About
  • Contact

© 2021 CryptoNinjas Disclosures | Privacy Policy


Go to mobile version