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,427 words) - 06:41, 20 February 2023
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

143 KB (20,770 words) - 08:50, 8 January 2024