We will soon be releasing zero knowledge tools that easily confirm whether compilers have correct implementations.
Let us know if you're interested in learning more!
#Vyper #ZKP #verifiedcomputing
🤺 Attack Vector
Earlier today, Vyper revealed that versions of its compiler didn't correctly implement the reentrancy lock
Malicious actors use reentrancy attacks to repeatedly re-enter a contract, resulting in unauthorized actions or fund theft
2/14