Orbis-Tertius/tiny-ram-halo2
A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.
RustApache-2.0
Stargazers
- 3forBeijing
- arnaucube0xPARC
- Chisaaato
- daiwanweiTaiwan
- dav009Optimizely
- DCMMCTsinghua University
- dlubarovPolygon
- eikodev
- erwanorpenumbra labs
- EthSecurity1
- gakonst@paradigmxyz
- gio256
- GopherJ@QEDProtocol
- hiroki-chenUnemployed
- hongyuanyang-uu
- kilicIstanbul
- longcpp
- manipulation44
- marcellobardusitaly
- massun-onibakuchiEarth
- maxgillettSan Francisco
- moreSocratic
- NotThatDumb
- nullity00India
- nulltearesearch engineer @ChainSafe
- pcaversaccio@daita-technologies
- RajeshRk18India
- SoraSuegamiThe University of Tokyo
- spartucusweb3 world
- therealyingtongSingapore
- tkmctTokyo, Japan
- ulrich-mlabsmlabs
- von-steinkirch
- wpank@AhaniaCapital
- xcshuanHangZhou
- yz89