Tannr
Not sure if handshake field needs to be replaced here? Currently, just setting p2p NetworkId with a uint32(GenesisId) https://github.com/spacemeshos/go-spacemesh/blob/569a1ae8e36451013f9b451fb1c6e318e62f25c9/config/config.go#L217
Its just naming difference at this point - genesis ID is used as the network id. I think this is compliant with Lane's spec
Yeah, we can do that. Thanks for the input
Awesome to hear. Let me know if there are any current issues that you particularly welcome external contributions. If there are meta-level tasks, happy to talk about that as well!
That can be the high level split, but there is still a difference between the CKB programming model's architecture and the CKB architecture
Thanks for this. I think it is a highly isolated update, but for the sake of good practice, let me fix the CI pipeline prior to merging. Consider this approved,...
Thanks for this. The change to using system's `tmp` directory will break some 3rd party tooling that uses Athena. I think a backwards compatible option, which first tries ATHENA_HOME and,...
Thank you for the report. This is a bug, yes, and will be patched shortly. One workaround in the interim is: ``` module Peano { domain Nat domain NzNat declare...