Blockchain Funds-Technology Federation

23 May 2019 • BFTF 技术社区联盟

BFTF 区块链技术日报(2019-05-23)

  1. WASM形式化验证 http://go.bftf.io/www.cl.cam.ac.uk/~caw77/papers/mechanising-and-verifying-the-webassembly-specification.pdf
  2. 机构用户入场,比起比特币更愿意买比特币基金? http://go.bftf.io/mp.weixin.qq.com/s/_xasbafbc_v_jSVNBM8zbQ
  3. 微软开源的形式化验证工具 http://go.bftf.io/github.com/Microsoft/verisol
  4. 基于why3的形式化验证 http://go.bftf.io/www.youtube.com/watch?v=rx0NPckEWGI&t=619s
  5. grin的账本压缩算法 http://go.bftf.io/github.com/mimblewimble/grin-pm/blob/master/presentations/grinconUS0/11-Bunz-RSA_Accumulators.pdf

编辑:@fanngyuan

地址:http://go.bftf.io/bftf.io/news/2019/05/23/bftf-daily-news.html