Oleg Andreev

### Problem Consider these use cases: **In a Predicate tree**, a root `P = X + h(X, other)·G` can be used as a verification key instead of `X`, if the...

Currently `Predicate::Key` wraps a `VerificationKey`, so all information about the signing parties is erased. Let's replace it with `Multikey`, so that we can preserve information for signing. - [ ]...

### Problem For multi-key/multi-party signing we need an API that handles both individual signatures (for `delegate`) and aggregated per-tx signature (`signtx`). For `delegate`, ZkVM already expects a signature produced externally,...

## Preface Variable-length integers in TON have surprising definition and implementing them by hand is prone to error. TL-B schema for VarInteger/VarUInteger defines the integer via the _maximum size of...