This skill should be used when the user asks about "AIR", "algebraic intermediate representation", "ZK constraints", "t…
This skill should be used when the user asks about "AIR", "algebraic intermediate representation", "ZK constraints", "trace design", "constraint soundness", "polynomial commitments", "FRI", "STARK", "lookup arguments", "permutation arguments", "memory consistency", "transition constraints", "boundary constraints", "vanishing polynomial", "quotient polynomial", "Fiat-Shamir", or needs expert-level cryptographic review of constraint systems.
aiskillstore
cli
free
Others in the same category, ranked by how often they are opened.
