alex-ozdemir / collaborative-zksnark Goto Github PK

It seems that PrimeField and SquareRootField trait isn't implemented for MpcField.
(https://github.com/alex-ozdemir/collaborative-zksnark/blob/main/mpc-algebra/src/wire/field.rs#L516)

I'm trying to use MpcField for implementing elgamal encryption on mpc-snarks
(especially trying to refactor EdwardParameter to use MpcField as BaseField and ScalarField) ,
so I wonder why it wasn't implemented and the expected level of difficulty for implementing.

I received this error msg while trying to cargo test marlin

error[E0554]: #![feature] may not be used on the stable release channel
--> /mnt/c/phd_3rd_year/multiprover-snark/mpc-trait/src/lib.rs:1:1
|
1 | #![feature(associated_type_defaults)]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

For more information about this error, try rustc --explain E0554.
error: could not compile mpc-trait due to previous error

Any suggestions?

I am trying to run the code but am getting errors. E.g. when running make proof in collaborative-zksnark/mpc-snarks/Makefile, it fails with error: could not compile mpc-algebra (lib) due to 32 previous errors; 3 warnings emitted. Most of these errors are of the type: error[E0277]: the size for values of type [<PS as PairingShare<E>>::FrShare] cannot be known at compilation time.

What version of rustup/rustc/cargo was used to build and run this code?

Thanks in advance!