|
About the L1/L2 category
|
|
0
|
514
|
December 2, 2024
|
|
Kurrent: an eltoo-inspired latest-state channel on Kaspa
|
|
0
|
129
|
June 23, 2026
|
|
Pruning safety in the vProgs architecture
|
|
1
|
581
|
September 26, 2025
|
|
Data Availability Concerns
|
|
6
|
1100
|
September 17, 2025
|
|
A Basic Framework For Proofs Stitching
|
|
2
|
829
|
August 24, 2025
|
|
# On transaction scopes and the visibility of the object DAG
|
|
0
|
365
|
August 20, 2025
|
|
Zoom-in: A formal backbone model for the vProg computation DAG
|
|
7
|
1160
|
August 19, 2025
|
|
Concrete proposal for a synchronously composable verifiable programs architecture
|
|
3
|
4080
|
August 17, 2025
|
|
On the inherent tension between multileader consensus and inclusion-time proving
|
|
2
|
663
|
May 27, 2025
|
|
On the design of based ZK rollups over Kaspa's UTXO-based DAG consensus
|
|
8
|
4206
|
February 23, 2025
|
|
Additional practical considerations re hash function and zk opcodes
|
|
22
|
2030
|
February 12, 2025
|
|
Thoughts about covenant and async message standardization
|
|
0
|
562
|
January 31, 2025
|
|
Subnets sequencing commitments
|
|
5
|
882
|
January 31, 2025
|
|
L1<>L2 canonical bridge (entry/exit mechanism)
|
|
1
|
1380
|
January 28, 2025
|
|
Conflicting Proofs Policy
|
|
1
|
406
|
January 24, 2025
|
|
Fees and throughput regulation dynamics
|
|
3
|
1365
|
January 22, 2025
|
|
Updateable list of L1<>L2 topics to flesh out before finalizing design
|
|
0
|
1202
|
December 23, 2024
|
|
Atomic Composability and other considerations for L1/L2 support
|
|
0
|
6650
|
November 12, 2024
|