@zk-kit/logical-expressions
Boolean logic for zero-knowledge applications.
Overview
The @zk-kit/logical-expressions package provides utilities for working with boolean expressions in zero-knowledge contexts.
Installation
npm install @zk-kit/logical-expressions
Features
- Boolean logic operations (AND, OR, NOT)
- Expression evaluation
- Circuit-friendly implementations
- Type-safe TypeScript API
Basic Usage
import { LogicalExpression } from "@zk-kit/logical-expressions"
// Example usage
// (Documentation to be expanded based on package API)
Use Cases
- Policy Enforcement: Define complex access rules
- Circuit Optimization: Optimize boolean expressions for ZK circuits
- Conditional Logic: Implement conditional statements in ZK