Search results

Yale
...art contract language for the [[Ethereum (ETH)|Ethereum]] Virtual Machine; DeepSea is lead by Professor [[Ronghui Gu]], an assistant professor of computer sci

2 KB (212 words) - 09:02, 23 January 2022
Columbia
...hui Gu, an assistant professor of computer science at Columbia, he leads [[DeepSea]], a [[smart contract]] research, and development project, received a grant

1 KB (181 words) - 08:49, 23 January 2022
CertiK (CTK)
* Programming language used: ''"a custom programming language called DeepSEA, which is engineered to make formal verification — a mathematical demonst

17 KB (2,454 words) - 00:46, 16 May 2024
Ethereum (ETH)
...to develop a new smart contract language for the Ethereum Virtual Machine; DeepSea is lead by Professor [[Ronghui Gu]], an assistant professor of computer sci

145 KB (20,974 words) - 02:07, 3 June 2024