arkworks-rs / snark

Interfaces for Relations and SNARKs for these relations
https://www.arkworks.rs
Apache License 2.0
783 stars 208 forks source link

Allow `ns` to have run-time defined namespaces #337

Open ValarDragon opened 3 years ago

ValarDragon commented 3 years ago

Summary

Namespace names at the moment must be &'static str. There are use cases in which you would want runtime defined namespaces, e.g. for generating many circuits of different sizes, or prefixing what step of a computation you are in.

I think we should try to generalize this to &str. I'm not really clear why its limited to &'static str at the moment, is this imposed by tokio-rs/tracing's info_span! macro?


For Admin Use

Pratyush commented 3 years ago

Yes, the limitation is due to tracing. There might be a way to work around it though