Task
Explore Argument Computer Corporation's Overview
As a prospective client or partner, I learn about the company's mission, team, and recent blog updates, so that I can understand the company's values, the people driving their initiatives, and stay informed on their latest developments.
Success definition: Given I am on the homepage of Argument Computer Corporation When I click on the 'Mission' link, then click on the 'Team' link, and finally click on the 'Blog' link Then I should see the main content change to reflect the company's mission, team members, and then the latest blog updates, ensuring I have a comprehensive overview of the organization.
Trajectory
Step 1:
Url (before/after):
https://argument.xyz/
https://argument.xyz/mission/
Content (before/after):
RootWebArea Argument Computer Corporation, focused, url='https://argument.xyz/'
banner
[29] link Argument, center=(960,185), url='https://argument.xyz/'
image
navigation
Show more
[33] link Mission, center=(82,392), url='https://argument.xyz/mission'
image
[36] link Team, center=(978,392), url='https://argument.xyz/team'
image
[39] link Blog, center=(1856,392), url='https://argument.xyz/blog'
image
main
image hero image, url='https://argument.xyz/.netlify/images?url=_astro%2Fhomepage-hero.FIinww9x.jpg'
StaticText Argument Computer Corporation ACC Proven for All
StaticText Argument Computer Corporation ACC Proven for All
StaticText Argument Computer Corporation ACC Proven for All
StaticText Argument Computer Corporation ACC Proven for All
StaticText Argument Computer Corporation ACC Proven for All
StaticText Argument Computer Corporation ACC Proven for All
image peek, url='https://argument.xyz/.netlify/images?url=_astro%2Fhomepage-peek.6eyvHfJg.jpg'
image
heading Our Mission
paragraph
StaticText Argument accelerates verifiable computing. By combining zero-knowledge cryptography, formal verification and distributed consensus technologies, we build systems for unbreakable, scalable, private, decentralized software.
link Our Argument Here, url='https://argument.xyz/mission'
paragraph
paragraph
image
image
image star, url='https://argument.xyz/.netlify/images?url=_astro%2Fhomepage-stars-bg.Ds4cCCU1.jpg'
heading Next Generation Provable Computing
heading Lurk
paragraph
StaticText Lurk is a minimal, powerful and performant zero-knowledge reduction-machine, providing a small instruction set surface across a range of cryptographic backends and language frontends.
link READ MORE, url='https://github.com/argumentcomputer/lurk'
image
heading Yatima
paragraph
StaticText Yatima is a certifying compiler to compile functional languages into programs of provable correctness, enabling formally verified ZK proofs of execution.
link READ MORE, url='https://github.com/argumentcomputer/yatima'
image
heading Sphinx
paragraph
StaticText Sphinx is an open-source zero-knowledge virtual machine (zkVM) that can prove the execution of RISC-V bytecode, with initial tooling support for programs written in Rust.
link READ MORE, url='https://github.com/argumentcomputer/sphinx'
image
heading ZK Light Clients
paragraph
StaticText Our zero-knowledge light-clients allow blockchains like Ethereum, Aptos, and more, to securely and efficiently interoperate.
link READ MORE, url='https://github.com/argumentcomputer/zk-light-clients/'
image
contentinfo
link Argument, url='https://argument.xyz/'
image
navigation
link Github, url='https://github.com/argumentcomputer'
link X, url='https://x.com/argumentxyz'
link Contact Us, url='mailto:contact@argument.xyz'
RootWebArea Mission | Argument Computer Corporation, focused, url='https://argument.xyz/mission/'
banner
[166] link Argument, center=(960,185), url='https://argument.xyz/'
image
navigation
Show more
[170] link Mission, center=(82,392), url='https://argument.xyz/mission'
image
[173] link Team, center=(978,392), url='https://argument.xyz/team'
image
[176] link Blog, center=(1856,392), url='https://argument.xyz/blog'
image
main
heading Our Mission
paragraph
StaticText The mission of Argument Computer Corporation is to accelerate
[184] link verifiable computing, center=(1128,587), url='https://en.wikipedia.org/wiki/Verifiable_computing'
StaticText .
paragraph
StaticText We mean acceleration both in direct sense of improving the performance characteristics of verifiable computing technologies, as well as in the broader sense of promoting their widespread social and industrial adoption. Or simply, we want to make it fast, and we want to make it popular. These are not unrelated goals.
paragraph
StaticText We see the convergence of the following verification technologies:
list
listitem
ListMarker 0.
[189] link Verification by formalization, center=(680,787), url='https://en.wikipedia.org/wiki/Formal_verification'
StaticText , particularly
[190] link Curry-Howard, center=(948,787), url='https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence'
StaticText systems such as
[191] link proof assistants, center=(1206,787), url='https://en.wikipedia.org/wiki/Proof_assistant'
StaticText and
[192] link dependently-typed languages, center=(688,815), url='https://en.wikipedia.org/wiki/Dependent_type'
listitem
ListMarker 0.
[194] link Verification by cryptographic argument, center=(725,851), url='https://en.wikipedia.org/wiki/Cryptographic_protocol'
StaticText , such as
[195] link zero-knowledge proofs, center=(1047,851), url='https://en.wikipedia.org/wiki/Zero-knowledge_proof'
listitem
ListMarker 0.
[197] link Verification by replication, center=(670,887), url='https://en.wikipedia.org/wiki/State_machine_replication'
StaticText such as
[198] link blockchain, center=(883,887), url='https://en.wikipedia.org/wiki/Blockchain'
StaticText networks
paragraph
StaticText Each of these approaches can enhance the others. Formalization can protect
[200] link cryptographic protocols, center=(1238,935), url='https://eprint.iacr.org/2017/536.pdf'
StaticText and
[201] link blockchain systems, center=(613,963), url='https://ethereum.org/en/developers/docs/smart-contracts/formal-verification/'
StaticText from
[202] link billion-dollar, center=(787,963), url='https://en.wikipedia.org/wiki/Heartbleed'
[203] link disasters, center=(876,963), url='https://rekt.news/leaderboard/'
StaticText . Zero-knowledge proofs
link allow blockchains to scale with privacy, url='https://ethereum.org/en/zero-knowledge-proofs/#why-zero-knowledge-proofs-are-important'
StaticText , and can compress safety predicates,
[205] link including formal proofs, center=(982,991), url='https://eprint.iacr.org/2024/267.pdf'
StaticText , into succinct kilobyte-sized certificates and prevent billion-dollar
[206] link software, center=(864,1019), url='https://en.wikipedia.org/wiki/Knight_Capital_Group'
[207] link supply-chain, center=(956,1019), url='https://en.wikipedia.org/wiki/2020_United_States_federal_government_data_breach'
[208] link disasters, center=(1046,1019), url='https://en.wikipedia.org/wiki/2024_CrowdStrike_incident'
StaticText . Blockchain networks create a platform upon which software safety certificates and other proof-driven applications can be securely deployed and distributed to the end-user.
paragraph
StaticText We aim for a world of unbreakable, scalable, private, decentralized software. Here’s how we get there:
list
listitem
ListMarker 0.
StaticText Build a fast, safe, ergonomic, portable zero-knowledge prover.
listitem
ListMarker 0.
StaticText Use the prover to build a scalable, secure, connected proof-deployment platform.
listitem
ListMarker 0.
StaticText Through the prover and platform, enable mass-market adoption of proof-driven technologies, including
link formal verification, url='https://en.wikipedia.org/wiki/Formal_verification'
StaticText and
link decentralized finance, url='https://en.wikipedia.org/wiki/Decentralized_finance'
StaticText .
listitem
ListMarker 0.
StaticText Overhaul the computing stack, from drivers to compilers to web-apps, to gain the enormous performance and safety benefits of proofs.
paragraph
link Join us, url='mailto:contact@argument.xyz'
StaticText .
contentinfo
link Argument, url='https://argument.xyz/'
image
navigation
link Github, url='https://github.com/argumentcomputer'
link X, url='https://x.com/argumentxyz'
link Contact Us, url='mailto:contact@argument.xyz'
generic, atomic
StaticText Mission | Argument Computer Corporation
Reasoning for action: I chose to click on the 'Mission' link because it is the first step in the user's request to learn about the company. By accessing the 'Mission' page, I will be able to present the essential information regarding the company's values, which is crucial for the user to understand the organization thoroughly. This click will change the main content area to reflect the company's mission statement, fulfilling part of the user's goal.
Action: click(33) # Click on the 'Mission' link to explore the company's mission.
Change Description: The browser navigated to the 'Mission' page of Argument Computer Corporation, displaying new content including headings and paragraphs detailing the company's mission and verification technologies, while the URL changed to 'https://argument.xyz/mission/'. The previous main content was replaced by mission-specific information and links related to verifiable computing.
Screenshot before:Screenshot after:---
Step 2:
Url (before/after):
https://argument.xyz/mission/
https://argument.xyz/team/
Content (before/after):
RootWebArea Mission | Argument Computer Corporation, focused, url='https://argument.xyz/mission/'
banner
[166] link Argument, center=(960,185), url='https://argument.xyz/'
image
navigation
Show more
[170] link Mission, center=(82,392), url='https://argument.xyz/mission'
image
[173] link Team, center=(978,392), url='https://argument.xyz/team'
image
[176] link Blog, center=(1856,392), url='https://argument.xyz/blog'
image
main
heading Our Mission
paragraph
StaticText The mission of Argument Computer Corporation is to accelerate
[184] link verifiable computing, center=(1128,587), url='https://en.wikipedia.org/wiki/Verifiable_computing'
StaticText .
paragraph
StaticText We mean acceleration both in direct sense of improving the performance characteristics of verifiable computing technologies, as well as in the broader sense of promoting their widespread social and industrial adoption. Or simply, we want to make it fast, and we want to make it popular. These are not unrelated goals.
paragraph
StaticText We see the convergence of the following verification technologies:
list
listitem
ListMarker 0.
[189] link Verification by formalization, center=(680,787), url='https://en.wikipedia.org/wiki/Formal_verification'
StaticText , particularly
[190] link Curry-Howard, center=(948,787), url='https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence'
StaticText systems such as
[191] link proof assistants, center=(1206,787), url='https://en.wikipedia.org/wiki/Proof_assistant'
StaticText and
[192] link dependently-typed languages, center=(688,815), url='https://en.wikipedia.org/wiki/Dependent_type'
listitem
ListMarker 0.
[194] link Verification by cryptographic argument, center=(725,851), url='https://en.wikipedia.org/wiki/Cryptographic_protocol'
StaticText , such as
[195] link zero-knowledge proofs, center=(1047,851), url='https://en.wikipedia.org/wiki/Zero-knowledge_proof'
listitem
ListMarker 0.
[197] link Verification by replication, center=(670,887), url='https://en.wikipedia.org/wiki/State_machine_replication'
StaticText such as
[198] link blockchain, center=(883,887), url='https://en.wikipedia.org/wiki/Blockchain'
StaticText networks
paragraph
StaticText Each of these approaches can enhance the others. Formalization can protect
[200] link cryptographic protocols, center=(1238,935), url='https://eprint.iacr.org/2017/536.pdf'
StaticText and
[201] link blockchain systems, center=(613,963), url='https://ethereum.org/en/developers/docs/smart-contracts/formal-verification/'
StaticText from
[202] link billion-dollar, center=(787,963), url='https://en.wikipedia.org/wiki/Heartbleed'
[203] link disasters, center=(876,963), url='https://rekt.news/leaderboard/'
StaticText . Zero-knowledge proofs
link allow blockchains to scale with privacy, url='https://ethereum.org/en/zero-knowledge-proofs/#why-zero-knowledge-proofs-are-important'
StaticText , and can compress safety predicates,
[205] link including formal proofs, center=(982,991), url='https://eprint.iacr.org/2024/267.pdf'
StaticText , into succinct kilobyte-sized certificates and prevent billion-dollar
[206] link software, center=(864,1019), url='https://en.wikipedia.org/wiki/Knight_Capital_Group'
[207] link supply-chain, center=(956,1019), url='https://en.wikipedia.org/wiki/2020_United_States_federal_government_data_breach'
[208] link disasters, center=(1046,1019), url='https://en.wikipedia.org/wiki/2024_CrowdStrike_incident'
StaticText . Blockchain networks create a platform upon which software safety certificates and other proof-driven applications can be securely deployed and distributed to the end-user.
paragraph
StaticText We aim for a world of unbreakable, scalable, private, decentralized software. Here’s how we get there:
list
listitem
ListMarker 0.
StaticText Build a fast, safe, ergonomic, portable zero-knowledge prover.
listitem
ListMarker 0.
StaticText Use the prover to build a scalable, secure, connected proof-deployment platform.
listitem
ListMarker 0.
StaticText Through the prover and platform, enable mass-market adoption of proof-driven technologies, including
link formal verification, url='https://en.wikipedia.org/wiki/Formal_verification'
StaticText and
link decentralized finance, url='https://en.wikipedia.org/wiki/Decentralized_finance'
StaticText .
listitem
ListMarker 0.
StaticText Overhaul the computing stack, from drivers to compilers to web-apps, to gain the enormous performance and safety benefits of proofs.
paragraph
link Join us, url='mailto:contact@argument.xyz'
StaticText .
contentinfo
link Argument, url='https://argument.xyz/'
image
navigation
link Github, url='https://github.com/argumentcomputer'
link X, url='https://x.com/argumentxyz'
link Contact Us, url='mailto:contact@argument.xyz'
generic, atomic
StaticText Mission | Argument Computer Corporation
RootWebArea Team | Argument Computer Corporation, focused, url='https://argument.xyz/team/'
banner
[256] link Argument, center=(960,185), url='https://argument.xyz/'
image
navigation
Show more
[260] link Mission, center=(82,392), url='https://argument.xyz/mission'
image
[263] link Team, center=(978,392), url='https://argument.xyz/team'
image
[266] link Blog, center=(1856,392), url='https://argument.xyz/blog'
image
main
heading Our Team
paragraph
image John Burnham, url='https://argument.xyz/images/team/JohnBurnham.jpg'
heading John Burnham
paragraph
StaticText John has worked at the intersection of functional programming, cryptographic protocols and startups for over a decade, both as an engineer and founder. He is a co-author of the Yatima compiler, which allows formal proofs of arbitrary size to be compressed into a succinct zero-knowledge proof. His current objective is to compress a formalization of Fermat’s Last Theorem into a zk-proof small enough to fit in a QR-code, and then print the QR-code onto a bookmark with the caption "But it does fit in the margin."
paragraph
StaticText Previously:
list
listitem
ListMarker •
StaticText Yatima/Formality/Tezos
listitem
ListMarker •
StaticText YCombinator W22/Dartmouth College '17 (DNF)/Thiel Fellow '11
image Arthur Paulino, url='https://argument.xyz/images/team/ArthurPaulino.jpg'
heading Arthur Paulino
paragraph
StaticText Has been telling computers what to do for over 20 years, since he was 14. Holds a master's degree in AI and has experience developing, maintaining and monitoring critical number-crunching pipelines in the financial sector. Currently focused on programming language design and the integration of software engineering with formal verification methods.
paragraph
StaticText Previously:
list
listitem
ListMarker •
StaticText Yatima/Nubank/Instituto Atlântico
listitem
ListMarker •
StaticText Universidade Federal do Ceará (BS and MS in Computer Science)
image Sam Burnham, url='https://argument.xyz/images/team/SamBurnham.jpg'
[298] li, center=(960,1063), inner_text=Sam Burnham
Sam is a Rust engineer and operator who likes to work at the intersection of software development and business administration. At Argument, you can find him tinkering with CI/CD, cloud infrastructure, and developer experience, and generally making sure the lights are on for our magic moon mathematicians.
Previously:
Yatima
YCombinator W22/Rensselaer Polytechnic Institute (BS Computer Engineering)
heading Sam Burnham
paragraph
StaticText Sam is a Rust engineer and operator who likes to work at the intersection of software development and business administration. At Argument, you can find him tinkering with CI/CD, cloud infrastructure, and developer experience, and generally making sure the lights are on for our magic moon mathematicians.
paragraph
StaticText Previously:
list
listitem
ListMarker •
StaticText Yatima
listitem
ListMarker •
StaticText YCombinator W22/Rensselaer Polytechnic Institute (BS Computer Engineering)
image Artem Storozhuk, url='https://argument.xyz/images/team/ArtemStorozhuk.jpg'
heading Artem Storozhuk
paragraph
StaticText Really passionate about crypto and ZKP
paragraph
StaticText Previously:
list
listitem
ListMarker •
StaticText Protocol Labs/Cossack Labs/Kyiv Polytechnic Institute
listitem
ListMarker •
StaticText National Aviation University (PhD Information Security)/Kyiv Polytechnic Institute (MS Information Security)
image Gabriel Barreto, url='https://argument.xyz/images/team/GabrielBarreto.jpg'
[317] li, center=(1584,1077), inner_text=Gabriel Barreto
Gabriel is a functional programmer with a deep background in compilers, type systems and proof systems. His interests span the whole computer pipeline; from the most abstract and high level language, to compilers, systems programming, and hardware. He is the team lead on the Yatima Compiler, and has co-authored the Formality proof language. He was previously a researcher at the Ethereum Foundation.
Previously:
Yatima/Formality/Ethereum Foundation
YCombinator W22/Federal University of Bahia (MS Mathematics, BS Physics)
heading Gabriel Barreto
paragraph
StaticText Gabriel is a functional programmer with a deep background in compilers, type systems and proof systems. His interests span the whole computer pipeline; from the most abstract and high level language, to compilers, systems programming, and hardware. He is the team lead on the Yatima Compiler, and has co-authored the Formality proof language. He was previously a researcher at the Ethereum Foundation.
paragraph
StaticText Previously:
list
listitem
ListMarker •
StaticText Yatima/Formality/Ethereum Foundation
listitem
ListMarker •
StaticText YCombinator W22/Federal University of Bahia (MS Mathematics, BS Physics)
contentinfo
link Argument, url='https://argument.xyz/'
image
navigation
link Github, url='https://github.com/argumentcomputer'
link X, url='https://x.com/argumentxyz'
link Contact Us, url='mailto:contact@argument.xyz'
generic, atomic
StaticText Team | Argument Computer Corporation
Reasoning for action: My reasoning for this action is that the next step in fulfilling the user story is to gather information about the company's team members, which will provide insights into the individuals driving the company's initiatives. By clicking on the 'Team' link, I am able to access this information and advance the user's goal of understanding the company's values and the people involved.
Action: click(173) # Click on the 'Team' link to learn more about the people behind Argument Computer Corporation.
Change Description: The browser navigated from the 'Mission' page to the 'Team' page of Argument Computer Corporation, resulting in a change of the main content area from a description of the company's mission to showcasing team members with detailed descriptions of their roles and backgrounds.
Screenshot before:Screenshot after:---
Step 3:
Url (before/after):
https://argument.xyz/team/
https://argument.xyz/blog/
Content (before/after):
RootWebArea Team | Argument Computer Corporation, focused, url='https://argument.xyz/team/'
banner
[256] link Argument, center=(960,185), url='https://argument.xyz/'
image
navigation
Show more
[260] link Mission, center=(82,392), url='https://argument.xyz/mission'
image
[263] link Team, center=(978,392), url='https://argument.xyz/team'
image
[266] link Blog, center=(1856,392), url='https://argument.xyz/blog'
image
main
heading Our Team
paragraph
image John Burnham, url='https://argument.xyz/images/team/JohnBurnham.jpg'
heading John Burnham
paragraph
StaticText John has worked at the intersection of functional programming, cryptographic protocols and startups for over a decade, both as an engineer and founder. He is a co-author of the Yatima compiler, which allows formal proofs of arbitrary size to be compressed into a succinct zero-knowledge proof. His current objective is to compress a formalization of Fermat’s Last Theorem into a zk-proof small enough to fit in a QR-code, and then print the QR-code onto a bookmark with the caption "But it does fit in the margin."
paragraph
StaticText Previously:
list
listitem
ListMarker •
StaticText Yatima/Formality/Tezos
listitem
ListMarker •
StaticText YCombinator W22/Dartmouth College '17 (DNF)/Thiel Fellow '11
image Arthur Paulino, url='https://argument.xyz/images/team/ArthurPaulino.jpg'
heading Arthur Paulino
paragraph
StaticText Has been telling computers what to do for over 20 years, since he was 14. Holds a master's degree in AI and has experience developing, maintaining and monitoring critical number-crunching pipelines in the financial sector. Currently focused on programming language design and the integration of software engineering with formal verification methods.
paragraph
StaticText Previously:
list
listitem
ListMarker •
StaticText Yatima/Nubank/Instituto Atlântico
listitem
ListMarker •
StaticText Universidade Federal do Ceará (BS and MS in Computer Science)
image Sam Burnham, url='https://argument.xyz/images/team/SamBurnham.jpg'
[298] li, center=(960,1063), inner_text=Sam Burnham
Sam is a Rust engineer and operator who likes to work at the intersection of software development and business administration. At Argument, you can find him tinkering with CI/CD, cloud infrastructure, and developer experience, and generally making sure the lights are on for our magic moon mathematicians.
Previously:
Yatima
YCombinator W22/Rensselaer Polytechnic Institute (BS Computer Engineering)
heading Sam Burnham
paragraph
StaticText Sam is a Rust engineer and operator who likes to work at the intersection of software development and business administration. At Argument, you can find him tinkering with CI/CD, cloud infrastructure, and developer experience, and generally making sure the lights are on for our magic moon mathematicians.
paragraph
StaticText Previously:
list
listitem
ListMarker •
StaticText Yatima
listitem
ListMarker •
StaticText YCombinator W22/Rensselaer Polytechnic Institute (BS Computer Engineering)
image Artem Storozhuk, url='https://argument.xyz/images/team/ArtemStorozhuk.jpg'
heading Artem Storozhuk
paragraph
StaticText Really passionate about crypto and ZKP
paragraph
StaticText Previously:
list
listitem
ListMarker •
StaticText Protocol Labs/Cossack Labs/Kyiv Polytechnic Institute
listitem
ListMarker •
StaticText National Aviation University (PhD Information Security)/Kyiv Polytechnic Institute (MS Information Security)
image Gabriel Barreto, url='https://argument.xyz/images/team/GabrielBarreto.jpg'
[317] li, center=(1584,1077), inner_text=Gabriel Barreto
Gabriel is a functional programmer with a deep background in compilers, type systems and proof systems. His interests span the whole computer pipeline; from the most abstract and high level language, to compilers, systems programming, and hardware. He is the team lead on the Yatima Compiler, and has co-authored the Formality proof language. He was previously a researcher at the Ethereum Foundation.
Previously:
Yatima/Formality/Ethereum Foundation
YCombinator W22/Federal University of Bahia (MS Mathematics, BS Physics)
heading Gabriel Barreto
paragraph
StaticText Gabriel is a functional programmer with a deep background in compilers, type systems and proof systems. His interests span the whole computer pipeline; from the most abstract and high level language, to compilers, systems programming, and hardware. He is the team lead on the Yatima Compiler, and has co-authored the Formality proof language. He was previously a researcher at the Ethereum Foundation.
paragraph
StaticText Previously:
list
listitem
ListMarker •
StaticText Yatima/Formality/Ethereum Foundation
listitem
ListMarker •
StaticText YCombinator W22/Federal University of Bahia (MS Mathematics, BS Physics)
contentinfo
link Argument, url='https://argument.xyz/'
image
navigation
link Github, url='https://github.com/argumentcomputer'
link X, url='https://x.com/argumentxyz'
link Contact Us, url='mailto:contact@argument.xyz'
generic, atomic
StaticText Team | Argument Computer Corporation
RootWebArea Blog | Argument Computer Corporation, focused, url='https://argument.xyz/blog/'
banner
[363] link Argument, center=(960,185), url='https://argument.xyz/'
image
navigation
Show more
[367] link Mission, center=(82,392), url='https://argument.xyz/mission'
image
[370] link Team, center=(978,392), url='https://argument.xyz/team'
image
[373] link Blog, center=(1856,392), url='https://argument.xyz/blog'
image
main
[379] link RISC-V ZKVMs: the Good and the Bad 9/23/2024, center=(960,1062), inner_text=RISC-V ZKVMs: the Good and the Bad
9/23/2024, url='https://argument.xyz/blog/riscv-good-bad/'
image, url='https://argument.xyz/.netlify/images?url=_astro%2Fblog-riscv-good-bad.D4t9-g8d.jpg'
image
heading RISC-V ZKVMs: the Good and the Bad
paragraph
link Lookups in Lurk: Part 2 9/17/2024, url='https://argument.xyz/blog/lookup-part-2/'
image, url='https://argument.xyz/.netlify/images?url=_astro%2Fblog-fpo7.B7SemLg3.jpg'
image
heading Lookups in Lurk: Part 2
paragraph
link Lurk 0.5 Benchmarks 9/3/2024, url='https://argument.xyz/blog/perf-2024/'
image, url='https://argument.xyz/.netlify/images?url=_astro%2Fblog-perf-2024.BE0OEVy2.jpg'
image
heading Lurk 0.5 Benchmarks
paragraph
link Lookups in Lurk: Part 1 8/26/2024, url='https://argument.xyz/blog/lookup-part-1/'
image, url='https://argument.xyz/.netlify/images?url=_astro%2Fblog-fpo6.Cb3iLXmV.jpg'
image
heading Lookups in Lurk: Part 1
paragraph
link Linera Enables Provable Real-Time Applications Through Strategic Partnership with Argument 8/20/2024, url='https://argument.xyz/blog/linera-partnership/'
image, url='https://argument.xyz/.netlify/images?url=_astro%2Fblog-linera.Cx_J6Xu9.jpg'
image
heading Linera Enables Provable Real-Time Applications Through Strategic Partnership with Argument
paragraph
link Unveiling Our ZK-Light Clients for Ethereum and Aptos 8/2/2024, url='https://argument.xyz/blog/aptos-eth/'
image, url='https://argument.xyz/.netlify/images?url=_astro%2Fblog-aptos-eth.B0jo_prC.jpg'
image
heading Unveiling Our ZK-Light Clients for Ethereum and Aptos
paragraph
link Argument is Open-Sourcing Sphinx 8/2/2024, url='https://argument.xyz/blog/sphinx-oss/'
image, url='https://argument.xyz/.netlify/images?url=_astro%2Fblog-sphinx.DQv96wuq.jpg'
image
heading Argument is Open-Sourcing Sphinx
paragraph
link Lurk Beta: The Zero-Knowledge Proof Programming Language 12/14/2023, url='https://argument.xyz/blog/lurk-beta/'
image, url='https://argument.xyz/.netlify/images?url=_astro%2Fblog-fpo1.DuA2SZoD.jpg'
image
heading Lurk Beta: The Zero-Knowledge Proof Programming Language
paragraph
link Announcing the first Arecibo release 12/13/2023, url='https://argument.xyz/blog/arecibo-supernova/'
image, url='https://argument.xyz/.netlify/images?url=_astro%2Fblog-fpo2.BPcGfKIq.jpg'
image
heading Announcing the first Arecibo release
paragraph
link Delayed Gratification 4/6/2023, url='https://argument.xyz/blog/vdf/'
image, url='https://argument.xyz/.netlify/images?url=_astro%2Fblog-fpo3.BNOXHLC8.jpg'
image
heading Delayed Gratification
paragraph
link Announcing the Alpha Release of Lurk 3/31/2023, url='https://argument.xyz/blog/announcing-lurk-alpha/'
image, url='https://argument.xyz/.netlify/images?url=_astro%2Fblog-fpo4.5XlFtCda.jpg'
image
heading Announcing the Alpha Release of Lurk
paragraph
link A Programmer’s Introduction to Lurk 10/4/2022, url='https://argument.xyz/blog/prog-intro/'
image, url='https://argument.xyz/.netlify/images?url=_astro%2Fblog-fpo5.ZJ2uae7z.jpg'
image
heading A Programmer’s Introduction to Lurk
paragraph
contentinfo
link Argument, url='https://argument.xyz/'
image
navigation
link Github, url='https://github.com/argumentcomputer'
link X, url='https://x.com/argumentxyz'
link Contact Us, url='mailto:contact@argument.xyz'
generic, atomic
StaticText Blog | Argument Computer Corporation
Reasoning for action: I identified that the user story requires learning about the company's mission, team, and recent blog updates. Having already been on the Team page, my next logical step was to click the 'Blog' link. This would take me to the latest blog posts, fulfilling the user's need to stay informed about the company's recent developments, thus bringing me closer to completing the overall task.
Action: click(266) # Click on the 'Blog' link to explore the company's blog and updates.
Change Description: The browser navigated from the 'Team' page to the 'Blog' page of Argument Computer Corporation, updating the title to 'Blog', displaying a list of recent blog post links with their respective images and descriptions, and modifying the main content to focus on blog updates instead of team member details.
Screenshot before:Screenshot after:---