search

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs
https://noir-lang.org
Apache License 2.0
821 stars 177 forks source link

Move `recursive` field to `Program` from `Circuit`. #5364

Open TomAFrench opened 2 days ago

TomAFrench commented 2 days ago

Was looking at this and it seems like we should specify whether a Program is recursive rather than a Circuit.

https://github.com/noir-lang/noir/blob/6936a52bb4de2170b6e4c41afd9cf4327d4fbeb1/acvm-repo/acir/src/circuit/mod.rs#L72-L75

cc @vezenovm