Why does my Compact contract fail with an 'unbounded loop' error?

Compact requires loop bounds to be compile-time constants for circuit generation. This skill helps you refactor loops to use literal bounds or constant parameters.

Can this skill help with TypeScript test setup?

Yes, it provides configuration patterns and code snippets for using the @midnight-ntwrk/compact-testing package to create automated test suites.

What is a 'potential witness-value disclosure' error?

This error occurs in Compact when private witness data flows to a public output without explicit authorization. This skill helps you resolve it by adding disclose() calls or using cryptographic commitments.

How do I handle 'circuit constraint failed' errors?

This skill provides a debugging decision tree to check your assertion conditions, verify witness values, and ensure your inputs satisfy the mathematical constraints of the circuit.

Does it support mocking witness functions?

Yes, it includes specific examples for creating mock witness objects to simulate user behavior and external data during unit testing.

Compact Contract Testing & Debugging

Name: Compact Contract Testing & Debugging
Author: aaronbassett

byaaronbassett

0•

安全与测试

Debugs and tests Compact smart contracts for the Midnight network by identifying circuit constraints, resolving compiler errors, and implementing TypeScript test harnesses.

This skill provides specialized guidance for developers working with Compact, the smart contract language for the Midnight blockchain. It streamlines the development lifecycle by helping users troubleshoot specific compiler errors like 'potential witness-value disclosure,' resolve circuit constraint failures during proof generation, and implement robust unit tests using the @midnight-ntwrk/compact-testing framework. Whether you are mocking witness functions, verifying ledger state transitions, or optimizing circuit logic to avoid unbounded loops, this skill provides the patterns and debugging decision trees necessary for zero-knowledge application development.

主要功能

01Includes patterns for witness mocking to simulate various contract inputs

02Identifies common ZK-development pitfalls like unbounded loops and arithmetic overflows

03Diagnoses runtime proof generation failures and circuit constraint violations

04Provides boilerplate for TypeScript-based test harnesses and unit testing circuits

050 GitHub stars

06Resolves complex Compact compiler errors including witness-value disclosure and type mismatches

使用场景

01Setting up automated unit tests to verify private state transitions in Compact contracts

02Fixing 'potential witness-value disclosure' warnings by implementing proper disclosures or commitments

03Troubleshooting failed proof generation during contract execution on the Midnight network

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add aaronbassett/midnight-knowledgebase testing-debugging

For use in Claude.ai and ChatGPT

Download Skill