[feat] Trait for Circuit with Default Inputs

[nyunyunyunyu]

• Add CircuitWithDefault trait which can return a circuit instance with default inputs for given params.