* fix(vault): do no allow reuse of fund ids
Fixes an attack where all tokens can be drained from
the Vault by allowing a token flow to persist after
a Fund is deleted.
* chore(vault): update state diagram
* vault: deposit and withdraw
* vault: change data structure to be recipient oriented
* vault: burning funds
* vault: transfer tokens from one recipient to the other
* vault: designate tokens for a single recipient
* vault: lock up tokens until expiry time
* vault: lock is deleted upon withdrawal
* vault: simplify test setup
* vault: remove duplication in tests
* vault: further test for locks
* vault: allow recipient to withdraw
* vault: flow tokens from one recipient to the other
* vault: designate tokens that flow
* vault: move flow accumulation calculation into VaultBase
* vault: use custom operators to improve readability
* vault: stop flowing when lock expires
* vault: reject flow when insufficient tokens available
* vault: do not allow flow when lock already expired
* vault: allow automine to be disabled in time sensitive tests
* vault: improve naming of public functions
* vault: flow to multiple recipients
- changes balance from uint256 -> uint128
so that entire Balance can be read or written
with a single operation
- moves Lock to library
- simplifies lock checks
* vault: reject negative flows
* vault: make tests a bit more robust
* vault: change flows over time
* vault: check Lock invariant before writing
* vault: allow flows to be diverted to others
* vault: simplify example flow rates in test
* vault: disallow transfer of flowing tokens
* vault: cannot burn flowing tokens
* vault: delete flow when burning or withdrawing
* vault: fix flaky time sensitive tests
Ensures that setting of lock and starting of
flow happen in the same block.
Therefore hardhat cannot occasionally increase
the timestamp between the two operations.
This makes predicting the balances over time
much easier.
* vault: disallow designating of flowing tokens
* vault: document setAutomine()
* vault: delete lock all tokens are withdrawn or burned
* vault: cleanup
* vault: reorder tests
* vault: only allow deposit, transfer, etc when locked
* vault: reorder functions
in roughly chronological order
* vault: rename context -> fund
* vault: rename balance -> account
* vault: combine account and flow mappings
* vault: _getAccount updates to the latest timestamp
* vault: simplify _getAccount()
* vault: reordering
* vault: formatting
* vault: do not delete lock when burning
* vault: combine Account and Flow structs
* vault: cleanup
* vault: split flow into incoming and outgoing
- no need to deal with signed integers anymore
- allows flow to self to designate tokens over time
* vault: fix transfer to self
* vault: remove _getAccount()
- no longer calculate flow updates when not needed
- use account.update(timestamp) where needed
- use _getBalance() to view current balance
* vault: rename error
* vault: reduce size of timestamp further
* vault: prevent approval hijacking
- transfer ERC20 funds into the vault from the
controller, not from the user
- prevents an attacker from hijacking a user's
ERC20 approval to move tokens into a part of
the vault that is controlled by the attacker
* vault: extract common tests for unlocked funds
* vault: burn entire fund
* vault: transfer tokens to 0xdead when fund is burned
* vault: do not expose Lock internals on public api
* vault: formatting
* vault: test lock state transitions
* vault: clean up errors
* vault: rename burn -> burnAccount, burnAll -> burnFund
* vault: burn part of designated tokens
* vault: burn designated/fund allowed when flowing
* vault: prefix errors with 'Vault'
* vault: cleanup
* vault: remove dead code
* vault: add documentation
* vault: fix accounting of locked value when burning designated tokens
* vault: update documentation
* update openzeppelin contracts to 5.2.0
* vault: format all solidity files
* vault: cleanup tests
* vault: pausing and unpausing
* vault: rename account->holder in tests
* vault: allow for multiple accounts for one account holder
* vault: only allow account holder to withdraw for itself
* vault: freezeFund() instead of burnFund()
* vault: rename Fund -> FundId
* vault: rename lock states
- NoLock -> Inactive
- Unlocked -> Withdrawing
* vault: rename Lock -> Fund
* vault: clarification
Co-Authored-by: Adam Uhlíř <adam@uhlir.dev>
* vault: rename update() -> accumulateFlows()
Reason: update() is too generic, and can easily be
interpreted as changing the on-chain state, whereas
it actually updates the in-memory struct.
Co-Authored-By: Eric <5089238+emizzle@users.noreply.github.com>
Co-Authored-By: Adam Uhlíř <adam@uhlir.dev>
* vault: rephrase
Co-Authored-By: Adam Uhlíř <adam@uhlir.dev>
---------
Co-authored-by: Adam Uhlíř <adam@uhlir.dev>
Co-authored-by: Eric <5089238+emizzle@users.noreply.github.com>
- use the `allowBlocksWithSameTimestamp` hardhat option
- remove block time gymnastics from marketplace tests
- fix erroneous implementation of requestEnd() which
surfaced because of the the improved tests
Rationale: subtracting 2000 from the provided gas seems
arbitrary, and doesn't provide any benefits. Whether
verify() fails with an out-of-gas error, or returns
'false', in both cases the proof is not verified.
Co-Authored-By: Balazs Komuves <bkomuves@gmail.com>
Reason: Circom and Ethereum EIP-197 both represent these
elements as arrays of two elements, but they do it in
reverse order of each other. This change makes it explicit
which number is the real part, and which number is the
imaginary part.
In Codex's integration tests we now create real ZK proofs,
which take a bit longer to generate. We therefore need a
period that remains the same while the proof is generated.
When a transfer of tokens from the contract fails, then the
fuzzer has found a bug. Changing `require` to `assert`
ensures that the fuzzer considers this a test failure.
markspanbroek