Andrew Miller

./get-libsnark no longer works since libsnark moved to cmake

1

I'm making some progress updating this but seems stuck in dependency hell

how to validate the deterministic build

6

Hi, I'm trying to practice reproducing the build. I am on this version of docker `Docker version 1.12.1, build 23cf638` on ubuntu, and get the following error when trying to...

It seems like it would be easy to build the verifier in this codebase too. The `verify_transform` function in [Sean's codebase](https://github.com/ebfull/powersoftau/blob/master/src/bin/verify_transform.rs) is a reference for verifier functionality (though don't look...

SPV mode for pynode

1

pynode runs mostly like a full-validating node, meaning it downloads all of every block, maintains an entire UTXO set, etc. Especially now that most of pynode is factored out, we...

Bug in ABA protocol's use of Common Coin

2

Thanks to Ethan MacBrough (from Ripple Research) for reporting a protocol design error in HoneyBadgerBFT. The error has to do with the use of Threshold-Signature-based Common Coin to instantiate the...

Bounded Badger

1

Currently, HoneyBadgerBFT requires unbounded communication buffers, for both outgoing messages and incoming messages. The problem is that in an asynchronous network, honest nodes may lag arbitrarily far behind, so the...

Visualization of Messages

1

A visualization of the protocol flow could facilitate understanding the protocol flow for newcomers. It could also provide a way to help debugging or diagnosing network problems/faults. Also it could...

Subprotocol tests

2

Need tests for individual subprotocols, like reliable broadcast, binary agreement, etc.

Accounting for buffer usage on per-peer basis

4

1. The Asynchronous communication model means that outgoing messages may need to be stored/resent arbitrarily far into the future. Some outgoing messages may be able to be marked as stale,...