Akyba Protocol

Decentralized ROSCA & ASCA on Cardano’s eUTxO model. Identity, governance & collateral fully on-chain. Open source. Community finance reimagined.

[Akyba Protocol @AkybaProtocol]

Akyba update.

Web dApp + mobile App in progress:

On-chain ROSCA group creation
Mobile signing (non-custodial)
Deterministic transaction flow

Getting close.

Stay tuned

[Akyba Protocol @AkybaProtocol]

@rvcas 10/10

[Akyba Protocol @AkybaProtocol]

@Cryptofly777 @abstractpotato We beleive in cardano from dev windows

[Akyba Protocol @AkybaProtocol]

👏🏻👏🏻

[Jonathan @solidsnakedev]

Final session of our Formal Verification in Lean 4 course today.
Over 8 weeks the cohort went from Lean basics to theorem proving, SMT solvers, and a full smart contract audit workflow.
This is how we make audits rigorous instead of best-effort.
Formal verification for blockchains is what we do at @nowitnesslabs . More coming soon

[Akyba Protocol @AkybaProtocol]

@ESCOweb3 Gm All

[Akyba Protocol @AkybaProtocol]

We still here building 🚀

[Adastack.io @adastackio]

Each of these is a project on Cardano.

Markets go up and down. Cardano keeps shipping.

[Akyba Protocol @AkybaProtocol]

Thanks @intruderPTY for your support 🙏🏻

[Roberto Cerrud @intruderPTY]

@Bill15417950 @phil_uplc And Africa is onboard @AkybaProtocol, but needs better tooling, the devs are loosing hope

[Akyba Protocol @AkybaProtocol]

@rvcas After learning ADTs, do you start seeing something uncomfortable?

How many systems are built around runtime validation of impossible states instead of designing those states out entirely?

[Akyba Protocol @AkybaProtocol]

@AscendPerps Great Work 👏🏻👏🏻

[Akyba Protocol @AkybaProtocol]

@sibyog13 Les usages existent déjà : tontines, WhatsApp, Mobile Money.

Le vrai manque aujourd’hui, c’est un système simple et peu coûteux pour gérer contributions, distributions et défauts de paiement.

C’est exactement ce qu’Akyba construit.

[Akyba Protocol @AkybaProtocol]

@astroboysoup @v_vukman @wada_org Still early, we’re focused first on getting the ROSCA/stablecoin flow operational end-to-end. But M-Pesa is probably the most obvious first corridor given existing mobile money density and user behavior.

[Akyba Protocol @AkybaProtocol]

@astroboysoup @v_vukman @wada_org Yes, that’s part of the vision. The protocol alone is not enough.

[Akyba Protocol @AkybaProtocol]

@Yesreel_ @grok No

[Akyba Protocol @AkybaProtocol]

@astroboysoup @v_vukman @wada_org Exactly. The protocol logic is solvable. The hard part is operational liquidity and recovery flows.

A ROSCA can’t behave like DeFi liquidation logic. Missed rounds need social + liquidity buffers, not just smart contract enforcement.

[Akyba Protocol @AkybaProtocol]

@astroboysoup @v_vukman @wada_org Fair. Cardano still lacks enough real recurring consumer flows.

That’s exactly why ROSCAs are interesting: recurring payments, recurring coordination, recurring trust, not just speculative activity.

[Akyba Protocol @AkybaProtocol]

@astroboysoup @v_vukman @wada_org Ok. Demand already exists.

The real battle is rails:
mobile money <-> stablecoins <-> local agent networks.

Once that bridge is seamless, it stops being “crypto” and becomes financial infrastructure.

[Akyba Protocol @AkybaProtocol]

“Low purchasing power” does not mean “low opportunity” when the problem space is massive and structurally unsolved.

And dismissing an entire continent as “uneducated” is not analysis. It’s bias.

[Vex @v_vukman]

@astroboysoup @wada_org That African narrative leads us nowhere, and it's been pushed forward since 2022. Sure, Africa is an opportunity because they're unbanked, but their purchasing power is so low, and people are so uneducated that all that focus on Africa makes no fu... business sense.

[Akyba Protocol @AkybaProtocol]

@v_vukman @astroboysoup @wada_org “Low purchasing power” does not mean “low opportunity” when the problem space is massive and structurally unsolved.

And dismissing an entire continent as “uneducated” is not analysis. It’s bias.

[Akyba Protocol @AkybaProtocol]

The real question is not “how many projects?”
It’s:
How many MVPs shipped?
How many users onboarded?
How many teams still building after 6 months?

Africa doesn’t need more ecosystem reports.
It needs durable products and real adoption.

[Pete | Beware of Scammers @astroboysoup]

989,901 ADA to turn African hackathon projects into startups.

@wada_org is proposing a 12-month incubator after CATS 2026, taking 20+ projects across 10–12 hubs from hackathon ideas into MVPs, GitHub repos, pitch decks and Demo Day.

The upside: this targets the awkward gap after hackathons, where good ideas usually die.

The concern: reporting needs to be very concrete.

Does this create real Cardano builders and users, or more ecosystem activity reports?

*Not a paid promotion

[Akyba Protocol @AkybaProtocol]

Crypto rebuilt markets

It didn’t rebuild trust-based savings

ROSCA isn’t DeFi:
it needs fixed groups, cycles, enforcement

That’s why almost none exist on-chain

Akyba makes it deterministic:
no contribution -> no payout

#DeFi #Crypto #ROSCA #Akyba #Web3 #Blockchain