ZK Proof Engineer

Σχετικά με εμάς

Η Axiom χρησιμοποιεί αποδείξεις μηδενικής γνώσης για να ενεργοποιήσει νέους τύπους επαληθεύσιμων και ιδιωτικών εφαρμογών λογισμικού, ξεκινώντας από το crypto και το fintech. Είμαστε μια μικρή αλλά απίστευτα δυνατή ομάδα που υποστηρίζεται από τους καλύτερους επενδυτές στα κρυπτογράφηση. Αναζητούμε εξαιρετικούς ανθρώπους που είναι ενθουσιασμένοι να εργάζονται σε δύσκολα και επικίνδυνα προβλήματα σε ένα περιβάλλον με γρήγορο ρυθμό. Το γραφείο μας βρίσκεται στη Νέα Υόρκη και η προσωπική μας εργασία στη Νέα Υόρκη είναι η ισχυρή προτίμησή μας, αλλά είμαστε ανοιχτοί και σε υποψήφιους εξ αποστάσεως.

Πρόσφατα κυκλοφόρησε το OpenVM , ένα αποδοτικό και αρθρωτό πλαίσιο zkVM που δημιουργήθηκε για προσαρμογή και επεκτασιμότητα. Το OpenVM επιτρέπει στους προγραμματιστές να επαληθεύουν τη σωστή εκτέλεση αυθαίρετων προγραμμάτων υπολογιστή με ευέλικτο και αποδοτικό τρόπο. Κατασκευάζουμε προϊόντα με δυνατότητα ZK χρησιμοποιώντας OpenVM και υποστηρίζουμε ομάδες που χτίζουν στο OpenVM.

Ο Ρόλος

Αναζητούμε έναν ZK Proof Engineer που θα εφαρμόσει και θα βελτιστοποιήσει τον κρυπτογραφικό κώδικα αιχμής για τη δημιουργία αποδείξεων μηδενικής γνώσης. Θα είστε υπεύθυνοι για τη δημιουργία συστημάτων για τη διασύνδεση μεταξύ συστημάτων υπολογιστών χαμηλού επιπέδου όπως το RISC-V ISA, πλαισίων μεταγλωττιστών όπως το LLVM και backends βάσεων δεδομένων και τη σύνδεσή τους με συστήματα αιχμής μηδενικής απόδειξης γνώσης. Ο ρόλος θα περιλαμβάνει τόσο τη βελτιστοποίηση των ZK prover όσο και την εφαρμογή νέων κυκλωμάτων ZK. Η εργασία σας θα απαιτήσει τη λήψη σχεδιαστικών επιλογών για την ταχεία ανάπτυξη ασφαλών και αποτελεσματικών συστημάτων.

Αναζητούμε κάποιον με ισχυρές δεξιότητες σχεδιασμού μηχανικής, ικανότητα εργασίας σε όλη τη στοίβα και νοοτροπία ασφάλειας. Εκτιμούμε επίσης την ικανότητα να κάνουμε ρεαλιστικές επιλογές τεχνολογίας που ενδυναμώνουν τη μικρή μας ομάδα χωρίς να προσθέτουμε υπερβολικά έξοδα.

Ποιος είσαι

•
Έχετε ισχυρό υπόβαθρο στα μαθηματικά/κρυπτογραφία ή ισχυρές δεξιότητες επίλυσης προβλημάτων και ενδιαφέρον για αποδείξεις μηδενικής γνώσης.

•
Έχετε επάρκεια σε Rust, C/C++ ή σε παρόμοια απόδοση στη γλώσσα υποστήριξης. Δουλεύουμε κυρίως στη Rust.

•
Είστε εξαιρετικά προσανατολισμένοι στη λεπτομέρεια και έχετε νοοτροπία ασφάλειας.

•
Έχετε εργαστεί σε προκλητικά έργα λογισμικού και προσέχετε την απόδοση.

•
Είστε ένας ξεκάθαρος επικοινωνιακός και εκτιμάτε τη συνεργασία.

•
Έχετε μια ισχυρή προκατάληψη για δράση.

•
Έχετε μια εξαιρετικά ισχυρή εργασιακή ηθική.

Μπόνους

•
Έχετε εμπειρία με πλαίσια μεταγλωττιστών όπως το LLVM ή το MLIR.

•
Έχετε εργαστεί με πτυχές αρχιτεκτονικής υπολογιστών χαμηλού επιπέδου, όπως το RISC-V ή προγραμματισμένα FGPA ή άλλο προσαρμοσμένο υλικό.

•
Έχετε εμπειρία με backend βάσεων δεδομένων, συμπεριλαμβανομένης της εμπειρίας με σχεδιασμό ερωτημάτων ή μηχανές αναζήτησης χαμηλού επιπέδου.

•
Έχετε κάνει έρευνα στα μαθηματικά, στη θεωρητική επιστήμη των υπολογιστών ή στη θεωρητική φυσική.

•
Έχετε εμπειρία με λεπτομέρειες χαμηλού επιπέδου του Ethereum

Καλωσορίζουμε διαφορετικά υπόβαθρα. Ορισμένα μη παραδοσιακά προφίλ που μπορεί να είναι κατάλληλα περιλαμβάνουν συναλλαγές υψηλής συχνότητας, μαθηματικά/φυσική/ακαδημαϊκό χώρο CS και μηχανική υλικού.

Γιατί ελάτε μαζί μας

•
Θα είστε ένας από τους πρώτους υπαλλήλους που θα λάβουν βασικές τεχνικές αποφάσεις/προϊοντικές αποφάσεις.

•
Θα εργάζεστε σε πρωτοποριακή τεχνολογία που έχει τη δυνατότητα να αποτελέσει βασικό κομμάτι υποδομής για τη βιομηχανία κρυπτογράφησης.

•
Θα λάβετε ανταγωνιστικό μισθό με ίδια κεφάλαια.

•
Θα συνεργαστείτε και θα λάβετε καθοδήγηση από μια εξαιρετική ομάδα.

Η Ομάδα μας

Οι ιδρυτές μας Yi Sun και Jonathan Wang γνωρίστηκαν ενώ σπούδαζαν μαθηματικά στο Χάρβαρντ και εργάζονται στο ZK από το 2021. Μαζί, έγραψαν μερικά από τα πιο αποτελεσματικά κυκλώματα ZK για κρυπτογραφία ελλειπτικής καμπύλης και ανάγνωση δεδομένων Ethereum πριν ξεκινήσουν το Axiom.

Πριν από το Axiom, ο Yi ήταν καθηγητής στο UChicago Statistics και έκανε διδακτορικό στα μαθηματικά στο MIT. Προηγουμένως ήταν σύμβουλος της Gauntlet και εργάστηκε σε μια startup HFT από την αρχή έως τις κερδοφόρες συναλλαγές. Ο Τζόναθαν δημοσίευσε έρευνα για τη θεωρία αριθμών σε κορυφαία μαθηματικά περιοδικά και έκανε διδακτορικό στα μαθηματικά στο UChicago.

Η υπόλοιπη μικρή αλλά απίστευτα δυνατή ομάδα μας περιλαμβάνει στυπτηρίες νικητών Applied Intuition, Coinbase, Color, Neon, Google και Perplexity, καθώς και διδακτορικά μαθηματικών / CS και IMO / IPhO / Codeforces. Ανυπομονούμε να συνεργαστούμε μαζί σας!

Πηγή: Jobicy (https://jobicy.com/jobs/152237-zk-proof-engineer)