Jun Furuse | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Kohei Suenaga
19 publications
Atsushi Igarashi
14 publications
Ran Chen
10 publications
Ryotaro Banno
4 publications
Yuki Nishida
3 publications
Akira Kawata
2 publications
Hiromasa Saito
1 publication
Sota Sato
1 publication

research

∙ 08/30/2021

HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types

A smart contract is a program executed on a blockchain, based on which m...

0 Yuki Nishida, et al. ∙

research

∙ 06/09/2021

Verification of a Merkle Patricia Tree Library Using F*

A Merkle tree is a data structure for representing a key-value store as ...

0 Sota Sato, et al. ∙