Quantifier

icon indicating a website link https://www.isaacdefrain.com

icon company @Granola-Team icon location Vancouver, BC icon location Rust, OCaml, ZK, Formal Verification, Blockchain, BFT, Consensus, Protocol Design, Mathematics

Results 67 issues of Quantifier

Investigate RocksDB batch writes

4 comment

GQL write test for global slot sorted user commands

GraphQL
Data
Testing / QA

Learn how Zkapp commands are serialized

Spike
zkApp
Berkeley

Learn how Berkeley signed commands are serialized

Spike
Berkeley

Implement `StagedLedgerDiffTuple` for Berkeley PCBs

Berkeley

Implement `UserCommandWithStatus` for Berkeley user commands

Berkeley

Get previous post-hardfork staking ledgers

We need all staking ledgers for the post-hardfork network

Data

Learn how best to support Berkeley txn hash

1 comment

Spike
Berkeley

Fix prod deploy

I personally don't remember the last time this worked without manual intervention. This process should not require manual intervention.

Bug
Urgent

Prefix CF with chain id to discriminate between different networks

Data
New Feature