Open kevaundray opened 3 years ago
This is half-way complete. The rust code now uses a regular transcript that matches with the other implementations, there are also tests that check CRS consistency, and trie root consistency.
Still need to ensure that a proof created using either implementation can be verified with the other implementations. This requires each implementation to use the same serialization
This is not yet possible with the Rust implementation as we use merlin for the Transcript protocol, while the python and golang implementation use a simple sha256 hash.
we can however, test for other components such as: