cryptosquare wiki Archetype

No results found

ArchetypeSmart contracts Under Control.

Description

Archetype is a domain-specific language (DSL) to develop smart contracts on the Tezos blockchain, with a specific focus on the formal verification of the contract. Archetype is funded by the Tezos Foundation and developed by edukera.

DevelopmentTezos

investors

Tezos https://www.tezos.com/

Formalizing blockchain governance.

edukera https://www.edukera.com/

Teach Logic and Math with a proof assistant.

Digital Currency Group http://dcg.co/

The nexus of blockchain technology and finance.

portfolio

Privy https://www.privy.io/

With a few lines of code, integrate sensitive user data into your product so you can build a delightful experience without putting your users at risk.

Website

http://archetype-lang.org/