docs: Typos and formatting

Author: pmerkleplant

Diff for: docs/Invariants.md

@@ -16,7 +16,6 @@ This document specifies invariants of the Scribe and ScribeOptimistic oracle con
         → postTx(_pokeData.age) == block.timestamp
     ```
 
-
 ## `ScribeOptimistic::_pokeData`
 
 * Only `poke`, `opPoke`, `opChallenge` and `_afterAuthedAction` protected auth'ed functions may mutate `_pokeData`:
@@ -37,7 +36,6 @@ This document specifies invariants of the Scribe and ScribeOptimistic oracle con
         → postTx(_pokeData) = preTx(_opPokeData) ⋀ preTx(readWithAge()) = preTx(_opPokeData)
     ```
 
-
 ## `{Scribe, ScribeOptimistic}::_pokeData`
 
 * `_pokeData.age` is strictly monotonically increasing:
@@ -48,7 +46,6 @@ This document specifies invariants of the Scribe and ScribeOptimistic oracle con
 
 * `_pokeData.val` can only be read by _toll'ed_ caller.
 
-
 ## `ScribeOptimistic::_opPokeData`
 
 * Only `opPoke`, `opChallenge` and `_afterAuthedAction` protected auth'ed functions may mutate `_opPokeData`:
@@ -69,7 +66,6 @@ This document specifies invariants of the Scribe and ScribeOptimistic oracle con
         → postTx(_opPokeData.val) == 0 ⋀ postTx(_opPokeData.age) == 0
     ```
 
-
 ## `{Scribe, ScribeOptimistic}::_pubKeys`
 
 * `_pubKeys[0]` is the zero point:
@@ -112,7 +108,6 @@ This document specifies invariants of the Scribe and ScribeOptimistic oracle con
         → authed(msg.sender)
     ```
 
-
 ## `{Scribe, ScribeOptimistic}::_feeds`
 
 * Image of mapping is `[0, _pubKeys.length)`:

Diff for: docs/Scribe.md

@@ -26,16 +26,14 @@ The Scribe contract also allows the creation of an _optimistic-flavored_ oracle
 
 Scribe implements _Chronicle Protocol_'s [`IChronicle`](https://github.com/chronicleprotocol/chronicle-std/blob/v1/src/IChronicle.sol) interface for reading the oracle's value.
 
-To protect authorized functions, Scribe uses `chronicle-std`'s [`Auth`](https://github.com/chronicleprotocol/chronicle-std/blob/v1/src/auth/Auth.sol) module. Functions to read the oracle's value are protected via `chronicle-std`'s [`Toll`](https://github.com/chronicleprotocol/chronicle-std/blob/v1/src/toll/Toll.sol) module.
-
+To protect authorized functions, Scribe uses `chronicle-std`'s [`Auth`](https://github.com/chronicleprotocol/chronicle-std/blob/v2/src/auth/Auth.sol) module. Functions to read the oracle's value are protected via `chronicle-std`'s [`Toll`](https://github.com/chronicleprotocol/chronicle-std/blob/v2/src/toll/Toll.sol) module.
 
 ## Schnorr Signature Scheme
 
 Scribe uses a custom Schnorr signature scheme. The scheme is specified in [docs/Schnorr.md](./Schnorr.md).
 
 The verification logic is implemented in [`LibSchnorr.sol`](../src/libs/LibSchnorr.sol). A Solidity library to (multi-) sign data is provided via [`script/libs/LibSchnorrExtended.sol`](../script/libs/LibSchnorrExtended.sol).
 
-
 ## Elliptic Curve Computations
 
 Scribe needs to perform elliptic curve computations on the secp256k1 curve to verify aggregated/multi signatures.
@@ -48,7 +46,6 @@ This optimization allows Scribe to aggregate public keys, i.e. compute the sum o
 
 For more info, see [`LibSecp256k1::addAffinePoint()`](../src/libs/LibSecp256k1.sol).
 
-
 ## Encoding Participating Public Keys
 
 The `poke()` function has to receive the set of feeds, i.e. public keys, that participated in the Schnorr multi-signature.
@@ -57,16 +54,14 @@ To reduce the calldata load, Scribe does not use type `address`, which uses 20 b
 
 For more info, see [`LibSchnorrData.sol`](../src/libs/LibSchnorrData.sol).
 
-
 ## Lifting Feeds
 
-Feeds _must_ prove the integrity of their public key by proving the ownership of the corresponding private key. The `lift()` function therefore expects an ECDSA signed message derived from `IScribe::wat()`.
+Feeds _must_ prove the integrity of their public key by proving the ownership of the corresponding private key. The `lift()` function therefore expects an ECDSA signed message, for more info see [`IScribe.feedRegistrationMessage()`](../src/IScribe.sol).
 
 If public key's would not be verified, the Schnorr signature verification would be vulnerable to rogue-key attacks. For more info, see [`docs/Schnorr.md`](./Schnorr.md#key-aggregation-for-multisignatures).
 
 Also, the number of state-changing `lift()` executions is limited to `type(uint8).max-1`, i.e. 254. After reaching this limit, no further `lift()` calls can be executed. For more info, see [`IScribe.maxFeeds()`](../src/IScribe.sol).
 
-
 ## Chainlink Compatibility
 
 Scribe aims to be partially Chainlink compatible by implementing the most widely, and not deprecated, used functions of the `IChainlinkAggregatorV3` interface.
@@ -75,7 +70,6 @@ The following `IChainlinkAggregatorV3` functions are provided:
 - `latestRoundData()`
 - `decimals()`
 
-
 ## Optimistic-Flavored Scribe
 
 _ScribeOptimistic_ is a contract inheriting from Scribe and providing an _optimistic-flavored_ Scribe version. This version is intended to only be used on Layer 1s with expensive computation.
@@ -88,7 +82,6 @@ If an `opPoke()` is not challenged, its value finalizes after a specified period
 
 Monitoring optimistic pokes and, if necessary, challenging them can be incentivized via ETH rewards. For more info, see [`IScribeOptimistic::maxChallengeReward()`](../src/IScribeOptimistic.sol).
 
-
 ### About Bounded Gas Usage
 
 For all functions being executed during `opChallenge()`, it is of utmost importance to have bounded gas usage. These functions are marked with `@custom:invariant` specifications documenting their gas usage.
@@ -99,7 +92,6 @@ Two loops are executed during an `opChallenge()`:
 1. Inside `Scribe::_verifySchnorrSignature` - bounded by `bar`
 2. Inside `LibSecp256k1::_invMod` - computing the modular inverse of a Jacobian `z` coordinate of a secp256k1 point
 
-
 ### Verifying Optimistic Pokes
 
 1. Listen to `opPoked` events: