openzl
openzl copied to clipboard
openzklib
Zero-Knowledge Cryptography Infrastructure Stack
To build circuits in an abstract setting we need to pass around the `compiler` argument. In many cases, when we want to just compose existing primitives, we don't want to...
For at least the following types, we want the `ECLAIR` replacement derive macro: - [ ] `PartialEq` - [ ] `Eq` - [ ] `PartialOrd` - [ ] `Ord`
We should have a macro (maybe it's called `measure!`) which is like the macros in the `log` or `tracing` crate which allows circuits to be measured depending on a configuration...
For `Constant`, there is a canonical implementation for structs (each of its fields are constants). For `Variable`, it will depend on the explicit allocation modes we want to add to...
This pull request contains changes to improve clarity, correctness and structure. **Description correction:** Corrected `practioners` to `practitioners` Corrected `devlopers` to `developers` Corrected `knowlege` to `knowledge` Corrected `compelete` to `complete` Please...
