porcuquine
porcuquine
A few weeks ago, @sternhenri and I discussed the possibility of committing transactions to chains/tipsets. He asked me to file an issue mentioning the idea, and this is that issue....
The sha256 coprocessor does not belong in the Lurk crate. I think it was moved there as part of an attempt to increase code sharing in examples and benches that...
It's great that we can get a handle on the underlying bit decomposition through trickery like this: ``` commit: 2024-02-13 1d4d308e2bc12f5ab431ea210c0b722f9eb31825 Lurk REPL welcomes you. user> !(def odd? (lambda (x)...
In order to be able to implement bignums in Lurk directly, we need support for multiplication with carry. Although we *can* detect overflow for addition, it would be better to...
Now that lexical environments are not alists, we need a readable representation for them. In particular, the following should not fail: ``` commit: 2024-01-22 7acfbb53bdadf32cd4a3397bd3e193776ffbdba1 Lurk REPL welcomes you. user>...
# The Road to NIVC Coprocessors This is a toplevel tracking issue for NIVC Coprocessors. As work and planning for each issue below begins, please create a new issue (if...
Once #1004 merges, the next step is to allow making proofs of calls to a query from Lurk. This issues tries to itemize the tasks needed to accomplish this. The...
While this module documentation is useful to document the building blocks, I would love to see some use-case level doc: what can I find in this module, what can I...
## Benchmark Organization in 5 Points 1. **Need for Diverse Benchmarking Infrastructure:** We need a comprehensive benchmarking infrastructure that measures various aspects across different benchmarks, with an emphasis on developing...
There is currently no way to check the type of a Lurk expression. Although this can frequently be worked around, this needs to be possible in general. The most obvious...