├── .github ├── CODEOWNERS ├── dependabot.yml ├── pull_request_template.md └── workflows │ ├── coverage.yml │ ├── docs.yml │ ├── links.yml │ ├── mbt.yml │ ├── need-triage-label.yml │ ├── pr.yml │ ├── publish.yml │ ├── quint.yml │ ├── rust.yml │ ├── semver.yml │ ├── todo-tracking.yml │ └── typos.yml ├── .gitignore ├── ARCHITECTURE.md ├── BREAKING_CHANGES.md ├── CONTRIBUTING.md ├── CONTRIBUTING_CODE.md ├── LICENSE ├── README.md ├── RELEASE_NOTES.md ├── SECURITY.md ├── assets ├── arch-1.png ├── arch-2.png ├── arch-3.png ├── arch-4.png └── banner.png ├── cliff.toml ├── code ├── .cargo │ └── config.toml ├── .config │ └── nextest.toml ├── .dockerignore ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── Makefile ├── cargo-maelstrom.toml ├── clippy.toml ├── crates │ ├── app-channel │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── connector.rs │ │ │ ├── lib.rs │ │ │ ├── msgs.rs │ │ │ ├── run.rs │ │ │ └── spawn.rs │ ├── app │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ ├── node.rs │ │ │ ├── part_store.rs │ │ │ ├── spawn.rs │ │ │ └── types.rs │ ├── codec │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── config │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── core-consensus │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── src │ │ │ ├── effect.rs │ │ │ ├── error.rs │ │ │ ├── full_proposal.rs │ │ │ ├── gen.rs │ │ │ ├── handle.rs │ │ │ ├── handle │ │ │ │ ├── decide.rs │ │ │ │ ├── driver.rs │ │ │ │ ├── liveness.rs │ │ │ │ ├── proposal.rs │ │ │ │ ├── propose.rs │ │ │ │ ├── proposed_value.rs │ │ │ │ ├── rebroadcast_timeout.rs │ │ │ │ ├── signature.rs │ │ │ │ ├── start_height.rs │ │ │ │ ├── sync.rs │ │ │ │ ├── timeout.rs │ │ │ │ └── vote.rs │ │ │ ├── input.rs │ │ │ ├── lib.rs │ │ │ ├── macros.rs │ │ │ ├── params.rs │ │ │ ├── prelude.rs │ │ │ ├── ser.rs │ │ │ ├── ser │ │ │ │ └── borsh.rs │ │ │ ├── state.rs │ │ │ ├── types.rs │ │ │ └── util │ │ │ │ ├── bounded_queue.rs │ │ │ │ ├── mod.rs │ │ │ │ └── pretty.rs │ │ └── tests │ │ │ └── full_proposal.rs │ ├── core-driver │ │ ├── Cargo.toml │ │ ├── src │ │ │ ├── driver.rs │ │ │ ├── error.rs │ │ │ ├── input.rs │ │ │ ├── lib.rs │ │ │ ├── mux.rs │ │ │ ├── output.rs │ │ │ └── proposal_keeper.rs │ │ └── tests │ │ │ └── it │ │ │ ├── basic.rs │ │ │ ├── extra.rs │ │ │ ├── height_updates.rs │ │ │ ├── main.rs │ │ │ └── utils.rs │ ├── core-state-machine │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── input.rs │ │ │ ├── lib.rs │ │ │ ├── output.rs │ │ │ ├── state.rs │ │ │ ├── state_machine.rs │ │ │ ├── traces │ │ │ ├── line.rs │ │ │ ├── mod.rs │ │ │ └── trace.rs │ │ │ └── transition.rs │ ├── core-types │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── certificate.rs │ │ │ ├── context.rs │ │ │ ├── error.rs │ │ │ ├── height.rs │ │ │ ├── height_params.rs │ │ │ ├── lib.rs │ │ │ ├── proposal.rs │ │ │ ├── proposal_part.rs │ │ │ ├── round.rs │ │ │ ├── ser.rs │ │ │ ├── ser │ │ │ └── borsh.rs │ │ │ ├── signed_message.rs │ │ │ ├── signing.rs │ │ │ ├── threshold.rs │ │ │ ├── timeout.rs │ │ │ ├── timeouts.rs │ │ │ ├── validator_set.rs │ │ │ ├── value.rs │ │ │ ├── vote.rs │ │ │ └── vote_extension.rs │ ├── core-votekeeper │ │ ├── Cargo.toml │ │ ├── src │ │ │ ├── count.rs │ │ │ ├── evidence.rs │ │ │ ├── keeper.rs │ │ │ ├── lib.rs │ │ │ ├── round_votes.rs │ │ │ ├── round_weights.rs │ │ │ └── value_weights.rs │ │ └── tests │ │ │ ├── round_votes.rs │ │ │ ├── vote_count.rs │ │ │ └── vote_keeper.rs │ ├── discovery │ │ ├── Cargo.toml │ │ ├── README.md │ │ └── src │ │ │ ├── behaviour.rs │ │ │ ├── config.rs │ │ │ ├── controller.rs │ │ │ ├── dial.rs │ │ │ ├── handlers │ │ │ ├── bootstrap.rs │ │ │ ├── close.rs │ │ │ ├── connect_request.rs │ │ │ ├── dial.rs │ │ │ ├── extension.rs │ │ │ ├── helpers.rs │ │ │ ├── identify.rs │ │ │ ├── mod.rs │ │ │ ├── peers_management.rs │ │ │ ├── peers_request.rs │ │ │ └── selection │ │ │ │ ├── kademlia.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── random.rs │ │ │ │ └── selector.rs │ │ │ ├── lib.rs │ │ │ ├── metrics.rs │ │ │ ├── request.rs │ │ │ └── util.rs │ ├── engine │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── consensus.rs │ │ │ ├── consensus │ │ │ └── state_dump.rs │ │ │ ├── host.rs │ │ │ ├── lib.rs │ │ │ ├── network.rs │ │ │ ├── node.rs │ │ │ ├── ser.rs │ │ │ ├── ser │ │ │ └── borsh.rs │ │ │ ├── sync.rs │ │ │ ├── util │ │ │ ├── events.rs │ │ │ ├── mod.rs │ │ │ ├── msg_buffer.rs │ │ │ ├── output_port.rs │ │ │ ├── streaming.rs │ │ │ ├── ticker.rs │ │ │ └── timers.rs │ │ │ ├── wal.rs │ │ │ └── wal │ │ │ ├── entry.rs │ │ │ ├── iter.rs │ │ │ └── thread.rs │ ├── metrics │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ ├── metrics.rs │ │ │ └── registry.rs │ ├── network │ │ ├── Cargo.toml │ │ ├── src │ │ │ ├── behaviour.rs │ │ │ ├── channel.rs │ │ │ ├── handle.rs │ │ │ ├── lib.rs │ │ │ └── pubsub.rs │ │ └── test │ │ │ ├── Cargo.toml │ │ │ ├── src │ │ │ └── lib.rs │ │ │ └── tests │ │ │ └── discovery.rs │ ├── peer │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ ├── ser.rs │ │ │ └── ser │ │ │ └── borsh.rs │ ├── proto │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── signing-ecdsa │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── curve │ │ │ ├── k256.rs │ │ │ ├── mod.rs │ │ │ ├── p256.rs │ │ │ └── p384.rs │ │ │ ├── lib.rs │ │ │ └── serializers │ │ │ ├── base64string.rs │ │ │ ├── mod.rs │ │ │ ├── signature.rs │ │ │ ├── signing_key.rs │ │ │ └── verification_key.rs │ ├── signing-ed25519 │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── serializers │ │ │ ├── base64string.rs │ │ │ ├── mod.rs │ │ │ ├── signing_key.rs │ │ │ └── verification_key.rs │ ├── signing │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── error.rs │ │ │ ├── ext.rs │ │ │ └── lib.rs │ ├── starknet │ │ ├── README.md │ │ ├── app │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ ├── actor.rs │ │ │ │ ├── block_store.rs │ │ │ │ ├── block_store │ │ │ │ └── keys.rs │ │ │ │ ├── codec.rs │ │ │ │ ├── config.rs │ │ │ │ ├── host.rs │ │ │ │ ├── host │ │ │ │ ├── proposal.rs │ │ │ │ ├── starknet.rs │ │ │ │ └── state.rs │ │ │ │ ├── lib.rs │ │ │ │ ├── mempool.rs │ │ │ │ ├── mempool │ │ │ │ └── network.rs │ │ │ │ ├── mempool_load.rs │ │ │ │ ├── metrics.rs │ │ │ │ ├── node.rs │ │ │ │ ├── spawn.rs │ │ │ │ └── streaming.rs │ │ ├── p2p-proto │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── export-proto.sh │ │ │ ├── proto │ │ │ │ ├── p2p │ │ │ │ │ └── proto │ │ │ │ │ │ ├── capabilities.proto │ │ │ │ │ │ ├── class.proto │ │ │ │ │ │ ├── common.proto │ │ │ │ │ │ ├── consensus │ │ │ │ │ │ ├── consensus.proto │ │ │ │ │ │ └── liveness.proto │ │ │ │ │ │ ├── discovery.proto │ │ │ │ │ │ ├── mempool │ │ │ │ │ │ └── transaction.proto │ │ │ │ │ │ ├── snapshot.proto │ │ │ │ │ │ ├── sync │ │ │ │ │ │ ├── class.proto │ │ │ │ │ │ ├── common.proto │ │ │ │ │ │ ├── event.proto │ │ │ │ │ │ ├── header.proto │ │ │ │ │ │ ├── receipt.proto │ │ │ │ │ │ ├── state.proto │ │ │ │ │ │ └── transaction.proto │ │ │ │ │ │ └── transaction.proto │ │ │ │ └── sync.proto │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── p2p-types │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ ├── address.rs │ │ │ │ ├── block.rs │ │ │ │ ├── block_info.rs │ │ │ │ ├── block_proof.rs │ │ │ │ ├── context.rs │ │ │ │ ├── context │ │ │ │ └── impls.rs │ │ │ │ ├── felt.rs │ │ │ │ ├── hash.rs │ │ │ │ ├── height.rs │ │ │ │ ├── lib.rs │ │ │ │ ├── proposal.rs │ │ │ │ ├── proposal_commitment.rs │ │ │ │ ├── proposal_part.rs │ │ │ │ ├── signing.rs │ │ │ │ ├── signing │ │ │ │ └── provider.rs │ │ │ │ ├── streaming.rs │ │ │ │ ├── transaction.rs │ │ │ │ ├── validator.rs │ │ │ │ ├── validator_set.rs │ │ │ │ └── vote.rs │ │ └── test │ │ │ ├── Cargo.toml │ │ │ ├── mbt │ │ │ ├── Cargo.toml │ │ │ ├── specs │ │ │ └── src │ │ │ │ ├── deserializers.rs │ │ │ │ ├── lib.rs │ │ │ │ ├── streaming.rs │ │ │ │ ├── tests.rs │ │ │ │ ├── tests │ │ │ │ ├── streaming.rs │ │ │ │ └── streaming │ │ │ │ │ ├── runner.rs │ │ │ │ │ └── utils.rs │ │ │ │ └── utils.rs │ │ │ └── src │ │ │ ├── lib.rs │ │ │ └── tests │ │ │ ├── full_nodes.rs │ │ │ ├── mod.rs │ │ │ ├── n3f0.rs │ │ │ ├── n3f0_pubsub_protocol.rs │ │ │ ├── n3f1.rs │ │ │ ├── value_sync.rs │ │ │ ├── vote_rebroadcast.rs │ │ │ └── wal.rs │ ├── sync │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── behaviour.rs │ │ │ ├── co.rs │ │ │ ├── config.rs │ │ │ ├── effect.rs │ │ │ ├── handle.rs │ │ │ ├── lib.rs │ │ │ ├── macros.rs │ │ │ ├── metrics.rs │ │ │ ├── rpc.rs │ │ │ ├── scoring.rs │ │ │ ├── scoring │ │ │ ├── ema.rs │ │ │ └── metrics.rs │ │ │ ├── ser.rs │ │ │ ├── ser │ │ │ └── borsh.rs │ │ │ ├── state.rs │ │ │ └── types.rs │ ├── test │ │ ├── Cargo.toml │ │ ├── app │ │ │ ├── Cargo.toml │ │ │ ├── config.toml │ │ │ └── src │ │ │ │ ├── app.rs │ │ │ │ ├── config.rs │ │ │ │ ├── lib.rs │ │ │ │ ├── node.rs │ │ │ │ ├── state.rs │ │ │ │ ├── store.rs │ │ │ │ ├── store │ │ │ │ └── keys.rs │ │ │ │ └── streaming.rs │ │ ├── build.rs │ │ ├── cli │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ ├── args.rs │ │ │ │ ├── cmd │ │ │ │ ├── distributed_testnet.rs │ │ │ │ ├── dump_wal.rs │ │ │ │ ├── init.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── start.rs │ │ │ │ └── testnet.rs │ │ │ │ ├── error.rs │ │ │ │ ├── file.rs │ │ │ │ ├── lib.rs │ │ │ │ ├── logging.rs │ │ │ │ ├── metrics.rs │ │ │ │ ├── new.rs │ │ │ │ └── runtime.rs │ │ ├── framework │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ ├── expected.rs │ │ │ │ ├── lib.rs │ │ │ │ ├── logging.rs │ │ │ │ ├── node.rs │ │ │ │ └── params.rs │ │ ├── mbt │ │ │ ├── Cargo.toml │ │ │ ├── specs │ │ │ └── src │ │ │ │ ├── consensus.rs │ │ │ │ ├── deserializers.rs │ │ │ │ ├── lib.rs │ │ │ │ ├── tests.rs │ │ │ │ ├── tests │ │ │ │ ├── consensus.rs │ │ │ │ ├── consensus │ │ │ │ │ ├── runner.rs │ │ │ │ │ └── utils.rs │ │ │ │ ├── votekeeper.rs │ │ │ │ └── votekeeper │ │ │ │ │ ├── runner.rs │ │ │ │ │ └── utils.rs │ │ │ │ ├── types.rs │ │ │ │ ├── utils.rs │ │ │ │ └── votekeeper.rs │ │ ├── mempool │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── proto │ │ │ │ ├── google │ │ │ │ │ └── protobuf │ │ │ │ │ │ └── any.proto │ │ │ │ └── malachite.mempool.proto │ │ │ └── src │ │ │ │ ├── behaviour.rs │ │ │ │ ├── handle.rs │ │ │ │ ├── lib.rs │ │ │ │ ├── msg.rs │ │ │ │ ├── proto.rs │ │ │ │ └── types.rs │ │ ├── proto │ │ │ ├── consensus.proto │ │ │ ├── liveness.proto │ │ │ └── sync.proto │ │ ├── src │ │ │ ├── address.rs │ │ │ ├── codec │ │ │ │ ├── json │ │ │ │ │ ├── mod.rs │ │ │ │ │ └── raw.rs │ │ │ │ ├── mod.rs │ │ │ │ └── proto │ │ │ │ │ └── mod.rs │ │ │ ├── context.rs │ │ │ ├── genesis.rs │ │ │ ├── height.rs │ │ │ ├── lib.rs │ │ │ ├── middleware.rs │ │ │ ├── proposal.rs │ │ │ ├── proposal_part.rs │ │ │ ├── proposer_selector.rs │ │ │ ├── proto.rs │ │ │ ├── signing.rs │ │ │ ├── utils │ │ │ │ ├── mod.rs │ │ │ │ └── validators.rs │ │ │ ├── validator_set.rs │ │ │ ├── value.rs │ │ │ └── vote.rs │ │ └── tests │ │ │ ├── it │ │ │ ├── full_nodes.rs │ │ │ ├── liveness.rs │ │ │ ├── main.rs │ │ │ ├── middlewares.rs │ │ │ ├── n3f0.rs │ │ │ ├── n3f0_consensus_mode.rs │ │ │ ├── n3f0_pubsub_protocol.rs │ │ │ ├── n3f1.rs │ │ │ ├── reset.rs │ │ │ ├── timeout_updates.rs │ │ │ ├── validator_set.rs │ │ │ ├── value_sync.rs │ │ │ ├── vote_rebroadcast.rs │ │ │ └── wal.rs │ │ │ └── unit │ │ │ ├── certificates │ │ │ ├── commit.rs │ │ │ ├── mod.rs │ │ │ ├── polka.rs │ │ │ └── round.rs │ │ │ ├── main.rs │ │ │ └── sync.rs │ └── wal │ │ ├── Cargo.toml │ │ ├── benches │ │ └── wal.rs │ │ ├── src │ │ ├── ext.rs │ │ ├── file.rs │ │ ├── lib.rs │ │ ├── log.rs │ │ ├── ops.rs │ │ ├── storage.rs │ │ └── version.rs │ │ └── tests │ │ └── it │ │ ├── basic.rs │ │ ├── compression.rs │ │ ├── corruption.rs │ │ ├── crashes.rs │ │ ├── main.rs │ │ └── stress.rs ├── examples │ └── channel │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── config.toml │ │ ├── spawn.bash │ │ └── src │ │ ├── app.rs │ │ ├── config.rs │ │ ├── main.rs │ │ ├── metrics.rs │ │ ├── node.rs │ │ ├── state.rs │ │ ├── store.rs │ │ ├── store │ │ └── keys.rs │ │ └── streaming.rs └── scripts │ ├── Makefile │ ├── README.md │ ├── spawn-tmux.bash │ └── spawn.bash ├── codecov.yml ├── docs ├── README.md ├── architecture │ ├── adr-001-architecture.md │ ├── adr-002-node-actor.md │ ├── adr-003-values-propagation.md │ ├── adr-004-coroutine-effect-system.md │ ├── adr-005-value-sync.md │ ├── adr-template.md │ ├── assets │ │ └── sm_arch.jpeg │ └── readme.md ├── development-proposals │ ├── README.md │ └── accountability.md ├── testing │ ├── README.md │ └── local.md └── tutorials │ └── channels.md ├── scripts ├── quint-forall.sh └── todos.py ├── specs ├── README.md ├── consensus │ ├── README.md │ ├── accountable-tm │ │ ├── README.md │ │ ├── accTypes.qnt │ │ ├── misbehavior.qnt │ │ └── pseudo-code.md │ ├── assets │ │ └── sm_diagram.jpeg │ ├── design.md │ ├── message-handling.md │ ├── misbehavior.md │ ├── overview.md │ ├── pseudo-code.md │ └── quint │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── README.md │ │ ├── TendermintDSL.qnt │ │ ├── consensus.qnt │ │ ├── coverage.md │ │ ├── driver.qnt │ │ ├── scripts │ │ └── gen-traces.sh │ │ ├── spells │ │ ├── basic.qnt │ │ └── extra.qnt │ │ ├── statemachineAsync.qnt │ │ ├── tests │ │ ├── consensus │ │ │ └── consensusTest.qnt │ │ ├── decideForPastRound │ │ │ ├── decideForPastRoundTest.qnt │ │ │ └── decideForPastRoundrun.qnt │ │ ├── disagreement │ │ │ ├── disagreementRun.qnt │ │ │ └── disagreementTest.qnt │ │ ├── hiddenlock │ │ │ ├── hiddenLockTest.qnt │ │ │ └── hiddenLockrun.qnt │ │ ├── line26 │ │ │ ├── line26Test.qnt │ │ │ └── line26run.qnt │ │ ├── line28 │ │ │ ├── line28Test.qnt │ │ │ └── line28run.qnt │ │ ├── line32 │ │ │ ├── line32Test.qnt │ │ │ └── line32run.qnt │ │ ├── line42 │ │ │ ├── line42Test.qnt │ │ │ └── line42run.qnt │ │ ├── multi-round │ │ │ ├── someMultiRoundRuns.qnt │ │ │ └── someMultiRoundTest.qnt │ │ ├── newheightlogic │ │ │ ├── heightLogicTest.qnt │ │ │ └── heightLogicrun.qnt │ │ ├── state-machine │ │ │ ├── parameterizedTest.qnt │ │ │ └── statemachineTest.qnt │ │ ├── test-all.sh │ │ └── votekeeper │ │ │ ├── votekeeperModels.qnt │ │ │ └── votekeeperTest.qnt │ │ ├── types.qnt │ │ └── votekeeper.qnt ├── network │ ├── README.md │ ├── discovery │ │ ├── README.md │ │ ├── discovery.qnt │ │ └── ipd-protocol.md │ └── gossip │ │ └── README.md ├── starknet │ ├── README.md │ ├── block-streaming │ │ ├── README.md │ │ ├── binary_heap.qnt │ │ ├── part_stream.qnt │ │ └── spells.qnt │ ├── proofs-scheduling │ │ ├── README.md │ │ └── proofs.qnt │ └── validator-updates │ │ ├── README.md │ │ ├── quint.md │ │ ├── resetFunc.qnt │ │ ├── resetSystem.qnt │ │ └── resetTest.qnt └── synchronization │ ├── README.md │ └── valuesync │ ├── README.md │ └── quint │ ├── README.md │ ├── consensus │ ├── valuesync.qnt │ ├── valuesyncClient.qnt │ ├── valuesyncClientTest.qnt │ ├── valuesyncServer.qnt │ ├── valuesyncServerTest.qnt │ ├── vsyncStatemachine.qnt │ ├── vsyncWithConsensus.qnt │ └── vsyncWithMockedConsensus.qnt ├── terraform └── main.tf └── typos.toml /.github/CODEOWNERS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/CODEOWNERS -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/coverage.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/workflows/coverage.yml -------------------------------------------------------------------------------- /.github/workflows/docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/workflows/docs.yml -------------------------------------------------------------------------------- /.github/workflows/links.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/workflows/links.yml -------------------------------------------------------------------------------- /.github/workflows/mbt.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/workflows/mbt.yml -------------------------------------------------------------------------------- /.github/workflows/need-triage-label.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/workflows/need-triage-label.yml -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.github/workflows/publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/workflows/publish.yml -------------------------------------------------------------------------------- /.github/workflows/quint.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/workflows/quint.yml -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.github/workflows/semver.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/workflows/semver.yml -------------------------------------------------------------------------------- /.github/workflows/todo-tracking.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/workflows/todo-tracking.yml -------------------------------------------------------------------------------- /.github/workflows/typos.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.github/workflows/typos.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/.gitignore -------------------------------------------------------------------------------- /ARCHITECTURE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/ARCHITECTURE.md -------------------------------------------------------------------------------- /BREAKING_CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/BREAKING_CHANGES.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /CONTRIBUTING_CODE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/CONTRIBUTING_CODE.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/README.md -------------------------------------------------------------------------------- /RELEASE_NOTES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/RELEASE_NOTES.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/SECURITY.md -------------------------------------------------------------------------------- /assets/arch-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/assets/arch-1.png -------------------------------------------------------------------------------- /assets/arch-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/assets/arch-2.png -------------------------------------------------------------------------------- /assets/arch-3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/assets/arch-3.png -------------------------------------------------------------------------------- /assets/arch-4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/assets/arch-4.png -------------------------------------------------------------------------------- /assets/banner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/assets/banner.png -------------------------------------------------------------------------------- /cliff.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/cliff.toml -------------------------------------------------------------------------------- /code/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/.cargo/config.toml -------------------------------------------------------------------------------- /code/.config/nextest.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/.config/nextest.toml -------------------------------------------------------------------------------- /code/.dockerignore: -------------------------------------------------------------------------------- 1 | target 2 | scripts 3 | -------------------------------------------------------------------------------- /code/.gitignore: -------------------------------------------------------------------------------- 1 | /x 2 | /y 3 | 4 | scripts/nohup.out 5 | -------------------------------------------------------------------------------- /code/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/Cargo.lock -------------------------------------------------------------------------------- /code/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/Cargo.toml -------------------------------------------------------------------------------- /code/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/Makefile -------------------------------------------------------------------------------- /code/cargo-maelstrom.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/cargo-maelstrom.toml -------------------------------------------------------------------------------- /code/clippy.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/clippy.toml -------------------------------------------------------------------------------- /code/crates/app-channel/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/app-channel/Cargo.toml -------------------------------------------------------------------------------- /code/crates/app-channel/src/connector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/app-channel/src/connector.rs -------------------------------------------------------------------------------- /code/crates/app-channel/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/app-channel/src/lib.rs -------------------------------------------------------------------------------- /code/crates/app-channel/src/msgs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/app-channel/src/msgs.rs -------------------------------------------------------------------------------- /code/crates/app-channel/src/run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/app-channel/src/run.rs -------------------------------------------------------------------------------- /code/crates/app-channel/src/spawn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/app-channel/src/spawn.rs -------------------------------------------------------------------------------- /code/crates/app/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/app/Cargo.toml -------------------------------------------------------------------------------- /code/crates/app/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/app/src/lib.rs -------------------------------------------------------------------------------- /code/crates/app/src/node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/app/src/node.rs -------------------------------------------------------------------------------- /code/crates/app/src/part_store.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/app/src/part_store.rs -------------------------------------------------------------------------------- /code/crates/app/src/spawn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/app/src/spawn.rs -------------------------------------------------------------------------------- /code/crates/app/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/app/src/types.rs -------------------------------------------------------------------------------- /code/crates/codec/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/codec/Cargo.toml -------------------------------------------------------------------------------- /code/crates/codec/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/codec/src/lib.rs -------------------------------------------------------------------------------- /code/crates/config/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/config/Cargo.toml -------------------------------------------------------------------------------- /code/crates/config/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/config/src/lib.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/Cargo.toml -------------------------------------------------------------------------------- /code/crates/core-consensus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/README.md -------------------------------------------------------------------------------- /code/crates/core-consensus/src/effect.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/effect.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/error.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/full_proposal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/full_proposal.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/gen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/gen.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle/decide.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle/decide.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle/driver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle/driver.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle/liveness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle/liveness.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle/proposal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle/proposal.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle/propose.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle/propose.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle/proposed_value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle/proposed_value.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle/rebroadcast_timeout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle/rebroadcast_timeout.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle/signature.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle/signature.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle/start_height.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle/start_height.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle/sync.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle/sync.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle/timeout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle/timeout.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/handle/vote.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/handle/vote.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/input.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/lib.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/macros.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/params.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/prelude.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/prelude.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/ser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/ser.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/ser/borsh.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/ser/borsh.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/state.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/types.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/util/bounded_queue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/util/bounded_queue.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/util/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/util/mod.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/src/util/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/src/util/pretty.rs -------------------------------------------------------------------------------- /code/crates/core-consensus/tests/full_proposal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-consensus/tests/full_proposal.rs -------------------------------------------------------------------------------- /code/crates/core-driver/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/Cargo.toml -------------------------------------------------------------------------------- /code/crates/core-driver/src/driver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/src/driver.rs -------------------------------------------------------------------------------- /code/crates/core-driver/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/src/error.rs -------------------------------------------------------------------------------- /code/crates/core-driver/src/input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/src/input.rs -------------------------------------------------------------------------------- /code/crates/core-driver/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/src/lib.rs -------------------------------------------------------------------------------- /code/crates/core-driver/src/mux.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/src/mux.rs -------------------------------------------------------------------------------- /code/crates/core-driver/src/output.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/src/output.rs -------------------------------------------------------------------------------- /code/crates/core-driver/src/proposal_keeper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/src/proposal_keeper.rs -------------------------------------------------------------------------------- /code/crates/core-driver/tests/it/basic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/tests/it/basic.rs -------------------------------------------------------------------------------- /code/crates/core-driver/tests/it/extra.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/tests/it/extra.rs -------------------------------------------------------------------------------- /code/crates/core-driver/tests/it/height_updates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/tests/it/height_updates.rs -------------------------------------------------------------------------------- /code/crates/core-driver/tests/it/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/tests/it/main.rs -------------------------------------------------------------------------------- /code/crates/core-driver/tests/it/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-driver/tests/it/utils.rs -------------------------------------------------------------------------------- /code/crates/core-state-machine/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-state-machine/Cargo.toml -------------------------------------------------------------------------------- /code/crates/core-state-machine/src/input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-state-machine/src/input.rs -------------------------------------------------------------------------------- /code/crates/core-state-machine/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-state-machine/src/lib.rs -------------------------------------------------------------------------------- /code/crates/core-state-machine/src/output.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-state-machine/src/output.rs -------------------------------------------------------------------------------- /code/crates/core-state-machine/src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-state-machine/src/state.rs -------------------------------------------------------------------------------- /code/crates/core-state-machine/src/state_machine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-state-machine/src/state_machine.rs -------------------------------------------------------------------------------- /code/crates/core-state-machine/src/traces/line.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-state-machine/src/traces/line.rs -------------------------------------------------------------------------------- /code/crates/core-state-machine/src/traces/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-state-machine/src/traces/mod.rs -------------------------------------------------------------------------------- /code/crates/core-state-machine/src/traces/trace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-state-machine/src/traces/trace.rs -------------------------------------------------------------------------------- /code/crates/core-state-machine/src/transition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-state-machine/src/transition.rs -------------------------------------------------------------------------------- /code/crates/core-types/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/Cargo.toml -------------------------------------------------------------------------------- /code/crates/core-types/src/certificate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/certificate.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/context.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/error.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/height.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/height.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/height_params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/height_params.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/lib.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/proposal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/proposal.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/proposal_part.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/proposal_part.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/round.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/round.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/ser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/ser.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/ser/borsh.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/ser/borsh.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/signed_message.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/signed_message.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/signing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/signing.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/threshold.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/threshold.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/timeout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/timeout.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/timeouts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/timeouts.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/validator_set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/validator_set.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/value.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/vote.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/vote.rs -------------------------------------------------------------------------------- /code/crates/core-types/src/vote_extension.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-types/src/vote_extension.rs -------------------------------------------------------------------------------- /code/crates/core-votekeeper/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-votekeeper/Cargo.toml -------------------------------------------------------------------------------- /code/crates/core-votekeeper/src/count.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-votekeeper/src/count.rs -------------------------------------------------------------------------------- /code/crates/core-votekeeper/src/evidence.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-votekeeper/src/evidence.rs -------------------------------------------------------------------------------- /code/crates/core-votekeeper/src/keeper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-votekeeper/src/keeper.rs -------------------------------------------------------------------------------- /code/crates/core-votekeeper/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-votekeeper/src/lib.rs -------------------------------------------------------------------------------- /code/crates/core-votekeeper/src/round_votes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-votekeeper/src/round_votes.rs -------------------------------------------------------------------------------- /code/crates/core-votekeeper/src/round_weights.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-votekeeper/src/round_weights.rs -------------------------------------------------------------------------------- /code/crates/core-votekeeper/src/value_weights.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-votekeeper/src/value_weights.rs -------------------------------------------------------------------------------- /code/crates/core-votekeeper/tests/round_votes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-votekeeper/tests/round_votes.rs -------------------------------------------------------------------------------- /code/crates/core-votekeeper/tests/vote_count.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-votekeeper/tests/vote_count.rs -------------------------------------------------------------------------------- /code/crates/core-votekeeper/tests/vote_keeper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/core-votekeeper/tests/vote_keeper.rs -------------------------------------------------------------------------------- /code/crates/discovery/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/Cargo.toml -------------------------------------------------------------------------------- /code/crates/discovery/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/README.md -------------------------------------------------------------------------------- /code/crates/discovery/src/behaviour.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/behaviour.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/config.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/controller.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/controller.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/dial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/dial.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/bootstrap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/bootstrap.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/close.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/close.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/connect_request.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/connect_request.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/dial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/dial.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/extension.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/extension.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/helpers.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/identify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/identify.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/mod.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/peers_management.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/peers_management.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/peers_request.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/peers_request.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/selection/kademlia.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/selection/kademlia.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/selection/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/selection/mod.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/selection/random.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/selection/random.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/handlers/selection/selector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/handlers/selection/selector.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/lib.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/metrics.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/request.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/request.rs -------------------------------------------------------------------------------- /code/crates/discovery/src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/discovery/src/util.rs -------------------------------------------------------------------------------- /code/crates/engine/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/Cargo.toml -------------------------------------------------------------------------------- /code/crates/engine/src/consensus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/consensus.rs -------------------------------------------------------------------------------- /code/crates/engine/src/consensus/state_dump.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/consensus/state_dump.rs -------------------------------------------------------------------------------- /code/crates/engine/src/host.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/host.rs -------------------------------------------------------------------------------- /code/crates/engine/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/lib.rs -------------------------------------------------------------------------------- /code/crates/engine/src/network.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/network.rs -------------------------------------------------------------------------------- /code/crates/engine/src/node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/node.rs -------------------------------------------------------------------------------- /code/crates/engine/src/ser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/ser.rs -------------------------------------------------------------------------------- /code/crates/engine/src/ser/borsh.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/ser/borsh.rs -------------------------------------------------------------------------------- /code/crates/engine/src/sync.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/sync.rs -------------------------------------------------------------------------------- /code/crates/engine/src/util/events.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/util/events.rs -------------------------------------------------------------------------------- /code/crates/engine/src/util/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/util/mod.rs -------------------------------------------------------------------------------- /code/crates/engine/src/util/msg_buffer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/util/msg_buffer.rs -------------------------------------------------------------------------------- /code/crates/engine/src/util/output_port.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/util/output_port.rs -------------------------------------------------------------------------------- /code/crates/engine/src/util/streaming.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/util/streaming.rs -------------------------------------------------------------------------------- /code/crates/engine/src/util/ticker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/util/ticker.rs -------------------------------------------------------------------------------- /code/crates/engine/src/util/timers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/util/timers.rs -------------------------------------------------------------------------------- /code/crates/engine/src/wal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/wal.rs -------------------------------------------------------------------------------- /code/crates/engine/src/wal/entry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/wal/entry.rs -------------------------------------------------------------------------------- /code/crates/engine/src/wal/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/wal/iter.rs -------------------------------------------------------------------------------- /code/crates/engine/src/wal/thread.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/engine/src/wal/thread.rs -------------------------------------------------------------------------------- /code/crates/metrics/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/metrics/Cargo.toml -------------------------------------------------------------------------------- /code/crates/metrics/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/metrics/src/lib.rs -------------------------------------------------------------------------------- /code/crates/metrics/src/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/metrics/src/metrics.rs -------------------------------------------------------------------------------- /code/crates/metrics/src/registry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/metrics/src/registry.rs -------------------------------------------------------------------------------- /code/crates/network/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/network/Cargo.toml -------------------------------------------------------------------------------- /code/crates/network/src/behaviour.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/network/src/behaviour.rs -------------------------------------------------------------------------------- /code/crates/network/src/channel.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/network/src/channel.rs -------------------------------------------------------------------------------- /code/crates/network/src/handle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/network/src/handle.rs -------------------------------------------------------------------------------- /code/crates/network/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/network/src/lib.rs -------------------------------------------------------------------------------- /code/crates/network/src/pubsub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/network/src/pubsub.rs -------------------------------------------------------------------------------- /code/crates/network/test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/network/test/Cargo.toml -------------------------------------------------------------------------------- /code/crates/network/test/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/network/test/src/lib.rs -------------------------------------------------------------------------------- /code/crates/network/test/tests/discovery.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/network/test/tests/discovery.rs -------------------------------------------------------------------------------- /code/crates/peer/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/peer/Cargo.toml -------------------------------------------------------------------------------- /code/crates/peer/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/peer/src/lib.rs -------------------------------------------------------------------------------- /code/crates/peer/src/ser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/peer/src/ser.rs -------------------------------------------------------------------------------- /code/crates/peer/src/ser/borsh.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/peer/src/ser/borsh.rs -------------------------------------------------------------------------------- /code/crates/proto/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/proto/Cargo.toml -------------------------------------------------------------------------------- /code/crates/proto/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/proto/src/lib.rs -------------------------------------------------------------------------------- /code/crates/signing-ecdsa/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ecdsa/Cargo.toml -------------------------------------------------------------------------------- /code/crates/signing-ecdsa/src/curve/k256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ecdsa/src/curve/k256.rs -------------------------------------------------------------------------------- /code/crates/signing-ecdsa/src/curve/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ecdsa/src/curve/mod.rs -------------------------------------------------------------------------------- /code/crates/signing-ecdsa/src/curve/p256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ecdsa/src/curve/p256.rs -------------------------------------------------------------------------------- /code/crates/signing-ecdsa/src/curve/p384.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ecdsa/src/curve/p384.rs -------------------------------------------------------------------------------- /code/crates/signing-ecdsa/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ecdsa/src/lib.rs -------------------------------------------------------------------------------- /code/crates/signing-ecdsa/src/serializers/base64string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ecdsa/src/serializers/base64string.rs -------------------------------------------------------------------------------- /code/crates/signing-ecdsa/src/serializers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ecdsa/src/serializers/mod.rs -------------------------------------------------------------------------------- /code/crates/signing-ecdsa/src/serializers/signature.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ecdsa/src/serializers/signature.rs -------------------------------------------------------------------------------- /code/crates/signing-ecdsa/src/serializers/signing_key.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ecdsa/src/serializers/signing_key.rs -------------------------------------------------------------------------------- /code/crates/signing-ecdsa/src/serializers/verification_key.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ecdsa/src/serializers/verification_key.rs -------------------------------------------------------------------------------- /code/crates/signing-ed25519/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ed25519/Cargo.toml -------------------------------------------------------------------------------- /code/crates/signing-ed25519/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ed25519/src/lib.rs -------------------------------------------------------------------------------- /code/crates/signing-ed25519/src/serializers/base64string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ed25519/src/serializers/base64string.rs -------------------------------------------------------------------------------- /code/crates/signing-ed25519/src/serializers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ed25519/src/serializers/mod.rs -------------------------------------------------------------------------------- /code/crates/signing-ed25519/src/serializers/signing_key.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ed25519/src/serializers/signing_key.rs -------------------------------------------------------------------------------- /code/crates/signing-ed25519/src/serializers/verification_key.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing-ed25519/src/serializers/verification_key.rs -------------------------------------------------------------------------------- /code/crates/signing/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing/Cargo.toml -------------------------------------------------------------------------------- /code/crates/signing/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing/src/error.rs -------------------------------------------------------------------------------- /code/crates/signing/src/ext.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing/src/ext.rs -------------------------------------------------------------------------------- /code/crates/signing/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/signing/src/lib.rs -------------------------------------------------------------------------------- /code/crates/starknet/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/README.md -------------------------------------------------------------------------------- /code/crates/starknet/app/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/app/Cargo.toml -------------------------------------------------------------------------------- /code/crates/starknet/app/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/app/src/main.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/Cargo.toml -------------------------------------------------------------------------------- /code/crates/starknet/host/src/actor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/actor.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/block_store.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/block_store.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/block_store/keys.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/block_store/keys.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/codec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/codec.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/config.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/host.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/host.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/host/proposal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/host/proposal.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/host/starknet.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/host/starknet.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/host/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/host/state.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/lib.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/mempool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/mempool.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/mempool/network.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/mempool/network.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/mempool_load.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/mempool_load.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/metrics.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/node.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/spawn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/spawn.rs -------------------------------------------------------------------------------- /code/crates/starknet/host/src/streaming.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/host/src/streaming.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/Cargo.toml -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/build.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/export-proto.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/export-proto.sh -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/capabilities.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/capabilities.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/class.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/class.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/common.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/common.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/consensus/consensus.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/consensus/consensus.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/consensus/liveness.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/consensus/liveness.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/discovery.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/discovery.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/mempool/transaction.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/mempool/transaction.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/snapshot.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/snapshot.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/sync/class.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/sync/class.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/sync/common.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/sync/common.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/sync/event.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/sync/event.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/sync/header.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/sync/header.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/sync/receipt.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/sync/receipt.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/sync/state.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/sync/state.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/sync/transaction.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/sync/transaction.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/p2p/proto/transaction.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/p2p/proto/transaction.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/proto/sync.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/proto/sync.proto -------------------------------------------------------------------------------- /code/crates/starknet/p2p-proto/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-proto/src/lib.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/Cargo.toml -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/address.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/address.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/block.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/block_info.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/block_info.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/block_proof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/block_proof.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/context.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/context/impls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/context/impls.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/felt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/felt.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/hash.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/height.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/height.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/lib.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/proposal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/proposal.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/proposal_commitment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/proposal_commitment.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/proposal_part.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/proposal_part.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/signing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/signing.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/signing/provider.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/signing/provider.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/streaming.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/streaming.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/transaction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/transaction.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/validator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/validator.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/validator_set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/validator_set.rs -------------------------------------------------------------------------------- /code/crates/starknet/p2p-types/src/vote.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/p2p-types/src/vote.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/Cargo.toml -------------------------------------------------------------------------------- /code/crates/starknet/test/mbt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/mbt/Cargo.toml -------------------------------------------------------------------------------- /code/crates/starknet/test/mbt/specs: -------------------------------------------------------------------------------- 1 | ../../../../../specs/starknet/ -------------------------------------------------------------------------------- /code/crates/starknet/test/mbt/src/deserializers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/mbt/src/deserializers.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/mbt/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/mbt/src/lib.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/mbt/src/streaming.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/mbt/src/streaming.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/mbt/src/tests.rs: -------------------------------------------------------------------------------- 1 | pub mod streaming; 2 | -------------------------------------------------------------------------------- /code/crates/starknet/test/mbt/src/tests/streaming.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/mbt/src/tests/streaming.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/mbt/src/tests/streaming/runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/mbt/src/tests/streaming/runner.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/mbt/src/tests/streaming/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/mbt/src/tests/streaming/utils.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/mbt/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/mbt/src/utils.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/src/lib.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/src/tests/full_nodes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/src/tests/full_nodes.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/src/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/src/tests/mod.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/src/tests/n3f0.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/src/tests/n3f0.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/src/tests/n3f0_pubsub_protocol.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/src/tests/n3f0_pubsub_protocol.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/src/tests/n3f1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/src/tests/n3f1.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/src/tests/value_sync.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/src/tests/value_sync.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/src/tests/vote_rebroadcast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/src/tests/vote_rebroadcast.rs -------------------------------------------------------------------------------- /code/crates/starknet/test/src/tests/wal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/starknet/test/src/tests/wal.rs -------------------------------------------------------------------------------- /code/crates/sync/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/Cargo.toml -------------------------------------------------------------------------------- /code/crates/sync/src/behaviour.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/behaviour.rs -------------------------------------------------------------------------------- /code/crates/sync/src/co.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/co.rs -------------------------------------------------------------------------------- /code/crates/sync/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/config.rs -------------------------------------------------------------------------------- /code/crates/sync/src/effect.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/effect.rs -------------------------------------------------------------------------------- /code/crates/sync/src/handle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/handle.rs -------------------------------------------------------------------------------- /code/crates/sync/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/lib.rs -------------------------------------------------------------------------------- /code/crates/sync/src/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/macros.rs -------------------------------------------------------------------------------- /code/crates/sync/src/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/metrics.rs -------------------------------------------------------------------------------- /code/crates/sync/src/rpc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/rpc.rs -------------------------------------------------------------------------------- /code/crates/sync/src/scoring.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/scoring.rs -------------------------------------------------------------------------------- /code/crates/sync/src/scoring/ema.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/scoring/ema.rs -------------------------------------------------------------------------------- /code/crates/sync/src/scoring/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/scoring/metrics.rs -------------------------------------------------------------------------------- /code/crates/sync/src/ser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/ser.rs -------------------------------------------------------------------------------- /code/crates/sync/src/ser/borsh.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/ser/borsh.rs -------------------------------------------------------------------------------- /code/crates/sync/src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/state.rs -------------------------------------------------------------------------------- /code/crates/sync/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/sync/src/types.rs -------------------------------------------------------------------------------- /code/crates/test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/Cargo.toml -------------------------------------------------------------------------------- /code/crates/test/app/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/app/Cargo.toml -------------------------------------------------------------------------------- /code/crates/test/app/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/app/config.toml -------------------------------------------------------------------------------- /code/crates/test/app/src/app.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/app/src/app.rs -------------------------------------------------------------------------------- /code/crates/test/app/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/app/src/config.rs -------------------------------------------------------------------------------- /code/crates/test/app/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/app/src/lib.rs -------------------------------------------------------------------------------- /code/crates/test/app/src/node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/app/src/node.rs -------------------------------------------------------------------------------- /code/crates/test/app/src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/app/src/state.rs -------------------------------------------------------------------------------- /code/crates/test/app/src/store.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/app/src/store.rs -------------------------------------------------------------------------------- /code/crates/test/app/src/store/keys.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/app/src/store/keys.rs -------------------------------------------------------------------------------- /code/crates/test/app/src/streaming.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/app/src/streaming.rs -------------------------------------------------------------------------------- /code/crates/test/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/build.rs -------------------------------------------------------------------------------- /code/crates/test/cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/Cargo.toml -------------------------------------------------------------------------------- /code/crates/test/cli/src/args.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/args.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/cmd/distributed_testnet.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/cmd/distributed_testnet.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/cmd/dump_wal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/cmd/dump_wal.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/cmd/init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/cmd/init.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/cmd/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/cmd/mod.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/cmd/start.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/cmd/start.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/cmd/testnet.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/cmd/testnet.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/error.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/file.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/lib.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/logging.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/logging.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/metrics.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/new.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/new.rs -------------------------------------------------------------------------------- /code/crates/test/cli/src/runtime.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/cli/src/runtime.rs -------------------------------------------------------------------------------- /code/crates/test/framework/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/framework/Cargo.toml -------------------------------------------------------------------------------- /code/crates/test/framework/src/expected.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/framework/src/expected.rs -------------------------------------------------------------------------------- /code/crates/test/framework/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/framework/src/lib.rs -------------------------------------------------------------------------------- /code/crates/test/framework/src/logging.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/framework/src/logging.rs -------------------------------------------------------------------------------- /code/crates/test/framework/src/node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/framework/src/node.rs -------------------------------------------------------------------------------- /code/crates/test/framework/src/params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/framework/src/params.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/Cargo.toml -------------------------------------------------------------------------------- /code/crates/test/mbt/specs: -------------------------------------------------------------------------------- 1 | ../.././../../specs/ -------------------------------------------------------------------------------- /code/crates/test/mbt/src/consensus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/consensus.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/src/deserializers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/deserializers.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/lib.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/tests.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/src/tests/consensus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/tests/consensus.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/src/tests/consensus/runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/tests/consensus/runner.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/src/tests/consensus/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/tests/consensus/utils.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/src/tests/votekeeper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/tests/votekeeper.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/src/tests/votekeeper/runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/tests/votekeeper/runner.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/src/tests/votekeeper/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/tests/votekeeper/utils.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/types.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/utils.rs -------------------------------------------------------------------------------- /code/crates/test/mbt/src/votekeeper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mbt/src/votekeeper.rs -------------------------------------------------------------------------------- /code/crates/test/mempool/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mempool/Cargo.toml -------------------------------------------------------------------------------- /code/crates/test/mempool/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mempool/build.rs -------------------------------------------------------------------------------- /code/crates/test/mempool/proto/google/protobuf/any.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mempool/proto/google/protobuf/any.proto -------------------------------------------------------------------------------- /code/crates/test/mempool/proto/malachite.mempool.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mempool/proto/malachite.mempool.proto -------------------------------------------------------------------------------- /code/crates/test/mempool/src/behaviour.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mempool/src/behaviour.rs -------------------------------------------------------------------------------- /code/crates/test/mempool/src/handle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mempool/src/handle.rs -------------------------------------------------------------------------------- /code/crates/test/mempool/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mempool/src/lib.rs -------------------------------------------------------------------------------- /code/crates/test/mempool/src/msg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mempool/src/msg.rs -------------------------------------------------------------------------------- /code/crates/test/mempool/src/proto.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mempool/src/proto.rs -------------------------------------------------------------------------------- /code/crates/test/mempool/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/mempool/src/types.rs -------------------------------------------------------------------------------- /code/crates/test/proto/consensus.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/proto/consensus.proto -------------------------------------------------------------------------------- /code/crates/test/proto/liveness.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/proto/liveness.proto -------------------------------------------------------------------------------- /code/crates/test/proto/sync.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/proto/sync.proto -------------------------------------------------------------------------------- /code/crates/test/src/address.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/address.rs -------------------------------------------------------------------------------- /code/crates/test/src/codec/json/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/codec/json/mod.rs -------------------------------------------------------------------------------- /code/crates/test/src/codec/json/raw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/codec/json/raw.rs -------------------------------------------------------------------------------- /code/crates/test/src/codec/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/codec/mod.rs -------------------------------------------------------------------------------- /code/crates/test/src/codec/proto/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/codec/proto/mod.rs -------------------------------------------------------------------------------- /code/crates/test/src/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/context.rs -------------------------------------------------------------------------------- /code/crates/test/src/genesis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/genesis.rs -------------------------------------------------------------------------------- /code/crates/test/src/height.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/height.rs -------------------------------------------------------------------------------- /code/crates/test/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/lib.rs -------------------------------------------------------------------------------- /code/crates/test/src/middleware.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/middleware.rs -------------------------------------------------------------------------------- /code/crates/test/src/proposal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/proposal.rs -------------------------------------------------------------------------------- /code/crates/test/src/proposal_part.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/proposal_part.rs -------------------------------------------------------------------------------- /code/crates/test/src/proposer_selector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/proposer_selector.rs -------------------------------------------------------------------------------- /code/crates/test/src/proto.rs: -------------------------------------------------------------------------------- 1 | #![allow(missing_docs)] 2 | 3 | include!(concat!(env!("OUT_DIR"), "/test.rs")); 4 | -------------------------------------------------------------------------------- /code/crates/test/src/signing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/signing.rs -------------------------------------------------------------------------------- /code/crates/test/src/utils/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod validators; 2 | -------------------------------------------------------------------------------- /code/crates/test/src/utils/validators.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/utils/validators.rs -------------------------------------------------------------------------------- /code/crates/test/src/validator_set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/validator_set.rs -------------------------------------------------------------------------------- /code/crates/test/src/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/value.rs -------------------------------------------------------------------------------- /code/crates/test/src/vote.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/src/vote.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/full_nodes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/full_nodes.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/liveness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/liveness.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/main.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/middlewares.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/middlewares.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/n3f0.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/n3f0.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/n3f0_consensus_mode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/n3f0_consensus_mode.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/n3f0_pubsub_protocol.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/n3f0_pubsub_protocol.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/n3f1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/n3f1.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/reset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/reset.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/timeout_updates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/timeout_updates.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/validator_set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/validator_set.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/value_sync.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/value_sync.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/vote_rebroadcast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/vote_rebroadcast.rs -------------------------------------------------------------------------------- /code/crates/test/tests/it/wal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/it/wal.rs -------------------------------------------------------------------------------- /code/crates/test/tests/unit/certificates/commit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/unit/certificates/commit.rs -------------------------------------------------------------------------------- /code/crates/test/tests/unit/certificates/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/unit/certificates/mod.rs -------------------------------------------------------------------------------- /code/crates/test/tests/unit/certificates/polka.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/unit/certificates/polka.rs -------------------------------------------------------------------------------- /code/crates/test/tests/unit/certificates/round.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/unit/certificates/round.rs -------------------------------------------------------------------------------- /code/crates/test/tests/unit/main.rs: -------------------------------------------------------------------------------- 1 | mod certificates; 2 | mod sync; 3 | -------------------------------------------------------------------------------- /code/crates/test/tests/unit/sync.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/test/tests/unit/sync.rs -------------------------------------------------------------------------------- /code/crates/wal/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/Cargo.toml -------------------------------------------------------------------------------- /code/crates/wal/benches/wal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/benches/wal.rs -------------------------------------------------------------------------------- /code/crates/wal/src/ext.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/src/ext.rs -------------------------------------------------------------------------------- /code/crates/wal/src/file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/src/file.rs -------------------------------------------------------------------------------- /code/crates/wal/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/src/lib.rs -------------------------------------------------------------------------------- /code/crates/wal/src/log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/src/log.rs -------------------------------------------------------------------------------- /code/crates/wal/src/ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/src/ops.rs -------------------------------------------------------------------------------- /code/crates/wal/src/storage.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/src/storage.rs -------------------------------------------------------------------------------- /code/crates/wal/src/version.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/src/version.rs -------------------------------------------------------------------------------- /code/crates/wal/tests/it/basic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/tests/it/basic.rs -------------------------------------------------------------------------------- /code/crates/wal/tests/it/compression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/tests/it/compression.rs -------------------------------------------------------------------------------- /code/crates/wal/tests/it/corruption.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/tests/it/corruption.rs -------------------------------------------------------------------------------- /code/crates/wal/tests/it/crashes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/tests/it/crashes.rs -------------------------------------------------------------------------------- /code/crates/wal/tests/it/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/tests/it/main.rs -------------------------------------------------------------------------------- /code/crates/wal/tests/it/stress.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/crates/wal/tests/it/stress.rs -------------------------------------------------------------------------------- /code/examples/channel/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/Cargo.toml -------------------------------------------------------------------------------- /code/examples/channel/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/README.md -------------------------------------------------------------------------------- /code/examples/channel/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/config.toml -------------------------------------------------------------------------------- /code/examples/channel/spawn.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/spawn.bash -------------------------------------------------------------------------------- /code/examples/channel/src/app.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/src/app.rs -------------------------------------------------------------------------------- /code/examples/channel/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/src/config.rs -------------------------------------------------------------------------------- /code/examples/channel/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/src/main.rs -------------------------------------------------------------------------------- /code/examples/channel/src/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/src/metrics.rs -------------------------------------------------------------------------------- /code/examples/channel/src/node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/src/node.rs -------------------------------------------------------------------------------- /code/examples/channel/src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/src/state.rs -------------------------------------------------------------------------------- /code/examples/channel/src/store.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/src/store.rs -------------------------------------------------------------------------------- /code/examples/channel/src/store/keys.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/src/store/keys.rs -------------------------------------------------------------------------------- /code/examples/channel/src/streaming.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/examples/channel/src/streaming.rs -------------------------------------------------------------------------------- /code/scripts/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/scripts/Makefile -------------------------------------------------------------------------------- /code/scripts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/scripts/README.md -------------------------------------------------------------------------------- /code/scripts/spawn-tmux.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/scripts/spawn-tmux.bash -------------------------------------------------------------------------------- /code/scripts/spawn.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/code/scripts/spawn.bash -------------------------------------------------------------------------------- /codecov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/codecov.yml -------------------------------------------------------------------------------- /docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/README.md -------------------------------------------------------------------------------- /docs/architecture/adr-001-architecture.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/architecture/adr-001-architecture.md -------------------------------------------------------------------------------- /docs/architecture/adr-002-node-actor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/architecture/adr-002-node-actor.md -------------------------------------------------------------------------------- /docs/architecture/adr-003-values-propagation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/architecture/adr-003-values-propagation.md -------------------------------------------------------------------------------- /docs/architecture/adr-004-coroutine-effect-system.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/architecture/adr-004-coroutine-effect-system.md -------------------------------------------------------------------------------- /docs/architecture/adr-005-value-sync.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/architecture/adr-005-value-sync.md -------------------------------------------------------------------------------- /docs/architecture/adr-template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/architecture/adr-template.md -------------------------------------------------------------------------------- /docs/architecture/assets/sm_arch.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/architecture/assets/sm_arch.jpeg -------------------------------------------------------------------------------- /docs/architecture/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/architecture/readme.md -------------------------------------------------------------------------------- /docs/development-proposals/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/development-proposals/README.md -------------------------------------------------------------------------------- /docs/development-proposals/accountability.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/development-proposals/accountability.md -------------------------------------------------------------------------------- /docs/testing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/testing/README.md -------------------------------------------------------------------------------- /docs/testing/local.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/testing/local.md -------------------------------------------------------------------------------- /docs/tutorials/channels.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/docs/tutorials/channels.md -------------------------------------------------------------------------------- /scripts/quint-forall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/scripts/quint-forall.sh -------------------------------------------------------------------------------- /scripts/todos.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/scripts/todos.py -------------------------------------------------------------------------------- /specs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/README.md -------------------------------------------------------------------------------- /specs/consensus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/README.md -------------------------------------------------------------------------------- /specs/consensus/accountable-tm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/accountable-tm/README.md -------------------------------------------------------------------------------- /specs/consensus/accountable-tm/accTypes.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/accountable-tm/accTypes.qnt -------------------------------------------------------------------------------- /specs/consensus/accountable-tm/misbehavior.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/accountable-tm/misbehavior.qnt -------------------------------------------------------------------------------- /specs/consensus/accountable-tm/pseudo-code.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/accountable-tm/pseudo-code.md -------------------------------------------------------------------------------- /specs/consensus/assets/sm_diagram.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/assets/sm_diagram.jpeg -------------------------------------------------------------------------------- /specs/consensus/design.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/design.md -------------------------------------------------------------------------------- /specs/consensus/message-handling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/message-handling.md -------------------------------------------------------------------------------- /specs/consensus/misbehavior.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/misbehavior.md -------------------------------------------------------------------------------- /specs/consensus/overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/overview.md -------------------------------------------------------------------------------- /specs/consensus/pseudo-code.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/pseudo-code.md -------------------------------------------------------------------------------- /specs/consensus/quint/.gitignore: -------------------------------------------------------------------------------- 1 | traces/ 2 | _apalache-out/ 3 | -------------------------------------------------------------------------------- /specs/consensus/quint/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/Makefile -------------------------------------------------------------------------------- /specs/consensus/quint/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/README.md -------------------------------------------------------------------------------- /specs/consensus/quint/TendermintDSL.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/TendermintDSL.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/consensus.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/consensus.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/coverage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/coverage.md -------------------------------------------------------------------------------- /specs/consensus/quint/driver.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/driver.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/scripts/gen-traces.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/scripts/gen-traces.sh -------------------------------------------------------------------------------- /specs/consensus/quint/spells/basic.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/spells/basic.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/spells/extra.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/spells/extra.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/statemachineAsync.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/statemachineAsync.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/consensus/consensusTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/consensus/consensusTest.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/decideForPastRound/decideForPastRoundTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/decideForPastRound/decideForPastRoundTest.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/decideForPastRound/decideForPastRoundrun.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/decideForPastRound/decideForPastRoundrun.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/disagreement/disagreementRun.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/disagreement/disagreementRun.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/disagreement/disagreementTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/disagreement/disagreementTest.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/hiddenlock/hiddenLockTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/hiddenlock/hiddenLockTest.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/hiddenlock/hiddenLockrun.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/hiddenlock/hiddenLockrun.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/line26/line26Test.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/line26/line26Test.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/line26/line26run.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/line26/line26run.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/line28/line28Test.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/line28/line28Test.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/line28/line28run.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/line28/line28run.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/line32/line32Test.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/line32/line32Test.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/line32/line32run.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/line32/line32run.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/line42/line42Test.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/line42/line42Test.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/line42/line42run.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/line42/line42run.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/multi-round/someMultiRoundRuns.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/multi-round/someMultiRoundRuns.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/multi-round/someMultiRoundTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/multi-round/someMultiRoundTest.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/newheightlogic/heightLogicTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/newheightlogic/heightLogicTest.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/newheightlogic/heightLogicrun.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/newheightlogic/heightLogicrun.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/state-machine/parameterizedTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/state-machine/parameterizedTest.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/state-machine/statemachineTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/state-machine/statemachineTest.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/test-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/test-all.sh -------------------------------------------------------------------------------- /specs/consensus/quint/tests/votekeeper/votekeeperModels.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/votekeeper/votekeeperModels.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/tests/votekeeper/votekeeperTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/tests/votekeeper/votekeeperTest.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/types.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/types.qnt -------------------------------------------------------------------------------- /specs/consensus/quint/votekeeper.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/consensus/quint/votekeeper.qnt -------------------------------------------------------------------------------- /specs/network/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/network/README.md -------------------------------------------------------------------------------- /specs/network/discovery/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/network/discovery/README.md -------------------------------------------------------------------------------- /specs/network/discovery/discovery.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/network/discovery/discovery.qnt -------------------------------------------------------------------------------- /specs/network/discovery/ipd-protocol.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/network/discovery/ipd-protocol.md -------------------------------------------------------------------------------- /specs/network/gossip/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/network/gossip/README.md -------------------------------------------------------------------------------- /specs/starknet/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/starknet/README.md -------------------------------------------------------------------------------- /specs/starknet/block-streaming/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/starknet/block-streaming/README.md -------------------------------------------------------------------------------- /specs/starknet/block-streaming/binary_heap.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/starknet/block-streaming/binary_heap.qnt -------------------------------------------------------------------------------- /specs/starknet/block-streaming/part_stream.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/starknet/block-streaming/part_stream.qnt -------------------------------------------------------------------------------- /specs/starknet/block-streaming/spells.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/starknet/block-streaming/spells.qnt -------------------------------------------------------------------------------- /specs/starknet/proofs-scheduling/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/starknet/proofs-scheduling/README.md -------------------------------------------------------------------------------- /specs/starknet/proofs-scheduling/proofs.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/starknet/proofs-scheduling/proofs.qnt -------------------------------------------------------------------------------- /specs/starknet/validator-updates/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/starknet/validator-updates/README.md -------------------------------------------------------------------------------- /specs/starknet/validator-updates/quint.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/starknet/validator-updates/quint.md -------------------------------------------------------------------------------- /specs/starknet/validator-updates/resetFunc.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/starknet/validator-updates/resetFunc.qnt -------------------------------------------------------------------------------- /specs/starknet/validator-updates/resetSystem.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/starknet/validator-updates/resetSystem.qnt -------------------------------------------------------------------------------- /specs/starknet/validator-updates/resetTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/starknet/validator-updates/resetTest.qnt -------------------------------------------------------------------------------- /specs/synchronization/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/synchronization/README.md -------------------------------------------------------------------------------- /specs/synchronization/valuesync/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/synchronization/valuesync/README.md -------------------------------------------------------------------------------- /specs/synchronization/valuesync/quint/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/synchronization/valuesync/quint/README.md -------------------------------------------------------------------------------- /specs/synchronization/valuesync/quint/consensus: -------------------------------------------------------------------------------- 1 | ../../../consensus/quint -------------------------------------------------------------------------------- /specs/synchronization/valuesync/quint/valuesync.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/synchronization/valuesync/quint/valuesync.qnt -------------------------------------------------------------------------------- /specs/synchronization/valuesync/quint/valuesyncClient.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/synchronization/valuesync/quint/valuesyncClient.qnt -------------------------------------------------------------------------------- /specs/synchronization/valuesync/quint/valuesyncClientTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/synchronization/valuesync/quint/valuesyncClientTest.qnt -------------------------------------------------------------------------------- /specs/synchronization/valuesync/quint/valuesyncServer.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/synchronization/valuesync/quint/valuesyncServer.qnt -------------------------------------------------------------------------------- /specs/synchronization/valuesync/quint/valuesyncServerTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/synchronization/valuesync/quint/valuesyncServerTest.qnt -------------------------------------------------------------------------------- /specs/synchronization/valuesync/quint/vsyncStatemachine.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/synchronization/valuesync/quint/vsyncStatemachine.qnt -------------------------------------------------------------------------------- /specs/synchronization/valuesync/quint/vsyncWithConsensus.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/synchronization/valuesync/quint/vsyncWithConsensus.qnt -------------------------------------------------------------------------------- /specs/synchronization/valuesync/quint/vsyncWithMockedConsensus.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/specs/synchronization/valuesync/quint/vsyncWithMockedConsensus.qnt -------------------------------------------------------------------------------- /terraform/main.tf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/terraform/main.tf -------------------------------------------------------------------------------- /typos.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/circlefin/malachite/HEAD/typos.toml --------------------------------------------------------------------------------