coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: gary886 <gary886 AT protonmail.com>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Formal methods for cryptocurrency / blockchain
- Date: Mon, 02 Jul 2018 19:26:56 -0400
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gary886 AT protonmail.com; spf=Pass smtp.mailfrom=gary886 AT protonmail.com; spf=Pass smtp.helo=postmaster AT mail5.protonmail.ch
- Feedback-id: pzMOj-d0BwmrNLgcYf0xwqVizKd3Iks-TR1UCTLKUomKwoqymds0maGwEfGCb5FE96-WBDY0EsNAzRGD4cS2kQ==:Ext:ProtonMail
- Ironport-phdr: 9a23:z2oKGx8gb6we3v9uRHKM819IXTAuvvDOBiVQ1KB42+kcTK2v8tzYMVDF4r011RmVBduds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+55zebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRhH2hikHLT437WLZhcNsg69Auh2tuwZyw5bIbI2JNvdzeL7Wc9MARWpGW8ZcTyNBDZmmb4oPDOcMPudVpJT6qlsBtxS+HwmtCeDsxzJJnXL2xbc60+M9EQHB2gwgGsgBsHXQrNnvKKgSVuW1wbDOwD7eYf1W3jL955LJchAnufyMRahwcc3NyUkoEQPFi0+fqY3hPz+PyusNtG2b4ux9Xuysk24qsxx9rzuvy8s2iITFmpgZx1/Y+Slj3oo4Jtu1Q1Nhb9G+CptfrSSaOpN2Qsw8R2Fovz43yrgctp66eCgHyI4rxwbFa/yAb4iI5RTjVOOLLjd5gHJpYq6whxaq/UihzO3zSNW03U5XoidGktTArHIA2wDJ5sWIVvdx5Fmt1DWX2wDW8O5EIEQ0laTBK54mx749jpUTvl7ZHi72m0j7j66be148+uiy7OTnfrLmppmZN4BuiwH+Nr4ildC4AeQ9KgQORXSU+fyg1L3/+k30WKlFjvovkqXArJ/aIdkbqbWiDg9O0ocj7g6/AC283NQZm3kHNlNFdwidg4jnIVGdaMz/WL20hE3pmzN2zdjHOKfgC9PDNDKLxLzmZPN271NW4As119FWoZxOXOI7Ler3S3P24dPRFA5pY1L8l+nuEsQtht02QXiIHqifNarTtRmD4ed5cMeWY4pAtz/nOqh1uba6gnYjiA9NI4Gxx5wLb3a9F/ViZU6eZCy/0Z86DW4Ws19mH6TRg1qYXGsLPifgb+cH/jg+TbmeI8LGT4GpjqaG2X7lTIVMYXxBDFWFEHOufIKBCa5VNHCiZ/R5mzlBboCPDpc73Ejw5hfgzKZgKO/d+ylevpXmhoAsur/j0Coq/DkxNPyzlmGAS2YuxzENTj4ygeZnu0thzVGG2Kl8xfdYR4Ve
Hi all,
I'm working on applying formal methods to cryptocurrency protocols. Currently we are using Coq. We're a well funded startup (recently raised $20 million) and pay competitively.
If anyone has interest, please message.
Gary
Sent with ProtonMail Secure Email.
- [Coq-Club] Formal methods for cryptocurrency / blockchain, gary886, 07/03/2018
Archive powered by MHonArc 2.6.18.