Ark 对于初学者 没有一些例子去仿写学习还是很难受的，分别对a * b =c ,y =x^3 + x + 5 ,k = blake2s(b)写了一些约束，并且通过Groth16进行了Prove与验证

值得注意的是：一定要注意使用依赖的版本，0.3 与 0.4系列相差比较大

通过最原始的加法与乘法门实现电路，enforce_constraints(a:lc()!,b:lc()!,c:lc()!)添加约束

在Arkwork各种库里，封装了一些Var，比如FpVar。当调用Fpvar封装好的一些函数，可以忽略掉底层的原生约束，因为已经封装在了函数里面

Gadget个人理解 是一个子电路，封装实现了若干Var，比如ark_crypto_primitives-prf-Blake哈希

要实现一个trait impl<F:Field> ConstraintSynthesizer for Circuit{

fn generate_constraints(self,cs: ConstraintSystemRef<F>,) 
-> Result<(), SynthesisError> {
Ok(())
}