Isaac Sheff

Similar error on Ubuntu 18.04. I have been able to run eclimd in the past, but suddenly, I get this error.

`:verbose JavaSearchContext` results in: ``` java.lang.RuntimeException: java.lang.IllegalArgumentException: File 'jar:file:///usr/lib/jvm/java-10-oracle/lib/jrt-fs.jar!java/lang/System.class' not found. ^Iat org.eclim.util.file.FileOffsets.compile(FileOffsets.java:69) ^Iat org.eclim.util.file.FileUtils.offsetToLineColumn(FileUtils.java:125) ^Iat org.eclim.util.file.Position.fromOffset(Position.java:71) ^Iat org.eclim.plugin.jdt.command.search.SearchCommand.createPosition(SearchCommand.java:540) ^Iat org.eclim.plugin.jdt.command.search.SearchCommand.execute(SearchCommand.java:154) ^Iat org.eclim.command.Main$1.run(Main.java:100) ^Iat org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:37) ^Iat org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:182) ^Iat org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4577) ^Iat...

The academic programming language Genus has a very expressive solution to this problem, allowing the programmer to specify which implementation of the trait they want to use: https://www.cs.cornell.edu/andru/papers/genus/

I re-packed the data with gzip compression and now it seems to work. This would seem to confirm that the problem is in reading the bz2 compression.

We will ultimately need some system whereby quorums of validators can verify that they've stored (perhaps erasure-coded) a transaction such that it can eventually be ordered and executed. Perhaps something...

Schemes like Kauri (SOSP 2021) use combination signature-aggregation/gossip trees.

HotStuff effectively does all-to-all communication with O(n) overhead by sending everything through a leader which aggregates signatures.

It currently seems likely that DKG will be a bottleneck on the number of validators before all-to-all messaging in consensus becomes impractical. We may be able to delay on message-aggregating...

We may be able to usefully combine some consensus messages here with mempool messages, like [Tusk](https://arxiv.org/pdf/2105.11827.pdf) does.

Similarly, we may want to take into account [message pipelining](https://github.com/heliaxdev/typhon/issues/18) when formatting these messages.