Todd Norton
Todd Norton
This PR adds our first hash function--the optimized Poseidon hash, complete with parameter generation written in Rust. Credit goes to @tsunrise and @BoyuanFeng for writing this. The contents of this...
Opening this to alert everyone that I am in the process of adapting Manta's poseidon implementation here (https://github.com/Manta-Network/Plonk-Prototype/pull/3) to be ready to enter the plonk-hashing module. This implementation includes [filecoin's...
Trying to understand what we want out of this function here: [lift_embedded_scalar](https://github.com/Manta-Network/manta-rs/blob/f4f7da14525b2a31ec162228e2089b18bfcdc95f/manta-pay/src/crypto/ecc/arkworks.rs#L66-L77). It is currently only used [here](https://github.com/Manta-Network/manta-rs/blob/f4f7da14525b2a31ec162228e2089b18bfcdc95f/manta-pay/src/config.rs#L190-L208) (and in the same file for the variable version). The purpose there...
This applies to the `download` and `download_if_invalid` APIs.
The remaining standard library traits should be implemented for the ArkGroth16 proving system. This would include all traits in `eclair::{ bool, cmp, num, ops }` for `COM = R1CS`, implemented...
The contents of [this PR](https://github.com/Manta-Network/manta-rs/pull/190/files) should instead be merged into `openzl-crypto`
These currently are for the Bls12-381 curve and should be updated to Bn254. In `plugins::arkworks::poseidon::test` there should be a `mod hash` with this test: ``` // mod constants { //...
We implement some purely LA operations in `openzl-crypto::poseidon::matrix` and it would be good to move these to their own LA module or import a LA library. Would such an import...
Move from `manta-crypto::arkworks::groth16` into arkworks plugin, implement `trait ProofSystem`
**Describe the bug** The process does not exit when the inspector is used in CLI mode to inspect an MCP server launched with an `npx @example_server` command. This is a...