Interop between vanilla and snarks

filecoin-project / rust-fil-proofs

Proofs for Filecoin in Rust

Other

489 stars 314 forks source link

Closed nicola closed 6 years ago

nicola commented 6 years ago

Goal: Write tests for circuits that use drgporep.Prove as input and merklepor.Prove as input

[x] Use Pedersen commitments in vanilla #7
[x] Use the same KDF #8
[x] Merkle Proof format should be the same #16
[x] Moving circuit code into rust proofs https://github.com/filecoin-project/rust-proofs/pull/13
[x] Turning byte slices into Fp

dignifiedquire commented 6 years ago

Turning byte slices into Fp

We have a way of doing this circuit/multipack.rs, so closing this epic for now. Will open new issues for other things as they come up