Sharding: per-shard check / prove / verify on the IxVM kernel#437

arthurpaulino merged 1 commit into

mainargumentcomputer/ix:mainfrom

ap/shardingargumentcomputer/ix:ap/shardingCopy head branch name to clipboard