正在加载视频...

视频加载失败

返回首页

Percolator's risk engine is formally verified with Kani, the same class of method NASA uses on flight software. toly 🇺🇸 built and verified it. Percolator helped. Here's what that means, and why "verified" alone is a weak flex 🧵

PercolatorTrade's profile picture

Percolator

6,931 subscribers

37,809 次观看 • 7 天前 •via X (Twitter)

新闻政治科学技术财经
LIVE

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

Our community hasn't just been stress testing Devnet -> they've been finding bugs, flagging edge cases, and making real contributions to the Percolator risk engine. That feedback loop is why we ship better. And while all of this is happening -> we've been quietly testing Mainnet flows. Toly built the Percolator risk engine. We're building the infrastructure on Solana that brings it to life. First look at the Mainnet trade UI 👇
0:14

Our community hasn't just been stress testing Devnet -> they've been finding bugs, flagging edge cases, and making real contributions to the Percolator risk engine. That feedback loop is why we ship better. And while all of this is happening -> we've been quietly testing Mainnet flows. Toly built the Percolator risk engine. We're building the infrastructure on Solana that brings it to life. First look at the Mainnet trade UI 👇

Percolator

43,471 次观看 • 4 个月前

Verified and owning it. The crown’s on my head, and you know what that means. Bow down to your king.
0:10

Verified and owning it. The crown’s on my head, and you know what that means. Bow down to your king.

hgcv

11,250 次观看 • 1 年前

1. Chronicle has launched the Verified Asset Oracle (VAO) Dashboard, giving institutions and builders full visibility into how tokenized asset data is sourced, verified, and monitored onchain. Transparency of source data and holdings is no longer optional for tokenized RWAs 🧵
0:16

1. Chronicle has launched the Verified Asset Oracle (VAO) Dashboard, giving institutions and builders full visibility into how tokenized asset data is sourced, verified, and monitored onchain. Transparency of source data and holdings is no longer optional for tokenized RWAs 🧵

Chronicle Protocol 📖

13,481 次观看 • 9 个月前

Why yes, you CAN play our from-the-ground-up remake of Riven on Steam Deck! Riven is now Steam Deck Verified ✅ and works great with the built-in controls and display. 🎉 Try it now ⤵️
0:12

Why yes, you CAN play our from-the-ground-up remake of Riven on Steam Deck! Riven is now Steam Deck Verified ✅ and works great with the built-in controls and display. 🎉 Try it now ⤵️

Cyan Worlds

38,013 次观看 • 1 年前

Being human is a rewarding experience. DRiP + is here. Optionally authenticate on DRiP with your device-verified World ID or your Orb-verified World ID and instantly unlock bonus Droplets.
0:19

Being human is a rewarding experience. DRiP + is here. Optionally authenticate on DRiP with your device-verified World ID or your Orb-verified World ID and instantly unlock bonus Droplets.

DRiP 💧

135,421 次观看 • 2 年前

✅ LinkedIn Verification is now live Connect your LinkedIn to Bluwhale to earn a verified badge and lock in verified status on-chain 🔒 Stand out in every wallet search and show you’re real 🐳 Get verified now 👉
0:15

✅ LinkedIn Verification is now live Connect your LinkedIn to Bluwhale to earn a verified badge and lock in verified status on-chain 🔒 Stand out in every wallet search and show you’re real 🐳 Get verified now 👉

Bluwhale

14,752 次观看 • 1 年前

solangeles is officially verified on fomo
0:13

solangeles is officially verified on fomo

AI BALD KING

92,733 次观看 • 7 天前

$choctopus is lighting the $SOL #memecoin space on 🔥. 🔒 30% token supply locked ✅️ Verified on CoinGecko ✅️ Verified on Phantom 🌐 🏠EVrGfAj99Xr1NjqqZv6E2msVKZVmhGaThHhcZXzrpump
0:10

Sensitive content

$choctopus is lighting the $SOL #memecoin space on 🔥. 🔒 30% token supply locked ✅️ Verified on CoinGecko ✅️ Verified on Phantom 🌐 🏠EVrGfAj99Xr1NjqqZv6E2msVKZVmhGaThHhcZXzrpump

Choctopus

23,067 次观看 • 1 年前

GOLD VERIFIED 🏆🇺🇸 WHAT DID I TELL YOU
0:17

GOLD VERIFIED 🏆🇺🇸 WHAT DID I TELL YOU

D.O.G.E on Solana

47,571 次观看 • 1 年前

🚬 happiness is verified
0:14

🚬 happiness is verified

Happiness is free

51,839 次观看 • 2 年前

Öoo is $7.49 on Steam Deck verified
0:15

Öoo is $7.49 on Steam Deck verified

Wario64

37,678 次观看 • 1 个月前

33% of the open startup community is now verified ✅
0:16

33% of the open startup community is now verified ✅

Marc Lou

24,484 次观看 • 6 个月前

Erobb calls out mystery chatter who operates his verified Erobb221 Kick account “Which one of you has the erobb221 account on Kick..and you got the account verified”
0:17

Erobb calls out mystery chatter who operates his verified Erobb221 Kick account “Which one of you has the erobb221 account on Kick..and you got the account verified”

yeet

48,394 次观看 • 6 个月前

Simplicity is expanding what's possible to build on Bitcoin layer-2. Offering formally verified smart contracts and live on Liquid Network 🌊, Simplicity is already powering a growing ecosystem of applications. This May, join developers at the forefront of Bitcoin innovation in Europe.
0:15

Simplicity is expanding what's possible to build on Bitcoin layer-2. Offering formally verified smart contracts and live on Liquid Network 🌊, Simplicity is already powering a growing ecosystem of applications. This May, join developers at the forefront of Bitcoin innovation in Europe.

Liquid Network 🌊

16,919 次观看 • 2 个月前

Marlon reveals why he isn't verified on TikTok and says it’s corny and cringe to be verified “I don’t want verification. TikTok asked me multiple times, I already said no because I don’t want it. it’s so corny”
0:16

Marlon reveals why he isn't verified on TikTok and says it’s corny and cringe to be verified “I don’t want verification. TikTok asked me multiple times, I already said no because I don’t want it. it’s so corny”

Luthor

450,205 次观看 • 5 个月前

NEVA is verified Steam Deck ! Take Alba and Neva with you wherever you go🐺
0:12

NEVA is verified Steam Deck ! Take Alba and Neva with you wherever you go🐺

Conrad Roset

30,426 次观看 • 1 年前

Lovable has a new creative engine. The first pieces ship today. This is the single generation that cost me a night's sleep. Everything is made by it, including the images. Here's a breakdown of what it is, and what it isn't. 🧵
0:12

Lovable has a new creative engine. The first pieces ship today. This is the single generation that cost me a night's sleep. Everything is made by it, including the images. Here's a breakdown of what it is, and what it isn't. 🧵

Nad Chishtie

58,080 次观看 • 1 个月前

killer7 (Steam) is $4.99 on Fanatical #ad Deck verified
0:10

killer7 (Steam) is $4.99 on Fanatical #ad Deck verified

Wario64

64,114 次观看 • 1 年前

is it a real game or a token with a logo? on solana you find that out after your money's already in. so i built the basement. the steam of solana games, every verdict from a player verified on-chain. free to use, can't be bought.
0:11

is it a real game or a token with a logo? on solana you find that out after your money's already in. so i built the basement. the steam of solana games, every verdict from a player verified on-chain. free to use, can't be bought.

Potato

31,139 次观看 • 13 天前

Veritas is now VERIFIED on CoinMarketCap #CMC Bringing more visibility, trust, and momentum to the $VPT ecosystem. 📊 :
0:10

Veritas is now VERIFIED on CoinMarketCap #CMC Bringing more visibility, trust, and momentum to the $VPT ecosystem. 📊 :

VERITAS PROTOCOL

38,517 次观看 • 1 年前