Aktywne Wpisy
nocnica +3
Jakie są wasze ulubione książki, które czytaliście w wieku 10-13 lat. Szukam polecajek :)
#ksiazki #literatura #czytajzwykopem
#ksiazki #literatura #czytajzwykopem
thority +1736
Skopiuj link
Skopiuj linkWykop.pl
#kryptowaluty #ethereum #programowanie #blockchain #programista100k
Kolejna wrzutka na temat RISC-Zero, gdzie autorzy zamiast tworzyć DSL dla programów ZK i translacji prosto na ACIR (reprezentacja obwodu algebraicznego), zdecydowali się na użycie języka ogólnego zastosowania (Rust), kompilację na architekturę RISK-V oraz dowodzenie wykonania obwodu dla emulatora tej architektury.
Jednym z niespodziewanych efektów jest to, że pozwoli to na dowodzenie kompilacji innych programów i pozwoli wyeliminować możliwość
Nie wrzuciłem linka do warsztatu:
https://www.youtube.com/watch?app=desktop&v=wECQcmk-5ss