Size: a a a

Rust Jobs - вакансии & резюме

2019 March 13

Н

Никита in Rust Jobs - вакансии & резюме
Vladyslav Batyrenko
О, со мной пытались завести разговор, но я пока не стал. Но вообще интересно, что там у них как)
Т.е с тобой пытались поговорить, а ты закрыл лицо рукой и убежал?
источник

V

Vladyslav Batyrenko in Rust Jobs - вакансии & резюме
^ historical accuracy
источник

V

Vladyslav Batyrenko in Rust Jobs - вакансии & резюме
Прошу записать это в летопись
источник

ML

Mike Lubinets in Rust Jobs - вакансии & резюме
Мне тоже написали, но я чет пока не особо заинтересован
источник

N

Nikita in Rust Jobs - вакансии & резюме
Safort
Alex Gluchowski @gluk64@gluk64 posted in Вакансия для разработчиков на rust: blockchain & zero-knowledge proofs

At Matter Labs we are scaling blockchain with zero-knowledge proofs. O(n) transactions at O(1) cost. If that sounds like “hell yeah!” to you, that’s a match. 
We take the values of freedom, privacy and decentralisation seriously. Our mission is to make the mass adoption of crypto happen faster.
We have a small focused team. No bureaucracy, no time tracking, no-nonsense meetings. Only results matt...
Интересно как это вообще возможно
источник

N

Nikita in Rust Jobs - вакансии & резюме
O(n) transactions at O(1) costs
источник

N

Nikita in Rust Jobs - вакансии & резюме
обьясните пожалуйста
источник

ML

Mike Lubinets in Rust Jobs - вакансии & резюме
Nikita
обьясните пожалуйста
Они хотят строить доказательство верности результата выполнения транзакции без выполнения транзакции (как -- хз).

Не имею ни малейшего понятия как это может работать, учитывая что evm bytecode -- тьюринг полный язык.
Возможно эвристиками, возможно у них на своем блокчейне будут ограничения для смарт контрактов, урезающие возможности языка. Нет тьюринг-полноты -- нет halting problem.
источник

N

Nikita in Rust Jobs - вакансии & резюме
Вот да
источник

N

Nikita in Rust Jobs - вакансии & резюме
либо отложенная сложность
источник

AL

Andrey @ozkriff Lesnikov in Rust Jobs - вакансии & резюме
у меня сложилось впечатление, что они какими-то из новых ZKP хотят обмазаться с головой
источник

e🦀

eupn 🦀 in Rust Jobs - вакансии & резюме
halting problem ещё обходят за счёт стоимости выполнения в виде газа
источник

e🦀

eupn 🦀 in Rust Jobs - вакансии & резюме
А может быть неполную по тьюрингу арифметическую цепочку выполняют в рамках аппарата ZKP, результат в виде пруфа кладут в БЧ
источник

ML

Mike Lubinets in Rust Jobs - вакансии & резюме
eupn 🦀
halting problem ещё обходят за счёт стоимости выполнения в виде газа
Это всё равно O(n)
источник

ML

Mike Lubinets in Rust Jobs - вакансии & резюме
eupn 🦀
А может быть неполную по тьюрингу арифметическую цепочку выполняют в рамках аппарата ZKP, результат в виде пруфа кладут в БЧ
Есть ссылочки почитать?
источник

e🦀

eupn 🦀 in Rust Jobs - вакансии & резюме
Mike Lubinets
Есть ссылочки почитать?
Да у того же Z-Cash правила консенсуса реализованы в виде arithmetic circuit, при вычислении которой формируется zk-SNARK доказательство
источник

e🦀

eupn 🦀 in Rust Jobs - вакансии & резюме
Но хз как можно арифметическую цепочку выполнить меньше чем за O(n) операций, где n это число операций в цепочке
источник
2019 March 17

V

Vladimir in Rust Jobs - вакансии & резюме
Mike Lubinets
Это всё равно O(n)
Ну они вполне могли иметь ввиду "валидацию". Т.е. сама цепочка выполняется один раз у лидера, все остальные могут провалидировать за О(1)?
источник

ML

Mike Lubinets in Rust Jobs - вакансии & резюме
Vladimir
Ну они вполне могли иметь ввиду "валидацию". Т.е. сама цепочка выполняется один раз у лидера, все остальные могут провалидировать за О(1)?
В zero-trust сети?
источник

V

Vladimir in Rust Jobs - вакансии & резюме
Mike Lubinets
В zero-trust сети?
источник