shek's banner
shek's profile picture

shek

@shek_dev • 10,148 subscribers

Helping Solana Founders win @SuperteamBlack | Creator https://t.co/XnaKnhWgL3 | Dist Systems | Prev Founder @gumisfunn

Shorts

using sBPF for your Solana programs is brutal you trade off the safety of types, compiler and verification for performance not anymore now you can formally verify assembly with QEDGen

using sBPF for your Solana programs is brutal you trade off the safety of types, compiler and verification for performance not anymore now you can formally verify assembly with QEDGen

29,521 просмотров

Videos

LIVE
1.2k

Anya Rossi

sweetdream.ai

SweetDream.aiSponsored•Livecam
Streaming Now

Watch Anya Live

Anya is streaming live right now! Join her private show and enjoy exclusive content.

HD live stream
Exclusive private shows
1.2k viewers online

Free preview available • Premium content

formally verifying your solana code is simple a) install qedgen/solana-skills via npx skills b) ask your favorite agent to formally verify the program c) sit back and save 250K
0:45
shek_dev's profile picture

formally verifying your solana code is simple a) install qedgen/solana-skills via npx skills b) ask your favorite agent to formally verify the program c) sit back and save 250K

shek

34,656 просмотров • 2 месяцев назад

Больше нет контента для загрузки