Total MarketCap:
$3,839.8B
-2.05%
24H Vol:
$217.89B
BTC:
2
sat/vB
API
EN
Light
Install App
Log In
Sign Up
Search
SSI/Mag7/Meme
/ETF/Coin/Index/Charts/Research
Updated 4 hours ago
SoSo Daily Jul. 14 | "Insider Trader" @qwatio has once again opened a 40x leverage short position on BTC, with a liquidation price of $124,150.
00:00 / 00:00
View
Markets
Indexes
NewsFeed
TokenBar
®
Analysis
Macro
Watchlist
Fundraising
More
Jon Stephens
Twitter
LinkedIn
Share
Jon Stephens is a PhD Student at UT Austin as well as the CTO and a co-founder of Veridise. His work focuses on developing automated techniques to verify and identify bugs in the blockchain ecosystem.
Jon Stephens Work Experience
Veridise
Jon Stephens Education Experience
The University of Texas at Austin
Powered by
News
This conversation between ZKM Education Lead @alicelingl and @VeridiseInc's Jon Stephens about the application of formal security methods is a must-listen for anyone building ZK infrastructure 🤝
#Layer2
ProjectZKM
May 20, 2025
Time for the FIRESIDE Chat between @VeridiseInc and @RiscZero at #RAD 😎Experts #JonStephens (@VeridiseInc) and #RamiKhalil (@RiscZero) discuss “Securing ZK-VM applications: Insights from Risc Zero & Veridise”@AutonomysNet @VeridiseInc @relend_network @CoinDCX @SydeEvents @TravisMJohn @Tommyabe @GhanVashishtha @SankalpSharma09 @CherryServers @taikoxyz @CoinDCX @Blockfuel @CoinpediaNews
#Layer2
0xZeeve
Feb 28, 2025
Excited to welcome @VeridiseInc on stage at ZK Accelerate Bangkok! 🇹🇭Jon Stephens (@FormallyJon) will present:Unifying ZK: A Comprehensive DSL Framework for Tomorrow It all goes down Nov. 11 at @CarltonHotelBKK Register here: https://t.co/gGUP132X5A#DevCon2024 #devcon
Ingo_zk
Oct 25, 2024
BTC
:
$120,402.6
+1.65%
ETH
:
$3,021.68
+1.71%
ssiMAG7
:
$23.41
+1.76%
ssiMeme
:
$19
+1.35%
BTC
:
$120,402.6
+1.65%
ETH
:
$3,021.68
+1.71%
XRP
:
$2.9794
+5.76%
BNB
:
$693.35
+0.69%
SOL
:
$164.88
+2.55%
DOGE
:
$0.20104
+1.31%
TRX
:
$0.3014
-0.95%
ADA
:
$0.7413
+1.08%
16:59
Institutions double down on BTC and ETH while retail turns to memecoins in 2025 bull run: Wintermute
16:43
U.S. Commerce Secretary Lutnick Clarifies: Trump Wants to Impose Secondary Sanctions on Russia, Not Secondary Tariffs
Terms
Privacy Policy
WhitePaper
Official Verification
Cookie
Blog
Hi, I'm your crypto AI assistant Socatis. Ask me anything about crypto.
sha512-gmb+mMXJiXiv+eWvJ2SAkPYdcx2jn05V/UFSemmQN07Xzi5pn0QhnS09TkRj2IZm/UnUmYV4tRTVwvHiHwY2BQ==
sha512-kYWj302xPe4RCV/dCeCy7bQu1jhBWhkeFeDJid4V8+5qSzhayXq80dsq8c+0s7YFQKiUUIWvHNzduvFJAPANWA==