Tooling and Languages
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the Tooling and Languages category
|
|
0 | 55 | November 5, 2020 |
|
Notable Works in Tooling and Languages
CTA: SCRF is building a list of key readings in each category area to orient researchers to notable works and previous research. Please comment in this thread with links to seminal research that would form part of an in… |
|
1 | 95 | December 1, 2020 |
|
Key Problems in Tooling and Languages
CTA: In these threads we attempt to inventory key areas of exploration that may exist in a particular discipline. These posts are living documents and it is our hope that the community will contribute to the list. CT… |
|
1 | 67 | December 1, 2020 |
|
Research Summary: BitML: A Calculus for Bitcoin Smart Contracts
|
|
2 | 176 | June 10, 2021 |
|
A Conversation with the Creators of BitML
|
|
3 | 145 | June 2, 2021 |
|
Research Summary: Bitcoin Covenants Unchained
|
|
10 | 285 | May 12, 2021 |
|
Research Summary: Coding a DeFi arbitrage bot
|
|
9 | 903 | April 21, 2021 |
|
Research Summary - eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
|
|
4 | 438 | March 26, 2021 |
|
Scribble: an inline verification language for Solidity
|
|
3 | 128 | January 8, 2021 |
|
Introduction to Tooling and Languages
|
|
0 | 55 | December 1, 2020 |