A new technique for signatureless authorization using proof-of-knowledge and recursive verification has been introduced, which is resistant to quantum threats. This approach involves publishing a commitment to a reusable secret and authorizing actions with randomized zero-knowledge proofs, addressing security challenges like safe reuse.
Scoped Capability Tokens are short-lived, revocable authorization tokens that grant specific actions, enhancing transaction security by eliminating broad approvals. They are designed to integrate with independent simulations and account authority lifecycles, supporting offline verification and revocation.
The Secure Transaction Verification and Authorization (STVA) standard aims to provide a secure framework for transaction verification and authorization, addressing issues like Blind Signing and multisig UI attacks. It introduces structured metadata, independent simulation, and scoped capability tokens to enhance security.
EIP-7002 ensures system calls always succeed and requests are processed in FIFO order. These properties are proven using Lean 4.
An OP Stack rollup on Ethereum mainnet enables L2 transactions without signatures using hash chains. This design is proposed as an interim solution for post-quantum payments on Ethereum L2s, relying on preimage resistance of keccak-256.
The Bitcoin Optech Newsletter discusses the Lichen design for a single-issuer Layer 2, allowing users to redeem bitcoin onchain without issuer cooperation. It uses Groth16 proofs and builds on LN-GAP, replacing the honest-majority committee with onchain dispute resolution.
EIP-8288 proposes recursive aggregation using a fixed protocol-level verification key. Implemented in Parano1d, it uses a finite authenticated bank of verifier classes, supporting heterogeneous recursion with different proof sizes. The proposal addresses deferred verification and class compatibility.