convex

convex copied to clipboard

Key security with Schedule

1

Convex provides the facility for a "schedule" of operations to be executed a later time from any Account. There is a potential security risk, given the ability to rotate keys,...

mikera

Is `disj` necessary anymore?

5

Sets are now considered as maps of `value` -> `true`. Since it is now possible to do `(assoc #{} 42 true)`, it looks like `disj` is not needed anymore. It...

helins

Compile-time Symbol resolution

4

It would be helpful if the on-chain compiler performed some level of Symbol resolution when compiling a Symbol. Ideally it should be able to determine the following cases: - Reference...

mikera

We should implement `unquote-splicing` for compilation of `quasiquote`'d forms, in a manner similar to `unquote`. Should be consistent with Scheme / Racket.

mikera

Should `MultiFn` allow dead code?

2

```clojure ((fn ([a] :first) ([a] :second)) 42) ;; :first ``` Here we have two different bodies for the same arity and only the former is considered at call. Sounds like...

helins

Currently, all Peers are required to verify digital signatures on all Transactions submitted for consensus It appears possible to implement a decentralised verification method as part of the Belief merge...

mikera

Reasons: - Remove pressure on NIO Loop

mikera

Currently all Signature verification is done on a single thread. This is a bottleneck towards achieving optimal performance levels in terms of transaction throughput. Should do concurrent signature verification on...

mikera

Currently *juice* gets reserved (taken from balance) at the start of the transaction and counts down towards zero. This has a couple of issues: - Reservation of juice affects *balance*...

mikera

Allow keywords as functions on any type

3

I realized this was not allowed in Convex Lisp, yet it is often convenient: ```clojure (:foo 42) ;; Cast error: Can't convert argument at position 1 to type DataStructure. ```...

helins