barretenberg
Loading...
Searching...
No Matches
proof_system::plonk::stdlib::IsUltraArithmetic Concept Reference

Concept definition

template<typename Composer>
concept proof_system::plonk::stdlib::IsUltraArithmetic = (Composer::CIRCUIT_TYPE == CircuitType::ULTRA)