1.
Runtime Vеrification
@rv_inc
1/We're glad to announce the public beta release of KAVM, a formal semantics of the Algorand Virtual Machine power… twitter.com/i/web/status/1…
2.
Runtime Vеrification
@rv_inc
New year, new way to bring updates! We are back with a new updates system, this time over a quick Twitter Thread… twitter.com/i/web/status/1…
3.
4.
5.
6.
7.
Runtime Vеrification
@rv_inc
We are thrilled to announce @ash_swap's
audit completion ️We just published a blog post detailing the audit toge… twitter.com/i/web/status/1…
audit completion ️We just published a blog post detailing the audit toge… twitter.com/i/web/status/1…
Runtime Vеrification
@rv_inc
Some pictures from today's InFormal Workshops on Logics in Bucharest
We will share all the video recordings nex… twitter.com/i/web/status/1…
We will share all the video recordings nex… twitter.com/i/web/status/1…
Runtime Vеrification
@rv_inc
1/7 Our team loves working with Foundry @paradigm & we couldn't resist writing another blog post on how to use it… twitter.com/i/web/status/1…
Runtime Vеrification
@rv_inc
.@rv_inc
Proof of Merch pic.twitter.com/EYyDGdediX
Proof of Merch pic.twitter.com/EYyDGdediX
Retweet of status by @iMoisesSosa
Runtime Vеrification
@rv_inc
We are thrilled to announce @xbacked audit completion ️ We just published a blog post detailing the audit togethe… twitter.com/i/web/status/1…
8.
9.
10.
11.
Runtime Vеrification
@rv_inc
We are thrilled to announce @pact_fi's Router audit completion ️ We just published a blog post detailing the audi… twitter.com/i/web/status/1…
Runtime Vеrification
@rv_inc
We are thrilled to announce @AtlendisLabs audit completion ️ We just published a blog post detailing the audit t… twitter.com/i/web/status/1…
Runtime Vеrification
@rv_inc
@pact_fi Security Audit has been officially completed by @rv_inc and we're thrilled with the feedback!
"The cont… twitter.com/i/web/status/1…
"The cont… twitter.com/i/web/status/1…
Runtime Vеrification
@rv_inc
We are thrilled to announce @algofiorg's audit completion️ The @rv_inc team reviewed a series of smart contracts… twitter.com/i/web/status/1…
...but wait! There's more!
1.
fakhright
@fakhright
astaghfirullah peng.krim guaaaaaaaa..............a *salto sambil solat*
