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

Add stash hash bound to SNARK queries

Data

Be consistent in usage of the word 'canonical'

1 comment

Our definitions: - **Pending**: transaction that has been gossiped and buffered in mempool - **Canonical**: transaction/block on the *best* chain, and can even include the most recent block - **Finalized**:...

Consolidate logic for precomputed block filenames with format `<network_name>-<state_hash>.json`

2 comment

Enhancement
Data

Store raw JSON bytes instead of the serialized `PrecomputedBlock` bytes

5 comment

`BlockStore` function `add_block` currently takes a `&PrecomputedBlock` and we store the bytes from `serde_json::to_vec()` in the db. We should store the `contents` of a `BlockFileContents` instead.

Enhancement
Data

Learn and document how Berkeley ledgers should be maintained with zkApps

Spike
Berkeley
zkApp

CLI flag to not ingest orphaned blocks

Fix staking ledger watcher for MacOS

3 comment

Make `TxnHash` struct

1 comment

We should use `pub struct TxnHash(pub String)` over `String`

Good First Issue

Need new staking ledgers fetch mode: staking ledgers after most recent

1 comment

New Feature

Username forgetting service

Data