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

Anya Rossi

sweetdream.ai

SweetDream.ai•Sponsored•Livecam

Watch Anya Live

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

Exclusive private shows

1.2k viewers online

Private Show

Join now for exclusive access

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

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

34,656 次观看 • 2 个月前

没有更多内容可加载