DOFY's Blog
DOFY's Blog

未分类
文章归档

How Cairo Virtual Machine delegates contract function invocations internally

Key concepts of contract function invocations Function Selector In general, the function selector in StarkNet is used to specify a contract function. It is a hash of the function name, which is defined as the last 250 bits of the Keccak256 hash of…

   1,493   2022-07-28   去围观
http://dofy.top/wp-content/uploads/2022/06/0.png
平型关
高山与沟壑当中,曾是抗日将士声嘶力竭的呐喊,也是铁道兵齐心协力的口号。他们都是永远被这片土地铭记的英雄。
   1,457   2022-06-02   去围观

Cairo Compiler Learning Notes

Excerpts from How Cairo Works Introduction to Cairo Registers ap: allocation pointer fp: frame pointer pc: program counter Basic instructions [fp - 1] = [ap - 2] + [fp + 4] [ap - 1] = [fp + 10] * [ap]; ap++ [ap - 1] = [fp + 10] + 12345; ap++ #…

   1,407   2022-06-02   去围观

Rosette Learning Notes

Excerpts from The Rosette Guide. Rosette Essentials Symbolic Values (define-symbolic b boolean?) Specification (define (check-mid impl lo hi) ; Assuming that (assume (bvsle (int32 0) lo)) ; 0 ≤ lo and (assume (bvsle lo hi)) …

   1,248   2022-06-02   去围观

《明清时代江南市镇研究》读书报告

通选课明清经济与社会中期作业。第一次写读书报告,体验了一下文科生的日常。

   2,177   2021-12-03   去围观

Notes of "The Logic of Computer Programming"

Link: The Logic of Computer Programming Four aspect: correctness termination transformation development Program A: Partial Correctness totally correct: if we execute Program A on any input satisfying the input assertion, the program will ha…

   1,946   2021-11-13   去围观
http://dofy.top/wp-content/uploads/2021/12/风车与牛羊-scaled.jpg
白云与黑金
记一个周末
   1,933   2021-03-25   去围观
http://dofy.top/wp-content/uploads/2021/11/IMG_20201128_171151_mh1607700758052-scaled.jpg
密码保护:煤港之夜
这篇文章受密码保护,输入密码才能看哦
   1,680   2020-11-28   去围观
http://dofy.top/wp-content/uploads/2022/03/P2-1-scaled.jpg
雪峰山下的“铁水联运”
文章正在恢复中……
   660   2020-08-15   去围观

双线性函数与辛空间

对偶空间 线性映射与同态空间 线性映射又称同态。用$Hom_{\mathbf F}(U,V)$表示$U$到$V$同态的集合。 当$V$是一维时,称之为线性函数。 容易看出$Hom(U,V)$是一个线性空间。 同态空间与矩阵空间的同构:$\sigma:U\to V$为线性映射,取定$U$的一组基$\bm \varepsil…

   863   2020-07-06   去围观
加载更多