What is the role of Geb in this skill?

Geb serves as the categorical semantics target, allowing Juvix code to be represented as morphisms that can be formally verified and transformed into arithmetic circuits.

Can I use this to generate ZK circuits?

Yes, the skill supports the full compilation pipeline: Juvix Source -> Geb Morphisms -> Vampir IR -> ZK Circuits.

What is Juvix in the context of Anoma?

Juvix is an intent-centric programming language that allows users to express preferences over state transitions, which are then compiled into circuits for solver matching and ZK verification.

What are Obstructions in Juvix intents?

Obstructions represent failures in decomposition (H1 cohomology class > 0), often used in game-theoretic models like 'Hot Potato' to track state-transition barriers.

How does this skill handle GF(3) conservation?

The skill utilizes a type-level GF(3) system (Minus, Ergodic, Plus) to ensure that the sum of triadic charges in a transaction equals zero (mod 3), preserving resource integrity.

Juvix Intent Programming

Name: Juvix Intent Programming
Author: plurigrid

byplurigrid

•

Developer Tools

Develops intent-centric programs for Anoma using Juvix with categorical Geb compilation and GF(3) conservation checks.

About

This skill provides specialized support for Juvix, the intent-centric programming language for the Anoma network. It enables developers to define preferences over state transitions, manage resource nullification, and perform categorical compilation into Geb morphisms. By leveraging GF(3) triadic arithmetic and spectral gap tracking, the skill ensures type-level conservation and compositional coherence, making it essential for creating zero-knowledge (ZK) proof-compatible intent circuits, handling cohomology obstructions, and implementing VCG mechanism payments within decentralized ecosystems.

Key Features

2 GitHub stars
Models intent preferences over state transitions (Nullify/Commit patterns)
Compiles Juvix source to Geb categorical semantics and Vampir IR
Calculates VCG externality payments for resource-based games
Implements GF(3) trit arithmetic for type-level resource conservation
Provides obstruction detection and spectral gap tracking for graph-based logic

Use Cases

Implementing cross-chain resource passing with verified triadic charge balance
Developing decentralized games using the Obstruction Monad and Hot Potato logic
Building ZK-proof compatible intents for the Anoma network

About

Key Features

2 GitHub stars
Models intent preferences over state transitions (Nullify/Commit patterns)
Compiles Juvix source to Geb categorical semantics and Vampir IR
Calculates VCG externality payments for resource-based games
Implements GF(3) trit arithmetic for type-level resource conservation
Provides obstruction detection and spectral gap tracking for graph-based logic

Use Cases

Implementing cross-chain resource passing with verified triadic charge balance
Developing decentralized games using the Obstruction Monad and Hot Potato logic
Building ZK-proof compatible intents for the Anoma network