A Solidity implementation of TAVS | Publicación