Port proofs from Go to Rust - Githubissues

filecoin-project / rust-fil-proofs

Proofs for Filecoin in Rust

Other

492 stars 314 forks source link

Port proofs from Go to Rust #1

Closed nicola closed 6 years ago

nicola commented 6 years ago

[x] feistel: https://github.com/filecoin-project/go-proofs/tree/master/crypto/feistel
[x] merklepor: https://github.com/filecoin-project/go-proofs/blob/master/por/merklepor/merklepor.go
[x] proofs interface: https://github.com/filecoin-project/go-proofs/tree/master/proofs
[ ] snark wrapper: https://github.com/filecoin-project/go-proofs/blob/master/snarkwrapper/snarkwrapper.go
[x] layerdrgporep
[x] drgporep

DO NOT MOVE:

merkle tree implementation
sloth (for now)
mimc (for now)
post, batchedpost & fam

dignifiedquire commented 6 years ago

work for merklepor is pretty much done in snark-circuits/bellman, just need to decide on format and make it usable here
will finish drgporep today and the proofs interface

dignifiedquire commented 6 years ago

Closing, the last part is in #11