<div dir="ltr"><div><div><div>Hi all,<br><br></div>it was a little quiet lately but there's been progress.<br><br></div><div><b>CFRG:</b><br></div>Karthik is presenting hacpsec at the CFRG meeting on Monday in London. There'll be a short presentation but we mainly hope to gather feedback from spec-writers on what we have so far and maybe get some of them to start using hacspec.<br></div><div><br>Are there any questions you want to post to CFRG that we should include?<br>Or is there anything specific we should talk about when presenting hacspec?<br><br><br></div><div><b>Hacspec updates:</b><br></div><div>We'd like to get some feedback on the newest version of hacspec syntax.<br>There has been progress on translating hacpsec to F*, which introduced a couple syntax changes. This version lives on the extended_syntax branch for now [1]. F* specs compiled from hacspec type-check in F*. 
The F* compiler and specs can be found at [2].

<br></div><div><br>Some notable changes to the language are: <br>* all types have a `_t` suffix<br></div><div>* there are fixed length and variable length arrays and bytes<br></div><div>See Language.md [2] for more.<br><br></div><div>To avoid hacpsec becoming too F* focused it would be great when we could get translations to other languages working as well.<br></div><div><br></div><div>Cheers,<br></div><div>Franziskus<br></div><div><br>[1] <a href="https://github.com/HACS-workshop/hacspec/tree/extended_syntax">https://github.com/HACS-workshop/hacspec/tree/extended_syntax</a><br>[2] <a href="https://github.com/HACS-workshop/hacspec/tree/extended_syntax/spec-compilers">https://github.com/HACS-workshop/hacspec/tree/extended_syntax/spec-compilers</a><br>[3] <a href="https://github.com/HACS-workshop/hacspec/blob/extended_syntax/LANGUAGE.md">https://github.com/HACS-workshop/hacspec/blob/extended_syntax/LANGUAGE.md</a><br></div></div>