2024.5.27 - 2024.6.2

2024.5.31

Bob founder Alexei Zamyatin stated, "We focus on building for the present, not waiting for the future. If the future arrives, we will be ready," referring to the application of OP_CAT. https://twitter.com/alexeiZamyatin/status/179627791365192135

2024.5.30

1.Bitlayer posted on Twitter: The Bitlayer research team announced the latest breakthrough in Bitcoin ZK proof verification - a new Bitcoin-friendly FRI.https://twitter.com/BitlayerLabs/status/1796193385536999578 This FRI can verify conventional FRI Merkle proofs on Bitcoin without relying on OP_CAT.

2.Zulu network submitted a PR fully implementing fflonkhttps://github.com/BitVM/BitVM/pull/69and groth16https://github.com/BitVM/BitVM/pull/69

2.1 This PR has a significant impact and is a milestone for bitvm.

2.2 The script has not yet been split; if each leaf script is 400k, approximately 20,000 leaf nodes are needed. Zulu network plans to continue working on script splitting.

2.3 One potential optimization is to treat some constants as witnesses only during expenditure.