search

ethereum / cbc-casper

GNU Affero General Public License v3.0
228 stars 44 forks source link

Oracle Comparisons #160

Open naterush opened 6 years ago

naterush commented 6 years ago

Issue

Currently, we have no way of figuring out how efficient different safety oracles are in different situations. It would be nice to be able to compare these different oracles in different situations.

Proposed Implementation

Create an automated mechanism for testing oracles in different situations, and giving us useful information about their run-times, how high of a lower-bound they can recognize, etc.

seanavery commented 6 years ago

Side note. networkX is great as it provides many built in algs and plotting tool out of the box, but it may be worth exploring building our own graph data structure from scratch that implements our more fine tuned clique searching algorithms w/ plotting and analytic hooks.