Move Prover isnāt āmagic.ā
It outsources the heavy reasoning to Z3.
Thatās why you have to export Z3_EXE before running it ā youāre literally wiring the prover to its solver.
No Z3 ā no proofs.
Everyone says: ājust trust the webhook + signatures.ā
But what if you add your own token logic on top?
Thatās not overengineering ā itās future-proofing.
Security isnāt one-size-fits-all.
So I wanted to challenge my self on something
New
Despite my tight time,
And the challenge is #17projectchallenge building on chain
And the stacks I will be using is #movelanguage#Rust
And so the goal is that at the end of this challenge I must have built 17 Blockchain project
Africa doesnāt just need more developers.
It needs funded developers, building for Africa, backed by African investors.
Thatās why Iām starting IB Bridge. šš
š Big week ahead!
Iām dropping 3 videos next week:
ā Rust Methods tutorial
ā Intro to Move Language (blockchain smart contracts)
ā Simple Rust backend project
Subscribe & hold me accountable ā I will deliver! š»š„
#RustLang#MoveLanguage#BlockchainDeveloper#RustProjects
26K Followers 617 FollowingNot a meme. Not a coin. A full-blown movement ⨠A new digital religion.
Youāre either with us or youāll wish you were. $FRIC is inevitable @fricthefrog
71K Followers 440 FollowingA Community of Stoners, by Stoners, for Stoners š¼
Top Hat Cat Show -4:20pm MST
Join our Discord
FREE $THC IRL airdrop soon
46K Followers 256 FollowingGen 1 / Dori 1776 / More. An AI Hybrid project pushing the boundaries.
Community Twitter:
@DORI_Community
Sales Bot:
@DoriSalesBot
17K Followers 28 FollowingAI DeFi Asset Management on Solana, Sui & Aptos. Dual Token system that solve liquidity issues on Rust & Move.
Discord: https://t.co/IlpqDOCRIR
155K Followers 360 FollowingHey there! Weāre all about NFTs here at Luxury Bussines. Weād love to share your creations with the world. And guess what? Thereās success for everyone in this
1.1M Followers 61 FollowingBuild Once, Launch Everywhere.
Access everything from everywhere including native Bitcoin with ZetaChain, the First Universal Blockchain.
6K Followers 1 Following@Aptos_Network has moved to @Aptos.
Aptos is the layer 1 blockchain engineered to evolve.ā£
Make Your Move on Aptos š Twitter by Aptos Foundation.
22K Followers 1K FollowingCo-founder/CTO of @Mysten_Labs working on @SuiNetwork, @WalrusProtocol. Creator of Move lang, ex devtools @Meta. Obsessed w/ interoperability + compositionality
52K Followers 3K FollowingCo-founder & CEO of Mysten Labs - building a decentralized internet @SuiNetwork @WalrusProtocol. Before: Wrote SW that runs on every single one of your devices
146K Followers 194 FollowingWe're building critical infrastructure to enable a more decentralized internet. Weāre the original contributors to š§@SuiNetwork and šļø@WalrusProtocol.
281 Followers 40 Followingšāāļø Developer community building on Move language
š¤ Join us: https://t.co/5mIPrHNtm8
š§ Learn Move: https://t.co/aIEmlnKGZv
630 Followers 58 FollowingA curated group of founders, devs, writers, designers, and operators building within the Aptos India eco. Contribute | Learn | Earn
No recent Favorites. New Favorites will appear here.